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-3730712-1338730832/watcher-3730712-1338730832 -o /tmp/evaluation-result-3730712-1338730832/solver-3730712-1338730832 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3730712-1338730832.opb
running on 4 cores: 0,2,4,6
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.72 3.91 3.81 3/198 14861
/proc/meminfo: memFree=30866172/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/14861/stat : 14861 (java) R 14859 14861 3958 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 339209238 278528 33 33554432000 1073741824 1073778376 140733793650320 140737462701528 217401355445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14861/statm: 84 41 33 9 0 25 0
[startup+0.029562 s]
/proc/loadavg: 3.72 3.91 3.81 3/198 14861
/proc/meminfo: memFree=30866172/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2158136 CPUtime=0.01 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 3481 0 1 0 0 1 0 0 20 0 10 0 339209238 2209931264 4179 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 539534 4179 1539 9 0 530235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2158136
[startup+0.100246 s]
/proc/loadavg: 3.72 3.91 3.81 3/198 14861
/proc/meminfo: memFree=30866172/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 4731 0 1 0 8 1 0 0 20 0 18 0 339209238 2764726272 6439 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 674982 6440 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.30021 s]
/proc/loadavg: 3.72 3.91 3.81 3/198 14861
/proc/meminfo: memFree=30866172/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2699928 CPUtime=0.49 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 5969 0 1 0 48 1 0 0 20 0 18 0 339209238 2764726272 9296 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 674982 9296 2225 9 0 665676 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2699928
[startup+0.700266 s]
/proc/loadavg: 3.72 3.91 3.81 3/198 14861
/proc/meminfo: memFree=30866172/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2833056 CPUtime=1.22 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 18575 0 1 0 118 4 0 0 20 0 18 0 339209238 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 708264 22961 2240 9 0 698958 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2833056
Solver just ended. Dumping a history of the last processes samples
[startup+1.10699 s]
/proc/loadavg: 3.58 3.88 3.80 3/216 14881
/proc/meminfo: memFree=30773968/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2833056 CPUtime=1.22 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 18575 0 1 0 118 4 0 0 20 0 18 0 339209238 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 708264 22961 2240 9 0 698958 0
[pid=14861/tid=14863] ppid=14859 vsize=2833056 CPUtime=0.43 cores=0,2,4,6
/proc/14861/task/14863/stat : 14863 (java) S 14859 14861 3958 0 -1 4202560 2812 0 1 0 41 2 0 0 20 0 18 0 339209239 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593688925336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14864] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14864/stat : 14864 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593554770344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593553717800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593552664744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593551612200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593550560168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593549507624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593548454568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593547402024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339209241 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593064810856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593063757176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593062704008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593061652752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=2833056 CPUtime=0.39 cores=0,2,4,6
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 3958 0 -1 4202560 8745 0 0 0 38 1 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593060600632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=2833056 CPUtime=0.36 cores=0,2,4,6
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 3958 0 -1 4202560 5781 0 0 0 36 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593059548088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593058495224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593057442888 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2833056
[startup+1.30066 s]
/proc/loadavg: 3.58 3.88 3.80 3/216 14881
/proc/meminfo: memFree=30773968/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2833056 CPUtime=1.22 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 18575 0 1 0 118 4 0 0 20 0 18 0 339209238 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 708264 22961 2240 9 0 698958 0
[pid=14861/tid=14863] ppid=14859 vsize=2833056 CPUtime=0.43 cores=0,2,4,6
/proc/14861/task/14863/stat : 14863 (java) S 14859 14861 3958 0 -1 4202560 2812 0 1 0 41 2 0 0 20 0 18 0 339209239 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593688925336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14864] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14864/stat : 14864 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593554770344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593553717800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593552664744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593551612200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593550560168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593549507624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593548454568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593547402024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339209241 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593064810856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593063757176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593062704008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593061652752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=2833056 CPUtime=0.39 cores=0,2,4,6
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 3958 0 -1 4202560 8745 0 0 0 38 1 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593060600632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=2833056 CPUtime=0.36 cores=0,2,4,6
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 3958 0 -1 4202560 5781 0 0 0 36 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593059548088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593058495224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593057442888 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2833056
[startup+1.40063 s]
/proc/loadavg: 3.58 3.88 3.80 3/216 14881
/proc/meminfo: memFree=30773968/32873648 swapFree=7628/7628
[pid=14861] ppid=14859 vsize=2833056 CPUtime=1.22 cores=0,2,4,6
/proc/14861/stat : 14861 (java) S 14859 14861 3958 0 -1 4202496 18575 0 1 0 118 4 0 0 20 0 18 0 339209238 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140733793641456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14861/statm: 708264 22961 2240 9 0 698958 0
[pid=14861/tid=14863] ppid=14859 vsize=2833056 CPUtime=0.43 cores=0,2,4,6
/proc/14861/task/14863/stat : 14863 (java) S 14859 14861 3958 0 -1 4202560 2812 0 1 0 41 2 0 0 20 0 18 0 339209239 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593688925336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14864] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14864/stat : 14864 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593554770344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593553717800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593552664744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593551612200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593550560168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593549507624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593548454568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339209240 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593547402024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339209241 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593064810856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593063757176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339209242 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593062704008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593061652752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=2833056 CPUtime=0.39 cores=0,2,4,6
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 3958 0 -1 4202560 8745 0 0 0 38 1 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593060600632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=2833056 CPUtime=0.36 cores=0,2,4,6
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 3958 0 -1 4202560 5781 0 0 0 36 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593059548088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593058495224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209244 2901049344 22961 33554432000 1073741824 1073778376 140733793650320 140593057442888 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2833056
Child status: 20
Real time (s): 1.47114
CPU time (s): 1.24481
CPU user time (s): 1.18082
CPU system time (s): 0.06399
CPU usage (%): 84.6153
Max. virtual memory (cumulated for all children) (KiB): 2833056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.18082
system time used= 0.06399
maximum resident set size= 94248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18590
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= 347
involuntary context switches= 37
runsolver used 0.008998 second user time and 0.009998 second system time
The end