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-3731201-1338735141/watcher-3731201-1338735141 -o /tmp/evaluation-result-3731201-1338735141/solver-3731201-1338735141 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731201-1338735141.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.50 3.73 3.72 4/197 16659
/proc/meminfo: memFree=30644616/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16659/stat : 16659 (java) R 16657 16659 3958 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 339640072 23793664 712 33554432000 1073741824 1073778376 140733748942304 140733748931368 217401308520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 5809 712 526 9 0 128 0
[startup+0.071461 s]
/proc/loadavg: 3.50 3.73 3.72 4/197 16659
/proc/meminfo: memFree=30644616/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 339640072 2764726272 5616 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100188 s]
/proc/loadavg: 3.50 3.73 3.72 4/197 16659
/proc/meminfo: memFree=30644616/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 4832 0 1 0 10 1 0 0 20 0 18 0 339640072 2764726272 6519 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 674982 6519 2142 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300212 s]
/proc/loadavg: 3.50 3.73 3.72 4/197 16659
/proc/meminfo: memFree=30644616/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 9873 0 1 0 54 4 0 0 20 0 20 0 339640072 3037372416 11552 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 11552 2212 9 0 732240 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2966184
[startup+0.700212 s]
/proc/loadavg: 3.50 3.73 3.72 4/197 16659
/proc/meminfo: memFree=30644616/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 9873 0 1 0 54 4 0 0 20 0 20 0 339640072 3037372416 11552 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 11552 2212 9 0 732240 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2966184
[startup+1.50063 s]
/proc/loadavg: 3.50 3.73 3.72 3/217 16681
/proc/meminfo: memFree=30606184/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=0.74 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 9903 0 1 0 68 6 0 0 20 0 20 0 339640072 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 14642 2223 9 0 732240 0
[pid=16659/tid=16661] ppid=16657 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 3958 0 -1 4202560 2781 0 1 0 9 2 0 0 20 0 20 0 339640073 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626975757464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626842442408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16663] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626841389864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16664] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626840337320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16665] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626839284776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16666] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626838231208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16667] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626837178664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16668] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16668/stat : 16668 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626836126120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16669] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16669/stat : 16669 (java) S 16657 16659 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626835073576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16670] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16670/stat : 16670 (java) S 16657 16659 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626351860328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16671] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16671/stat : 16671 (java) S 16657 16659 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626350806648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16672] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16672/stat : 16672 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626349753992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16673] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16673/stat : 16673 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626348702736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16674] ppid=16657 vsize=2966184 CPUtime=0.18 cores=1,3,5,7
/proc/16659/task/16674/stat : 16674 (java) S 16657 16659 3958 0 -1 4202560 2693 0 0 0 18 0 0 0 20 0 20 0 339640077 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626347649080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16675] ppid=16657 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/16659/task/16675/stat : 16675 (java) S 16657 16659 3958 0 -1 4202560 3098 0 0 0 19 0 0 0 20 0 20 0 339640077 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626346596536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16676] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16676/stat : 16676 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626345544184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16677] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16677/stat : 16677 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626344491848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16680] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16680/stat : 16680 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626341332520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16681] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16681/stat : 16681 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 14642 33554432000 1073741824 1073778376 140733748942304 140626340279976 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 3.50 3.73 3.72 3/217 16683
/proc/meminfo: memFree=30593796/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 9912 0 1 0 71 8 0 0 20 0 20 0 339640072 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 16690 2223 9 0 732240 0
[pid=16659/tid=16661] ppid=16657 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 3958 0 -1 4202560 2782 0 1 0 9 2 0 0 20 0 20 0 339640073 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626975757464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626842442408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16663] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626841389864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16664] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626840337320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16665] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626839284776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16666] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626838231208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16667] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626837178664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16668] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16668/stat : 16668 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626836126120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16669] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16669/stat : 16669 (java) S 16657 16659 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626835073576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16670] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16670/stat : 16670 (java) S 16657 16659 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626351860328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16671] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16671/stat : 16671 (java) S 16657 16659 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626350806648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16672] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16672/stat : 16672 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626349753992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16673] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16673/stat : 16673 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626348702736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16674] ppid=16657 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/16659/task/16674/stat : 16674 (java) S 16657 16659 3958 0 -1 4202560 2693 0 0 0 19 0 0 0 20 0 20 0 339640077 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626347649080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16675] ppid=16657 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/16659/task/16675/stat : 16675 (java) S 16657 16659 3958 0 -1 4202560 3098 0 0 0 19 0 0 0 20 0 20 0 339640077 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626346596536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16676] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16676/stat : 16676 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626345544184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16677] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16677/stat : 16677 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626344491848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16680] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16680/stat : 16680 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626341332520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16681] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16681/stat : 16681 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 16690 33554432000 1073741824 1073778376 140733748942304 140626340279976 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.90065 s]
/proc/loadavg: 3.50 3.73 3.72 6/219 16687
/proc/meminfo: memFree=30556924/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 15260 0 1 0 144 11 0 0 20 0 20 0 339640072 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 28760 2233 9 0 732240 0
[pid=16659/tid=16661] ppid=16657 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 3958 0 -1 4202560 2783 0 1 0 9 2 0 0 20 0 20 0 339640073 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626975757464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626842442408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16663] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626841389864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16664] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626840337320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16665] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626839284776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16666] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626838231208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16667] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626837178664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16668] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16668/stat : 16668 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626836126120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16669] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16669/stat : 16669 (java) S 16657 16659 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626835073576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16670] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16670/stat : 16670 (java) S 16657 16659 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626351860328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16671] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16671/stat : 16671 (java) S 16657 16659 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626350806648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16672] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16672/stat : 16672 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626349753992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16673] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16673/stat : 16673 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626348702736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16674] ppid=16657 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/16659/task/16674/stat : 16674 (java) S 16657 16659 3958 0 -1 4202560 5371 0 0 0 42 2 0 0 20 0 20 0 339640077 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626347649080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16675] ppid=16657 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/16659/task/16675/stat : 16675 (java) S 16657 16659 3958 0 -1 4202560 5740 0 0 0 46 0 0 0 20 0 20 0 339640077 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626346596536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16676] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16676/stat : 16676 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626345544184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16677] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16677/stat : 16677 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626344491848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16680] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16680/stat : 16680 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626341332520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16681] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16681/stat : 16681 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 28760 33554432000 1073741824 1073778376 140733748942304 140626340279976 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
[startup+4.1006 s]
/proc/loadavg: 3.50 3.73 3.72 6/219 16687
/proc/meminfo: memFree=30556924/32873648 swapFree=7628/7628
[pid=16659] ppid=16657 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/16659/stat : 16659 (java) S 16657 16659 3958 0 -1 4202496 15261 0 1 0 144 11 0 0 20 0 20 0 339640072 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140733748933440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 741546 28761 2234 9 0 732240 0
[pid=16659/tid=16661] ppid=16657 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 3958 0 -1 4202560 2783 0 1 0 9 2 0 0 20 0 20 0 339640073 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626975757464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626842442408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16663] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626841389864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16664] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626840337320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16665] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626839284776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16666] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626838231208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16667] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626837178664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16668] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16668/stat : 16668 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626836126120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16669] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16669/stat : 16669 (java) S 16657 16659 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640074 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626835073576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16670] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16670/stat : 16670 (java) S 16657 16659 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626351860328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16671] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16671/stat : 16671 (java) S 16657 16659 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626350806648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16672] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16672/stat : 16672 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640075 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626349753992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16673] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16673/stat : 16673 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626348702736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16674] ppid=16657 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/16659/task/16674/stat : 16674 (java) S 16657 16659 3958 0 -1 4202560 5371 0 0 0 42 2 0 0 20 0 20 0 339640077 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626347649080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16659/tid=16675] ppid=16657 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/16659/task/16675/stat : 16675 (java) S 16657 16659 3958 0 -1 4202560 5740 0 0 0 46 0 0 0 20 0 20 0 339640077 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626346596536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16659/tid=16676] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16676/stat : 16676 (java) S 16657 16659 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626345544184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16677] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16677/stat : 16677 (java) S 16657 16659 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640077 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626344491848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16680] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16680/stat : 16680 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626341332520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16681] ppid=16657 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16681/stat : 16681 (java) S 16657 16659 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640086 3037372416 28761 33554432000 1073741824 1073778376 140733748942304 140626340279976 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 4.14513
CPU time (s): 1.59276
CPU user time (s): 1.44178
CPU system time (s): 0.150977
CPU usage (%): 38.4248
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44178
system time used= 0.150977
maximum resident set size= 117100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15267
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= 391
involuntary context switches= 52
runsolver used 0.010998 second user time and 0.040993 second system time
The end