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/201109011757/gj-user-solver-1.0/deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-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.36 1.10 1.02 5/36 3464 /proc/meminfo: memFree=245044/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=11360 CPUtime=0 /proc/3463/stat : 3463 (java) R 3462 3462 22717 34817 22717 4202496 918 0 0 0 0 0 0 0 25 0 2 0 73596831 11632640 651 1283457024 134512640 134550932 4289737696 18446744073709551615 4159016552 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 2840 651 285 10 0 1186 0 [pid=3463/tid=3464] ppid=3462 vsize=11360 CPUtime=0 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 73596832 11632640 651 1283457024 134512640 134550932 4289737696 18446744073709551615 4159016552 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.195436 s] /proc/loadavg: 1.36 1.10 1.02 5/36 3464 /proc/meminfo: memFree=245044/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410204 CPUtime=0.19 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 4591 0 1 0 16 3 0 0 25 0 9 0 73596831 420048896 4018 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102551 4018 1946 10 0 96699 0 [pid=3463/tid=3464] ppid=3462 vsize=410204 CPUtime=0.17 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 3388 0 1 0 15 2 0 0 25 0 9 0 73596832 420048896 4018 1283457024 134512640 134550932 4289737696 18446744073709551615 4114374648 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412772 [startup+0.205431 s] /proc/loadavg: 1.36 1.10 1.02 5/36 3464 /proc/meminfo: memFree=245044/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410204 CPUtime=0.2 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 4655 0 1 0 17 3 0 0 25 0 9 0 73596831 420048896 4082 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102551 4082 1946 10 0 96699 0 [pid=3463/tid=3464] ppid=3462 vsize=410204 CPUtime=0.18 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 3452 0 1 0 16 2 0 0 25 0 9 0 73596832 420048896 4082 1283457024 134512640 134550932 4289737696 18446744073709551615 4114368647 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412772 [startup+0.305471 s] /proc/loadavg: 1.36 1.10 1.02 5/36 3464 /proc/meminfo: memFree=245044/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410204 CPUtime=0.3 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 5314 0 1 0 26 4 0 0 25 0 9 0 73596831 420048896 4740 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102551 4740 1952 10 0 96699 0 [pid=3463/tid=3464] ppid=3462 vsize=410204 CPUtime=0.27 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 3530 0 1 0 25 2 0 0 25 0 9 0 73596832 420048896 4740 1283457024 134512640 134550932 4289737696 18446744073709551615 4114362017 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412772 [startup+0.705577 s] /proc/loadavg: 1.36 1.10 1.02 5/36 3464 /proc/meminfo: memFree=245044/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410756 CPUtime=0.7 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 12908 0 1 0 63 7 0 0 25 0 9 0 73596831 420614144 12148 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102689 12148 2901 10 0 96837 0 [pid=3463/tid=3464] ppid=3462 vsize=410756 CPUtime=0.47 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 4219 0 1 0 44 3 0 0 25 0 9 0 73596832 420614144 12148 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413324 [startup+1.5058 s] /proc/loadavg: 1.36 1.10 1.02 2/44 3472 /proc/meminfo: memFree=186812/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410756 CPUtime=1.5 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 27493 0 1 0 140 10 0 0 25 0 9 0 73596831 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102689 26733 2901 10 0 96837 0 [pid=3463/tid=3464] ppid=3462 vsize=410756 CPUtime=0.82 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 6843 0 1 0 78 4 0 0 25 0 9 0 73596832 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=410756 CPUtime=0.63 /proc/3463/task/3466/stat : 3466 (java) R 3462 3462 22717 34817 22717 4202560 19268 0 0 0 58 5 0 0 18 0 9 0 73596832 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4150622139 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=410756 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73596833 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=410756 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73596833 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=410756 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73596834 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=410756 CPUtime=0.04 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 441 0 0 0 4 0 0 0 21 0 9 0 73596834 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=410756 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73596834 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=410756 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73596834 420614144 26733 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413324 [startup+3.10781 s] /proc/loadavg: 1.36 1.10 1.02 2/44 3472 /proc/meminfo: memFree=111544/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=410900 CPUtime=3.09 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 44605 0 1 0 297 12 0 0 25 0 9 0 73596831 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102725 43752 2920 10 0 96870 0 [pid=3463/tid=3464] ppid=3462 vsize=410900 CPUtime=1.43 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 9899 0 1 0 139 4 0 0 25 0 9 0 73596832 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=410900 CPUtime=1.57 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 33273 0 0 0 151 6 0 0 16 0 9 0 73596832 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=410900 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73596833 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=410900 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73596833 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=410900 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73596834 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=410900 CPUtime=0.06 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 492 0 0 0 6 0 0 0 15 0 9 0 73596834 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=410900 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73596834 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=410900 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73596834 420761600 43752 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413468 [startup+6.30868 s] /proc/loadavg: 1.49 1.13 1.03 2/45 3473 /proc/meminfo: memFree=82088/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=6.29 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 44658 0 1 0 617 12 0 0 25 0 10 0 73596831 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 43804 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=4.6 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 9916 0 1 0 456 4 0 0 25 0 10 0 73596832 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4115261318 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=1.57 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 33273 0 0 0 151 6 0 0 15 0 10 0 73596832 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.09 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 524 0 0 0 9 0 0 0 15 0 10 0 73596834 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 43804 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413792 [startup+12.7118 s] /proc/loadavg: 1.45 1.13 1.03 2/45 3473 /proc/meminfo: memFree=31256/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=12.67 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 58292 0 1 0 1247 20 0 0 25 0 10 0 73596831 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 57438 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=10.72 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14478 0 1 0 1064 8 0 0 25 0 10 0 73596832 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4115147508 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=1.81 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 42323 0 0 0 171 10 0 0 16 0 10 0 73596832 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.12 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 546 0 0 0 12 0 0 0 15 0 10 0 73596834 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 57438 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 413792 [startup+25.5061 s] /proc/loadavg: 1.50 1.15 1.04 2/45 3473 /proc/meminfo: memFree=6332/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=25.43 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 65398 0 1 0 2522 21 0 0 25 0 10 0 73596831 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 64544 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=23.26 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14478 0 1 0 2316 10 0 0 25 0 10 0 73596832 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4115291209 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=2.02 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 49419 0 0 0 192 10 0 0 15 0 10 0 73596832 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.14 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 556 0 0 0 14 0 0 0 15 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 413792 Solver just ended. Dumping a history of the last processes samples [startup+27.1066 s] /proc/loadavg: 1.50 1.15 1.04 2/45 3473 /proc/meminfo: memFree=6332/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=27.03 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 65398 0 1 0 2682 21 0 0 25 0 10 0 73596831 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 64544 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=24.86 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14478 0 1 0 2476 10 0 0 25 0 10 0 73596832 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4115254956 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=2.02 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 49419 0 0 0 192 10 0 0 15 0 10 0 73596832 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.14 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 556 0 0 0 14 0 0 0 15 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 64544 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 27.03 Current children cumulated vsize (KiB) 413792 [startup+28.7071 s] /proc/loadavg: 1.46 1.15 1.04 2/45 3473 /proc/meminfo: memFree=5384/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=28.62 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 67155 0 1 0 2841 21 0 0 25 0 10 0 73596831 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 66301 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=26.42 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14478 0 1 0 2632 10 0 0 25 0 10 0 73596832 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4115305285 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=2.05 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 51176 0 0 0 195 10 0 0 16 0 10 0 73596832 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.14 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 556 0 0 0 14 0 0 0 15 0 10 0 73596834 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 66301 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.62 Current children cumulated vsize (KiB) 413792 [startup+29.5074 s] /proc/loadavg: 1.46 1.15 1.04 2/45 3473 /proc/meminfo: memFree=5384/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=29.42 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 67156 0 1 0 2921 21 0 0 25 0 10 0 73596831 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 66302 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=27.22 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14479 0 1 0 2712 10 0 0 25 0 10 0 73596832 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4115291196 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=2.05 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 51176 0 0 0 195 10 0 0 16 0 10 0 73596832 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.14 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 556 0 0 0 14 0 0 0 15 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.42 Current children cumulated vsize (KiB) 413792 [startup+29.7074 s] /proc/loadavg: 1.46 1.15 1.04 2/45 3473 /proc/meminfo: memFree=5384/1048576 swapFree=0/0 [pid=3462] ppid=3461 vsize=2568 CPUtime=0 /proc/3462/stat : 3462 (gj-user-solver-) S 3461 3462 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73596831 2629632 269 1283457024 134512640 135304128 4287232544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3462/statm: 642 269 229 194 0 29 0 [pid=3463] ppid=3462 vsize=411224 CPUtime=29.62 /proc/3463/stat : 3463 (java) S 3462 3462 22717 34817 22717 4202496 67156 0 1 0 2941 21 0 0 25 0 10 0 73596831 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3463/statm: 102806 66302 2922 10 0 96951 0 [pid=3463/tid=3464] ppid=3462 vsize=411224 CPUtime=27.42 /proc/3463/task/3464/stat : 3464 (java) R 3462 3462 22717 34817 22717 4202560 14479 0 1 0 2732 10 0 0 25 0 10 0 73596832 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4151522059 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3463/tid=3466] ppid=3462 vsize=411224 CPUtime=2.05 /proc/3463/task/3466/stat : 3466 (java) S 3462 3462 22717 34817 22717 4202560 51176 0 0 0 195 10 0 0 16 0 10 0 73596832 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3467] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3467/stat : 3467 (java) S 3462 3462 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3468] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3468/stat : 3468 (java) S 3462 3462 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73596833 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3469] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3469/stat : 3469 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3470] ppid=3462 vsize=411224 CPUtime=0.14 /proc/3463/task/3470/stat : 3470 (java) S 3462 3462 22717 34817 22717 4202560 556 0 0 0 14 0 0 0 15 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3471] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3471/stat : 3471 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3472] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3472/stat : 3472 (java) S 3462 3462 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73596834 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=3463/tid=3473] ppid=3462 vsize=411224 CPUtime=0 /proc/3463/task/3473/stat : 3473 (java) S 3462 3462 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73597151 421093376 66302 1283457024 134512640 134550932 4289737696 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.62 Current children cumulated vsize (KiB) 413792 Child status: 0 Real time (s): 29.7889 CPU time (s): 29.6499 CPU user time (s): 29.4258 CPU system time (s): 0.224014 CPU usage (%): 99.5334 Max. virtual memory (cumulated for all children) (KiB): 413792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.4258 system time used= 0.224014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67551 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1439 involuntary context switches= 2124 runsolver used 0 second user time and 0 second system time The end