runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731212-1338735145/watcher-3731212-1338735145 -o /tmp/evaluation-result-3731212-1338735145/solver-3731212-1338735145 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731212-1338735145.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16725
/proc/meminfo: memFree=30644524/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 2 0 339640511 98570240 979 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 24065 979 745 9 0 16771 0
[pid=16725/tid=16726] ppid=16723 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) R 16723 16725 3958 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 339640511 98570240 979 33554432000 1073741824 1073778376 140733844672192 140380650987048 217410520448 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.057202 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16725
/proc/meminfo: memFree=30644524/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 3855 0 1 0 3 1 0 0 20 0 18 0 339640511 2764726272 5575 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 674982 5577 1759 9 0 665676 0
[pid=16725/tid=16726] ppid=16723 vsize=2699928 CPUtime=0.03 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) R 16723 16725 3958 0 -1 4202560 2648 0 1 0 2 1 0 0 20 0 18 0 339640511 2764726272 5577 33554432000 1073741824 1073778376 140733844672192 140380650994336 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.100241 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16725
/proc/meminfo: memFree=30644524/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 4863 0 1 0 10 1 0 0 20 0 18 0 339640511 2764726272 6533 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 674982 6533 2153 9 0 665676 0
[pid=16725/tid=16726] ppid=16723 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) R 16723 16725 3958 0 -1 4202560 2781 0 1 0 6 2 0 0 20 0 18 0 339640511 2764726272 6533 33554432000 1073741824 1073778376 140733844672192 140380650977056 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300248 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16725
/proc/meminfo: memFree=30644524/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 4950 0 1 0 13 2 0 0 20 0 20 0 339640511 3037372416 8143 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 741546 8143 2157 9 0 732240 0
[pid=16725/tid=16726] ppid=16723 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) S 16723 16725 3958 0 -1 4202560 2787 0 1 0 9 2 0 0 20 0 20 0 339640511 3037372416 8143 33554432000 1073741824 1073778376 140733844672192 140380650992792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+0.700162 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16725
/proc/meminfo: memFree=30644524/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 4950 0 1 0 13 2 0 0 20 0 20 0 339640511 3037372416 8143 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 741546 8143 2157 9 0 732240 0
[pid=16725/tid=16726] ppid=16723 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) S 16723 16725 3958 0 -1 4202560 2787 0 1 0 9 2 0 0 20 0 20 0 339640511 3037372416 8143 33554432000 1073741824 1073778376 140733844672192 140380650992792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+1.50067 s]
/proc/loadavg: 3.30 3.68 3.70 3/217 16747
/proc/meminfo: memFree=30620224/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2966184 CPUtime=1.58 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 16033 0 1 0 154 4 0 0 20 0 22 0 339640511 3037372416 26683 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 741546 26686 2230 9 0 732240 0
[pid=16725/tid=16726] ppid=16723 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) S 16723 16725 3958 0 -1 4202560 2787 0 1 0 9 2 0 0 20 0 22 0 339640511 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380650992792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16728] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16728/stat : 16728 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380635273640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16729] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16729/stat : 16729 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380634221096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16730] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16730/stat : 16730 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380633168040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16731] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16731/stat : 16731 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380632115496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16725/tid=16732] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16732/stat : 16732 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380631063464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16733] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16733/stat : 16733 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380630010920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16734] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16734/stat : 16734 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380628957864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16725/tid=16735] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16735/stat : 16735 (java) S 16723 16725 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339640512 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380627905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16736] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16736/stat : 16736 (java) S 16723 16725 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 339640513 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380615493992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16737] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16737/stat : 16737 (java) S 16723 16725 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339640514 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380614440312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16738] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16738/stat : 16738 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339640514 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380613387144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16739] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16739/stat : 16739 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640516 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380612335888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16740] ppid=16723 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/16725/task/16740/stat : 16740 (java) R 16723 16725 3958 0 -1 4202560 5925 0 0 0 35 0 0 0 20 0 22 0 339640516 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380611260920 140380657432754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16741] ppid=16723 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/16725/task/16741/stat : 16741 (java) R 16723 16725 3958 0 -1 4202560 5983 0 0 0 33 2 0 0 20 0 22 0 339640516 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380610218976 140380656838843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16742] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16742/stat : 16742 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640516 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380609178360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16743] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16743/stat : 16743 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339640516 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380608126024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16746] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16746/stat : 16746 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339640524 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380604965672 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16747] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16747/stat : 16747 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339640524 3037372416 26687 33554432000 1073741824 1073778376 140733844672192 140380485968808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 2966184
[startup+3.10064 s]
/proc/loadavg: 3.30 3.68 3.70 6/219 16749
/proc/meminfo: memFree=30383728/32873648 swapFree=7628/7628
[pid=16725] ppid=16723 vsize=2966184 CPUtime=5.07 cores=1,3,5,7
/proc/16725/stat : 16725 (java) S 16723 16725 3958 0 -1 4202496 27758 0 1 0 495 12 0 0 20 0 20 0 339640511 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140733844663328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 741546 93840 2266 9 0 732240 0
[pid=16725/tid=16726] ppid=16723 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16725/task/16726/stat : 16726 (java) S 16723 16725 3958 0 -1 4202560 2787 0 1 0 9 2 0 0 20 0 20 0 339640511 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380650992792 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16728] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16728/stat : 16728 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380635273640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16729] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16729/stat : 16729 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380634221096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16725/tid=16730] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16730/stat : 16730 (java) S 16723 16725 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380633168040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16731] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16731/stat : 16731 (java) S 16723 16725 3958 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380632115496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16732] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16732/stat : 16732 (java) S 16723 16725 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380631063464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16733] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16733/stat : 16733 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380630010920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16725/tid=16734] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16734/stat : 16734 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380628957864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16725/tid=16735] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16735/stat : 16735 (java) S 16723 16725 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339640512 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380627905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16736] ppid=16723 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/16725/task/16736/stat : 16736 (java) S 16723 16725 3958 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 20 0 339640513 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380615493992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16737] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16737/stat : 16737 (java) S 16723 16725 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339640514 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380614440312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16738] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16738/stat : 16738 (java) S 16723 16725 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339640514 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380613387144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16739] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16739/stat : 16739 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640516 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380612335888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16740] ppid=16723 vsize=2966184 CPUtime=1.3 cores=1,3,5,7
/proc/16725/task/16740/stat : 16740 (java) S 16723 16725 3958 0 -1 4202560 12106 0 0 0 128 2 0 0 20 0 20 0 339640516 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380611283768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16741] ppid=16723 vsize=2966184 CPUtime=1.01 cores=1,3,5,7
/proc/16725/task/16741/stat : 16741 (java) S 16723 16725 3958 0 -1 4202560 11333 0 0 0 99 2 0 0 20 0 20 0 339640516 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380610231224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16742] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16742/stat : 16742 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640516 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380609178360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16725/tid=16743] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16743/stat : 16743 (java) S 16723 16725 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640516 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380608126024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16725/tid=16746] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16746/stat : 16746 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640524 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380604965672 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16725/tid=16747] ppid=16723 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16725/task/16747/stat : 16747 (java) S 16723 16725 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640524 3037372416 93840 33554432000 1073741824 1073778376 140733844672192 140380485968808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.16001
CPU time (s): 5.11222
CPU user time (s): 4.95025
CPU system time (s): 0.161975
CPU usage (%): 161.779
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.95025
system time used= 0.161975
maximum resident set size= 375408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27762
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 446
involuntary context switches= 100
runsolver used 0.014997 second user time and 0.025996 second system time
The end