runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.32 1.15 1.09 5/36 30073 /proc/meminfo: memFree=297832/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) R 30071 30072 1511 34817 1511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0 /proc/30073/stat : 30073 (p2cudf-trendy-1) R 30072 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 40 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30073/statm: 643 40 0 194 0 30 0 [startup+0.145852 s] /proc/loadavg: 1.32 1.15 1.09 5/36 30073 /proc/meminfo: memFree=297832/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.205858 s] /proc/loadavg: 1.32 1.15 1.09 5/36 30073 /proc/meminfo: memFree=297832/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.305868 s] /proc/loadavg: 1.32 1.15 1.09 5/36 30073 /proc/meminfo: memFree=297832/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.70596 s] /proc/loadavg: 1.32 1.15 1.09 5/36 30073 /proc/meminfo: memFree=297832/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+1.50612 s] /proc/loadavg: 1.32 1.15 1.09 3/47 30095 /proc/meminfo: memFree=244344/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=885264 CPUtime=1.48 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 22286 0 1 0 144 4 0 0 25 0 10 0 5022566 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 221316 18629 1724 10 0 218407 0 [pid=30086/tid=30087] ppid=30073 vsize=885264 CPUtime=0.8 /proc/30086/task/30087/stat : 30087 (java) R 30073 30072 1511 34817 1511 4202560 10474 0 1 0 78 2 0 0 25 0 10 0 5022566 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4095330200 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 16 0 10 0 5022568 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5022568 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5022568 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5022571 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=885264 CPUtime=0.43 /proc/30086/task/30092/stat : 30092 (java) R 30073 30072 1511 34817 1511 4202560 8594 0 0 0 42 1 0 0 25 0 10 0 5022571 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=885264 CPUtime=0.23 /proc/30086/task/30093/stat : 30093 (java) R 30073 30072 1511 34817 1511 4202560 2138 0 0 0 23 0 0 0 18 0 10 0 5022571 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4148529490 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5022571 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=885264 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5022571 906510336 18629 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 890408 [startup+3.12465 s] /proc/loadavg: 1.32 1.15 1.09 3/47 30096 /proc/meminfo: memFree=148368/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=881868 CPUtime=3.08 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 74021 0 1 0 284 24 0 0 25 0 10 0 5022566 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 220467 69604 1742 10 0 217558 0 [pid=30086/tid=30087] ppid=30073 vsize=881868 CPUtime=1.64 /proc/30086/task/30087/stat : 30087 (java) R 30073 30072 1511 34817 1511 4202560 50087 0 1 0 143 21 0 0 25 0 10 0 5022566 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=881868 CPUtime=0.25 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 11711 0 0 0 25 0 0 0 15 0 10 0 5022568 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=881868 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5022568 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=881868 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5022568 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=881868 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5022571 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=881868 CPUtime=0.75 /proc/30086/task/30092/stat : 30092 (java) S 30073 30072 1511 34817 1511 4202560 8672 0 0 0 74 1 0 0 19 0 10 0 5022571 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=881868 CPUtime=0.42 /proc/30086/task/30093/stat : 30093 (java) S 30073 30072 1511 34817 1511 4202560 2478 0 0 0 42 0 0 0 15 0 10 0 5022571 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=881868 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5022571 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=881868 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5022571 903032832 69604 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 887012 [startup+6.30718 s] /proc/loadavg: 1.38 1.16 1.10 2/48 30097 /proc/meminfo: memFree=23616/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=882348 CPUtime=6.27 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 76094 0 1 0 601 26 0 0 25 0 11 0 5022566 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 220587 70066 1780 10 0 217678 0 [pid=30086/tid=30087] ppid=30073 vsize=882348 CPUtime=3.51 /proc/30086/task/30087/stat : 30087 (java) R 30073 30072 1511 34817 1511 4202560 50273 0 1 0 330 21 0 0 25 0 11 0 5022566 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4095996469 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=882348 CPUtime=0.25 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 11711 0 0 0 25 0 0 0 16 0 11 0 5022568 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 5022568 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5022568 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5022571 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=882348 CPUtime=2.06 /proc/30086/task/30092/stat : 30092 (java) S 30073 30072 1511 34817 1511 4202560 10552 0 0 0 203 3 0 0 16 0 11 0 5022571 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=882348 CPUtime=0.42 /proc/30086/task/30093/stat : 30093 (java) S 30073 30072 1511 34817 1511 4202560 2478 0 0 0 42 0 0 0 15 0 11 0 5022571 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5022571 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5022571 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30097] ppid=30073 vsize=882348 CPUtime=0 /proc/30086/task/30097/stat : 30097 (java) S 30073 30072 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5023020 903524352 70066 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 887492 Solver just ended. Dumping a history of the last processes samples [startup+7.90233 s] /proc/loadavg: 1.35 1.16 1.09 2/48 30097 /proc/meminfo: memFree=26468/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=879084 CPUtime=7.77 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 76140 0 1 0 751 26 0 0 25 0 11 0 5022566 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 219771 69235 1784 10 0 216862 0 [pid=30086/tid=30087] ppid=30073 vsize=879084 CPUtime=4.81 /proc/30086/task/30087/stat : 30087 (java) S 30073 30072 1511 34817 1511 4202560 50285 0 1 0 460 21 0 0 25 0 11 0 5022566 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=879084 CPUtime=0.25 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 11711 0 0 0 25 0 0 0 15 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=879084 CPUtime=2.27 /proc/30086/task/30092/stat : 30092 (java) S 30073 30072 1511 34817 1511 4202560 10581 0 0 0 224 3 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=879084 CPUtime=0.42 /proc/30086/task/30093/stat : 30093 (java) S 30073 30072 1511 34817 1511 4202560 2478 0 0 0 42 0 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 884228 [startup+8.30633 s] /proc/loadavg: 1.35 1.16 1.09 2/48 30097 /proc/meminfo: memFree=26468/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=879084 CPUtime=7.77 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 76140 0 1 0 751 26 0 0 25 0 11 0 5022566 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 219771 69235 1784 10 0 216862 0 [pid=30086/tid=30087] ppid=30073 vsize=879084 CPUtime=4.81 /proc/30086/task/30087/stat : 30087 (java) S 30073 30072 1511 34817 1511 4202560 50285 0 1 0 460 21 0 0 25 0 11 0 5022566 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=879084 CPUtime=0.25 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 11711 0 0 0 25 0 0 0 15 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5022568 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=879084 CPUtime=2.27 /proc/30086/task/30092/stat : 30092 (java) S 30073 30072 1511 34817 1511 4202560 10581 0 0 0 224 3 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=879084 CPUtime=0.42 /proc/30086/task/30093/stat : 30093 (java) S 30073 30072 1511 34817 1511 4202560 2478 0 0 0 42 0 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5022571 900182016 69235 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 884228 [startup+8.50232 s] /proc/loadavg: 1.35 1.16 1.09 2/48 30097 /proc/meminfo: memFree=26468/1048576 swapFree=0/0 [pid=30072] ppid=30071 vsize=2572 CPUtime=0 /proc/30072/stat : 30072 (p2cudf-trendy-1) S 30071 30072 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5022562 2633728 270 1283457024 134512640 135304128 4287316640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30072/statm: 643 270 230 194 0 30 0 [pid=30073] ppid=30072 vsize=2572 CPUtime=0.03 /proc/30073/stat : 30073 (p2cudf) S 30072 30072 1511 34817 1511 4202496 391 3014 0 1 0 0 1 2 25 0 1 0 5022562 2633728 280 1283457024 134512640 135304128 4289576128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30073/statm: 643 280 239 194 0 30 0 [pid=30086] ppid=30073 vsize=879084 CPUtime=7.93 /proc/30086/stat : 30086 (java) S 30073 30072 1511 34817 1511 4202496 76149 0 1 0 764 29 0 0 25 0 10 0 5022566 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30086/statm: 219771 69244 1784 10 0 216862 0 [pid=30086/tid=30087] ppid=30073 vsize=879084 CPUtime=4.81 /proc/30086/task/30087/stat : 30087 (java) S 30073 30072 1511 34817 1511 4202560 50285 0 1 0 460 21 0 0 19 0 10 0 5022566 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30088] ppid=30073 vsize=879084 CPUtime=0.25 /proc/30086/task/30088/stat : 30088 (java) S 30073 30072 1511 34817 1511 4202560 11711 0 0 0 25 0 0 0 16 0 10 0 5022568 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30089] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30089/stat : 30089 (java) S 30073 30072 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 5022568 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30090] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30090/stat : 30090 (java) S 30073 30072 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 5022568 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30091] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30091/stat : 30091 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5022571 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30092] ppid=30073 vsize=879084 CPUtime=2.29 /proc/30086/task/30092/stat : 30092 (java) S 30073 30072 1511 34817 1511 4202560 10588 0 0 0 226 3 0 0 15 0 10 0 5022571 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30093] ppid=30073 vsize=879084 CPUtime=0.42 /proc/30086/task/30093/stat : 30093 (java) S 30073 30072 1511 34817 1511 4202560 2478 0 0 0 42 0 0 0 15 0 10 0 5022571 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30094] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30094/stat : 30094 (java) S 30073 30072 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5022571 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=30086/tid=30095] ppid=30073 vsize=879084 CPUtime=0 /proc/30086/task/30095/stat : 30095 (java) S 30073 30072 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5022571 900182016 69244 1283457024 134512640 134550932 4288791200 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 884228 Child status: 0 Real time (s): 8.56108 CPU time (s): 7.9845 CPU user time (s): 7.66048 CPU system time (s): 0.32402 CPU usage (%): 93.2651 Max. virtual memory (cumulated for all children) (KiB): 891188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.66048 system time used= 0.32402 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79949 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 962 involuntary context switches= 978 runsolver used 0 second user time and 0 second system time The end