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/2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/2c3aece6-c8b2-11df-a040-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.19 1.15 1.07 5/37 20943 /proc/meminfo: memFree=470956/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2568 CPUtime=0 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 46195362 2629632 271 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/20941/statm: 642 271 231 194 0 29 0 [pid=20942] ppid=20941 vsize=2568 CPUtime=0 /proc/20942/stat : 20942 (p2cudf) R 20941 20940 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46195362 2629632 119 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20942/statm: 642 119 77 194 0 29 0 [pid=20943] ppid=20942 vsize=2568 CPUtime=0 /proc/20943/stat : 20943 (p2cudf) R 20942 20940 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46195362 2629632 42 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20943/statm: 642 42 0 194 0 29 0 [startup+0.20565 s] /proc/loadavg: 1.19 1.15 1.07 5/37 20943 /proc/meminfo: memFree=470956/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.305654 s] /proc/loadavg: 1.19 1.15 1.07 5/37 20943 /proc/meminfo: memFree=470956/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.405677 s] /proc/loadavg: 1.19 1.15 1.07 5/37 20943 /proc/meminfo: memFree=470956/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.70572 s] /proc/loadavg: 1.19 1.15 1.07 5/37 20943 /proc/meminfo: memFree=470956/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+1.50587 s] /proc/loadavg: 1.33 1.18 1.08 4/46 20963 /proc/meminfo: memFree=427296/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=881348 CPUtime=1.46 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 21958 0 1 0 142 4 0 0 25 0 10 0 46195365 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 220337 18731 1724 10 0 217428 0 [pid=20954/tid=20955] ppid=20941 vsize=881348 CPUtime=0.74 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 11336 0 1 0 71 3 0 0 25 0 10 0 46195366 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4094806788 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46195367 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46195368 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46195368 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46195370 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=881348 CPUtime=0.55 /proc/20954/task/20960/stat : 20960 (java) R 20941 20940 17511 34816 17511 4202560 9088 0 0 0 54 1 0 0 22 0 10 0 46195370 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4151222634 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=881348 CPUtime=0.16 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 16 0 0 0 23 0 10 0 46195370 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46195370 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=881348 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46195370 902500352 18731 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 886492 [startup+3.12616 s] /proc/loadavg: 1.33 1.18 1.08 2/46 20963 /proc/meminfo: memFree=276760/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879164 CPUtime=3.08 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 74013 0 1 0 286 22 0 0 25 0 10 0 46195365 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219791 70061 1743 10 0 216882 0 [pid=20954/tid=20955] ppid=20941 vsize=879164 CPUtime=1.63 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 50090 0 1 0 147 16 0 0 25 0 10 0 46195366 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879164 CPUtime=0.28 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 12844 0 0 0 24 4 0 0 16 0 10 0 46195367 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879164 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46195368 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879164 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46195368 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879164 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46195370 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879164 CPUtime=0.97 /proc/20954/task/20960/stat : 20960 (java) R 20941 20940 17511 34816 17511 4202560 9548 0 0 0 96 1 0 0 15 0 10 0 46195370 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4152207328 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879164 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 10 0 46195370 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879164 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46195370 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879164 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46195370 900263936 70061 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 884308 [startup+6.30682 s] /proc/loadavg: 1.39 1.19 1.09 2/47 20964 /proc/meminfo: memFree=195160/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879488 CPUtime=6.26 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 75865 0 1 0 602 24 0 0 25 0 11 0 46195365 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219872 70477 1779 10 0 216963 0 [pid=20954/tid=20955] ppid=20941 vsize=879488 CPUtime=3.41 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 50271 0 1 0 325 16 0 0 25 0 11 0 46195366 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4095895178 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879488 CPUtime=0.28 /proc/20954/task/20956/stat : 20956 (java) R 20941 20940 17511 34816 17511 4202560 12844 0 0 0 24 4 0 0 15 0 11 0 46195367 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879488 CPUtime=2.36 /proc/20954/task/20960/stat : 20960 (java) S 20941 20940 17511 34816 17511 4202560 11215 0 0 0 234 2 0 0 15 0 11 0 46195370 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879488 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20964] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20964/stat : 20964 (java) S 20941 20940 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46195875 900595712 70477 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 884632 Solver just ended. Dumping a history of the last processes samples [startup+6.50961 s] /proc/loadavg: 1.39 1.19 1.09 2/47 20964 /proc/meminfo: memFree=195160/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879488 CPUtime=6.46 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 75868 0 1 0 622 24 0 0 25 0 11 0 46195365 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219872 70480 1780 10 0 216963 0 [pid=20954/tid=20955] ppid=20941 vsize=879488 CPUtime=3.57 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 50271 0 1 0 341 16 0 0 25 0 11 0 46195366 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879488 CPUtime=0.28 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 12844 0 0 0 24 4 0 0 15 0 11 0 46195367 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879488 CPUtime=2.4 /proc/20954/task/20960/stat : 20960 (java) S 20941 20940 17511 34816 17511 4202560 11218 0 0 0 238 2 0 0 15 0 11 0 46195370 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879488 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20964] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20964/stat : 20964 (java) S 20941 20940 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46195875 900595712 70480 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.49 Current children cumulated vsize (KiB) 884632 [startup+9.70774 s] /proc/loadavg: 1.39 1.19 1.09 2/47 20964 /proc/meminfo: memFree=195044/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879488 CPUtime=9.65 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 75889 0 1 0 941 24 0 0 25 0 11 0 46195365 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219872 70501 1781 10 0 216963 0 [pid=20954/tid=20955] ppid=20941 vsize=879488 CPUtime=6.61 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 50278 0 1 0 645 16 0 0 25 0 11 0 46195366 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4095831822 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879488 CPUtime=0.28 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 12844 0 0 0 24 4 0 0 15 0 11 0 46195367 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879488 CPUtime=2.56 /proc/20954/task/20960/stat : 20960 (java) S 20941 20940 17511 34816 17511 4202560 11232 0 0 0 254 2 0 0 16 0 11 0 46195370 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879488 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20964] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20964/stat : 20964 (java) S 20941 20940 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46195875 900595712 70501 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.68 Current children cumulated vsize (KiB) 884632 [startup+11.3081 s] /proc/loadavg: 1.44 1.21 1.09 2/47 20964 /proc/meminfo: memFree=149412/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879488 CPUtime=11.25 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 87288 0 1 0 1099 26 0 0 25 0 11 0 46195365 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219872 81900 1784 10 0 216963 0 [pid=20954/tid=20955] ppid=20941 vsize=879488 CPUtime=7.65 /proc/20954/task/20955/stat : 20955 (java) R 20941 20940 17511 34816 17511 4202560 50284 0 1 0 749 16 0 0 25 0 11 0 46195366 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4095852018 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879488 CPUtime=0.56 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 24203 0 0 0 50 6 0 0 16 0 11 0 46195367 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879488 CPUtime=2.83 /proc/20954/task/20960/stat : 20960 (java) S 20941 20940 17511 34816 17511 4202560 11266 0 0 0 281 2 0 0 15 0 11 0 46195370 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879488 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20964] ppid=20941 vsize=879488 CPUtime=0 /proc/20954/task/20964/stat : 20964 (java) S 20941 20940 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46195875 900595712 81900 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.28 Current children cumulated vsize (KiB) 884632 [startup+12.1064 s] /proc/loadavg: 1.44 1.21 1.09 2/47 20964 /proc/meminfo: memFree=149412/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879812 CPUtime=11.81 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 87311 0 1 0 1155 26 0 0 25 0 11 0 46195365 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219953 81923 1785 10 0 217044 0 [pid=20954/tid=20955] ppid=20941 vsize=879812 CPUtime=8.12 /proc/20954/task/20955/stat : 20955 (java) S 20941 20940 17511 34816 17511 4202560 50293 0 1 0 796 16 0 0 25 0 11 0 46195366 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879812 CPUtime=0.56 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 24203 0 0 0 50 6 0 0 16 0 11 0 46195367 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879812 CPUtime=2.91 /proc/20954/task/20960/stat : 20960 (java) S 20941 20940 17511 34816 17511 4202560 11274 0 0 0 289 2 0 0 16 0 11 0 46195370 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879812 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900927488 81923 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.84 Current children cumulated vsize (KiB) 884956 [startup+12.5024 s] /proc/loadavg: 1.44 1.21 1.09 1/47 20965 /proc/meminfo: memFree=149288/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=879812 CPUtime=11.93 /proc/20954/stat : 20954 (java) S 20941 20940 17511 34816 17511 4202496 87313 0 1 0 1166 27 0 0 25 0 11 0 46195365 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20954/statm: 219953 81925 1785 10 0 217044 0 [pid=20954/tid=20955] ppid=20941 vsize=879812 CPUtime=8.12 /proc/20954/task/20955/stat : 20955 (java) S 20941 20940 17511 34816 17511 4202560 50293 0 1 0 796 16 0 0 25 0 11 0 46195366 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20956] ppid=20941 vsize=879812 CPUtime=0.56 /proc/20954/task/20956/stat : 20956 (java) S 20941 20940 17511 34816 17511 4202560 24203 0 0 0 50 6 0 0 16 0 11 0 46195367 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20957] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20957/stat : 20957 (java) S 20941 20940 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46195368 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20958] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20958/stat : 20958 (java) S 20941 20940 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46195368 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20959] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20959/stat : 20959 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20960] ppid=20941 vsize=879812 CPUtime=2.95 /proc/20954/task/20960/stat : 20960 (java) R 20941 20940 17511 34816 17511 4202560 11274 0 0 0 293 2 0 0 16 0 11 0 46195370 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4153142671 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20954/tid=20961] ppid=20941 vsize=879812 CPUtime=0.18 /proc/20954/task/20961/stat : 20961 (java) S 20941 20940 17511 34816 17511 4202560 455 0 0 0 18 0 0 0 22 0 11 0 46195370 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20962] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20962/stat : 20962 (java) S 20941 20940 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46195370 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20963] ppid=20941 vsize=879812 CPUtime=0 /proc/20954/task/20963/stat : 20963 (java) S 20941 20940 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46195370 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=20954/tid=20965] ppid=20941 vsize=879812 CPUtime=0.07 /proc/20954/task/20965/stat : 20965 (java) R 20941 20940 17511 34816 17511 4202560 7 0 0 0 6 1 0 0 21 0 11 0 46196549 900927488 81925 1283457024 134512640 134550932 4291755392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.96 Current children cumulated vsize (KiB) 884956 [startup+12.6066 s] /proc/loadavg: 1.44 1.21 1.09 1/47 20965 /proc/meminfo: memFree=149288/1048576 swapFree=0/0 [pid=20940] ppid=20939 vsize=2572 CPUtime=0 /proc/20940/stat : 20940 (p2cudf-user-1.1) S 20939 20940 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46195362 2633728 271 1283457024 134512640 135304128 4292650896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20940/statm: 643 271 230 194 0 30 0 [pid=20941] ppid=20940 vsize=2572 CPUtime=0.03 /proc/20941/stat : 20941 (p2cudf) S 20940 20940 17511 34816 17511 4202496 389 3014 0 1 0 1 1 1 25 0 1 0 46195362 2633728 280 1283457024 134512640 135304128 4293763280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20941/statm: 643 280 239 194 0 30 0 [pid=20954] ppid=20941 vsize=0 CPUtime=12 /proc/20954/stat : 20954 (java) R 20941 20940 17511 34816 17511 4203524 87315 0 1 0 1170 30 0 0 18 0 1 0 46195365 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 /proc/20954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.03 Current children cumulated vsize (KiB) 5144 Child status: 0 Real time (s): 12.61 CPU time (s): 12.0568 CPU user time (s): 11.7207 CPU system time (s): 0.336021 CPU usage (%): 95.6129 Max. virtual memory (cumulated for all children) (KiB): 886660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.7207 system time used= 0.336021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91113 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= 1137 involuntary context switches= 1166 runsolver used 0 second user time and 0 second system time The end