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/201108291842/p2cudf-user-1.13/dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed 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.12 1.15 1.11 5/38 30437 /proc/meminfo: memFree=685264/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2572 CPUtime=0 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 46631027 2633728 271 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/30435/statm: 643 271 231 194 0 30 0 [pid=30436] ppid=30435 vsize=2572 CPUtime=0 /proc/30436/stat : 30436 (p2cudf) R 30435 30434 17511 34816 17511 4202560 93 0 0 0 0 0 0 0 25 0 1 0 46631027 2633728 118 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30436/statm: 643 118 77 194 0 30 0 [pid=30437] ppid=30436 vsize=2572 CPUtime=0 /proc/30437/stat : 30437 (p2cudf) R 30436 30434 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46631027 2633728 41 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30437/statm: 643 41 0 194 0 30 0 [startup+0.164193 s] /proc/loadavg: 1.12 1.15 1.11 5/38 30437 /proc/meminfo: memFree=685264/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.204195 s] /proc/loadavg: 1.12 1.15 1.11 5/38 30437 /proc/meminfo: memFree=685264/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.30421 s] /proc/loadavg: 1.12 1.15 1.11 5/38 30437 /proc/meminfo: memFree=685264/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+0.704325 s] /proc/loadavg: 1.12 1.15 1.11 5/38 30437 /proc/meminfo: memFree=685264/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5140 [startup+1.5045 s] /proc/loadavg: 1.12 1.15 1.11 3/47 30457 /proc/meminfo: memFree=636644/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=878940 CPUtime=1.46 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 24197 0 1 0 137 9 0 0 25 0 10 0 46631030 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 219735 21446 1729 10 0 216826 0 [pid=30448/tid=30449] ppid=30435 vsize=878940 CPUtime=0.8 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 14380 0 1 0 74 6 0 0 25 0 10 0 46631031 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4095245331 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 46631032 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46631033 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46631033 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46631035 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=878940 CPUtime=0.53 /proc/30448/task/30454/stat : 30454 (java) R 30435 30434 17511 34816 17511 4202560 7628 0 0 0 51 2 0 0 24 0 10 0 46631035 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4151633947 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=878940 CPUtime=0.12 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1108 0 0 0 12 0 0 0 19 0 10 0 46631035 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46631035 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46631035 900034560 21446 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 884080 [startup+3.11482 s] /proc/loadavg: 1.12 1.15 1.11 2/47 30457 /proc/meminfo: memFree=519588/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=878940 CPUtime=3.06 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 72807 0 1 0 286 20 0 0 25 0 10 0 46631030 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 219735 70056 1743 10 0 216826 0 [pid=30448/tid=30449] ppid=30435 vsize=878940 CPUtime=1.69 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 50090 0 1 0 154 15 0 0 25 0 10 0 46631031 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=878940 CPUtime=0.29 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 12824 0 0 0 27 2 0 0 16 0 10 0 46631032 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46631033 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46631033 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46631035 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=878940 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 10 0 46631035 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=878940 CPUtime=0.49 /proc/30448/task/30455/stat : 30455 (java) R 30435 30434 17511 34816 17511 4202560 1164 0 0 0 49 0 0 0 15 0 10 0 46631035 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4151632567 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46631035 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=878940 CPUtime=0 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46631035 900034560 70056 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 884080 [startup+6.30569 s] /proc/loadavg: 1.19 1.16 1.12 2/48 30458 /proc/meminfo: memFree=409972/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=879264 CPUtime=6.26 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 73162 0 1 0 604 22 0 0 25 0 11 0 46631030 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 219816 70411 1780 10 0 216907 0 [pid=30448/tid=30449] ppid=30435 vsize=879264 CPUtime=3.55 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 50276 0 1 0 340 15 0 0 25 0 11 0 46631031 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4096161260 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=879264 CPUtime=0.29 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 12824 0 0 0 27 2 0 0 16 0 11 0 46631032 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=879264 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=879264 CPUtime=1.82 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1329 0 0 0 181 1 0 0 16 0 11 0 46631035 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46631035 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30458] ppid=30435 vsize=879264 CPUtime=0 /proc/30448/task/30458/stat : 30458 (java) S 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46631490 900366336 70411 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 884404 [startup+12.7078 s] /proc/loadavg: 1.18 1.16 1.12 2/48 30459 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871672 CPUtime=12.65 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 73208 0 1 0 1241 24 0 0 25 0 11 0 46631030 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217918 68588 1783 10 0 215009 0 [pid=30448/tid=30449] ppid=30435 vsize=871672 CPUtime=9.47 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 50283 0 1 0 932 15 0 0 25 0 11 0 46631031 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4096162001 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871672 CPUtime=0.29 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 12824 0 0 0 27 2 0 0 16 0 11 0 46631032 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871672 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871672 CPUtime=2.27 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1368 0 0 0 225 2 0 0 15 0 11 0 46631035 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871672 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30458] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30458/stat : 30458 (java) S 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46631490 892592128 68588 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 876812 Solver just ended. Dumping a history of the last processes samples [startup+14.3083 s] /proc/loadavg: 1.16 1.16 1.12 2/48 30459 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871672 CPUtime=14.25 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 73210 0 1 0 1401 24 0 0 25 0 11 0 46631030 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217918 68590 1783 10 0 215009 0 [pid=30448/tid=30449] ppid=30435 vsize=871672 CPUtime=11.05 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 50283 0 1 0 1090 15 0 0 25 0 11 0 46631031 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4096354008 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871672 CPUtime=0.29 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 12824 0 0 0 27 2 0 0 15 0 11 0 46631032 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871672 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871672 CPUtime=2.29 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1370 0 0 0 227 2 0 0 15 0 11 0 46631035 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871672 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) R 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30458] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30458/stat : 30458 (java) S 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46631490 892592128 68590 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.27 Current children cumulated vsize (KiB) 876812 [startup+15.9089 s] /proc/loadavg: 1.16 1.16 1.12 2/48 30459 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871672 CPUtime=15.85 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 73211 0 1 0 1561 24 0 0 25 0 11 0 46631030 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217918 68591 1783 10 0 215009 0 [pid=30448/tid=30449] ppid=30435 vsize=871672 CPUtime=12.63 /proc/30448/task/30449/stat : 30449 (java) R 30435 30434 17511 34816 17511 4202560 50283 0 1 0 1248 15 0 0 25 0 11 0 46631031 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4096257342 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871672 CPUtime=0.29 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 12824 0 0 0 27 2 0 0 15 0 11 0 46631032 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871672 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871672 CPUtime=2.32 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1371 0 0 0 230 2 0 0 15 0 11 0 46631035 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871672 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30458] ppid=30435 vsize=871672 CPUtime=0 /proc/30448/task/30458/stat : 30458 (java) S 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46631490 892592128 68591 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.87 Current children cumulated vsize (KiB) 876812 [startup+16.713 s] /proc/loadavg: 1.16 1.16 1.12 1/48 30460 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871996 CPUtime=16.14 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 78430 0 1 0 1588 26 0 0 25 0 11 0 46631030 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217999 73810 1784 10 0 215090 0 [pid=30448/tid=30449] ppid=30435 vsize=871996 CPUtime=12.75 /proc/30448/task/30449/stat : 30449 (java) S 30435 30434 17511 34816 17511 4202560 50291 0 1 0 1260 15 0 0 25 0 11 0 46631031 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871996 CPUtime=0.41 /proc/30448/task/30450/stat : 30450 (java) R 30435 30434 17511 34816 17511 4202560 18024 0 0 0 36 5 0 0 16 0 11 0 46631032 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4150132855 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871996 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871996 CPUtime=2.37 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1377 0 0 0 235 2 0 0 16 0 11 0 46631035 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871996 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30460] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30460/stat : 30460 (java) R 30435 30434 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 20 0 11 0 46632635 892923904 73810 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.16 Current children cumulated vsize (KiB) 877136 [startup+16.913 s] /proc/loadavg: 1.16 1.16 1.12 1/48 30460 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871996 CPUtime=16.34 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 83166 0 1 0 1602 32 0 0 25 0 11 0 46631030 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217999 78546 1784 10 0 215090 0 [pid=30448/tid=30449] ppid=30435 vsize=871996 CPUtime=12.75 /proc/30448/task/30449/stat : 30449 (java) S 30435 30434 17511 34816 17511 4202560 50291 0 1 0 1260 15 0 0 25 0 11 0 46631031 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871996 CPUtime=0.54 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 22758 0 0 0 46 8 0 0 16 0 11 0 46631032 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871996 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871996 CPUtime=2.38 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1377 0 0 0 236 2 0 0 15 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871996 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30460] ppid=30435 vsize=871996 CPUtime=0.05 /proc/30448/task/30460/stat : 30460 (java) R 30435 30434 17511 34816 17511 4202560 6 0 0 0 3 2 0 0 20 0 11 0 46632635 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4095228287 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.36 Current children cumulated vsize (KiB) 877136 [startup+17.013 s] /proc/loadavg: 1.16 1.16 1.12 1/48 30460 /proc/meminfo: memFree=416792/1048576 swapFree=0/0 [pid=30434] ppid=30433 vsize=2564 CPUtime=0 /proc/30434/stat : 30434 (p2cudf-user-1.1) S 30433 30434 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46631027 2625536 270 1283457024 134512640 135304128 4286933536 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30434/statm: 641 270 230 194 0 28 0 [pid=30435] ppid=30434 vsize=2576 CPUtime=0.02 /proc/30435/stat : 30435 (p2cudf) S 30434 30434 17511 34816 17511 4202496 391 3012 0 1 0 0 1 1 25 0 1 0 46631027 2637824 280 1283457024 134512640 135304128 4287550176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30435/statm: 644 280 239 194 0 31 0 [pid=30448] ppid=30435 vsize=871996 CPUtime=16.44 /proc/30448/stat : 30448 (java) S 30435 30434 17511 34816 17511 4202496 83166 0 1 0 1612 32 0 0 25 0 11 0 46631030 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30448/statm: 217999 78546 1784 10 0 215090 0 [pid=30448/tid=30449] ppid=30435 vsize=871996 CPUtime=12.75 /proc/30448/task/30449/stat : 30449 (java) S 30435 30434 17511 34816 17511 4202560 50291 0 1 0 1260 15 0 0 25 0 11 0 46631031 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30450] ppid=30435 vsize=871996 CPUtime=0.54 /proc/30448/task/30450/stat : 30450 (java) S 30435 30434 17511 34816 17511 4202560 22758 0 0 0 46 8 0 0 16 0 11 0 46631032 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30451] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30451/stat : 30451 (java) S 30435 30434 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30452] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30452/stat : 30452 (java) S 30435 30434 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46631033 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30453] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30453/stat : 30453 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30454] ppid=30435 vsize=871996 CPUtime=0.58 /proc/30448/task/30454/stat : 30454 (java) S 30435 30434 17511 34816 17511 4202560 7652 0 0 0 56 2 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30455] ppid=30435 vsize=871996 CPUtime=2.43 /proc/30448/task/30455/stat : 30455 (java) S 30435 30434 17511 34816 17511 4202560 1377 0 0 0 241 2 0 0 15 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30456] ppid=30435 vsize=871996 CPUtime=0 /proc/30448/task/30456/stat : 30456 (java) S 30435 30434 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30457] ppid=30435 vsize=871996 CPUtime=0.01 /proc/30448/task/30457/stat : 30457 (java) S 30435 30434 17511 34816 17511 4202560 2 0 0 0 0 1 0 0 15 0 11 0 46631035 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30448/tid=30460] ppid=30435 vsize=871996 CPUtime=0.1 /proc/30448/task/30460/stat : 30460 (java) R 30435 30434 17511 34816 17511 4202560 6 0 0 0 8 2 0 0 21 0 11 0 46632635 892923904 78546 1283457024 134512640 134550932 4288240160 18446744073709551615 4096007660 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.46 Current children cumulated vsize (KiB) 877136 Child status: 0 Real time (s): 17.0671 CPU time (s): 16.513 CPU user time (s): 16.141 CPU system time (s): 0.372023 CPU usage (%): 96.7535 Max. virtual memory (cumulated for all children) (KiB): 884404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.141 system time used= 0.372023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86965 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= 1284 involuntary context switches= 1354 runsolver used 0 second user time and 0.012 second system time The end