runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455124-1307189035/watcher-3455124-1307189035 -o /tmp/evaluation-result-3455124-1307189035/solver-3455124-1307189035 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455124-1307189035.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.48 2.70 2.07 2/490 16303
/proc/meminfo: memFree=23578924/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=5592 CPUtime=0 cores=1,3,5,7
/proc/16303/stat : 16303 (java) R 16301 16303 13385 0 -1 4194304 288 0 0 0 0 0 0 0 25 0 1 0 909133988 5726208 52 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252453142151 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16303/statm: 2254 57 44 9 0 28 0
[pid=16303/tid=16304] ppid=16301 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) R 16301 16303 13385 0 -1 4202560 1915 0 1 0 0 0 0 0 25 0 2 0 909133988 10681323520 2731 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0761181 s]
/proc/loadavg: 3.48 2.70 2.07 2/490 16303
/proc/meminfo: memFree=23578924/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 11703 0 1 0 4 1 0 0 25 0 18 0 909133988 10724274176 11400 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2618231 11400 1733 9 0 2608972 0
[pid=16303/tid=16304] ppid=16301 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) R 16301 16303 13385 0 -1 4202560 10528 0 1 0 3 1 0 0 21 0 18 0 909133988 10724274176 11400 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 47341521348627 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.103116 s]
/proc/loadavg: 3.48 2.70 2.07 2/490 16303
/proc/meminfo: memFree=23578924/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10540244 CPUtime=0.09 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 12888 0 1 0 8 1 0 0 25 0 18 0 909133988 10793209856 12585 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2635061 12633 2092 9 0 2625795 0
[pid=16303/tid=16304] ppid=16301 vsize=10540244 CPUtime=0.07 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) R 16301 16303 13385 0 -1 4202560 11057 0 1 0 6 1 0 0 18 0 18 0 909133988 10793209856 12634 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 47341522011642 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540244
[startup+0.301042 s]
/proc/loadavg: 3.48 2.70 2.07 2/490 16303
/proc/meminfo: memFree=23578924/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10547428 CPUtime=0.49 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 15531 0 1 0 47 2 0 0 25 0 22 0 909133988 10800566272 15113 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2636857 15113 2208 9 0 2627591 0
[pid=16303/tid=16304] ppid=16301 vsize=10547428 CPUtime=0.24 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) S 16301 16303 13385 0 -1 4202560 12395 0 1 0 22 2 0 0 19 0 22 0 909133988 10800566272 15113 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10547428
[startup+0.701013 s]
/proc/loadavg: 3.48 2.70 2.07 2/490 16303
/proc/meminfo: memFree=23578924/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10547428 CPUtime=0.73 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 16819 0 1 0 71 2 0 0 25 0 19 0 909133988 10800566272 15784 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2636857 15784 2223 9 0 2627591 0
[pid=16303/tid=16304] ppid=16301 vsize=10547428 CPUtime=0.24 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) S 16301 16303 13385 0 -1 4202560 12395 0 1 0 22 2 0 0 19 0 19 0 909133988 10800566272 15784 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 10547428
Solver just ended. Dumping a history of the last processes samples
[startup+1.11793 s]
/proc/loadavg: 3.48 2.70 2.07 3/509 16328
/proc/meminfo: memFree=23522052/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10547428 CPUtime=0.77 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 16900 0 1 0 75 2 0 0 25 0 19 0 909133988 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2636857 15865 2223 9 0 2627591 0
[pid=16303/tid=16304] ppid=16301 vsize=10547428 CPUtime=0.25 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) S 16301 16303 13385 0 -1 4202560 12460 0 1 0 23 2 0 0 16 0 19 0 909133988 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
[pid=16303/tid=16306] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16306/stat : 16306 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16307] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16307/stat : 16307 (java) S 16301 16303 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16308] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16308/stat : 16308 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16309] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16309/stat : 16309 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16310] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16310/stat : 16310 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16311] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16311/stat : 16311 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16312] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16312/stat : 16312 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16313] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16313/stat : 16313 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16314] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16314/stat : 16314 (java) S 16301 16303 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909133991 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 0 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16315] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16315/stat : 16315 (java) S 16301 16303 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909133992 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16316] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16316/stat : 16316 (java) S 16301 16303 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909133992 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16317] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16317/stat : 16317 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469889457 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16318] ppid=16301 vsize=10547428 CPUtime=0.2 cores=1,3,5,7
/proc/16303/task/16318/stat : 16318 (java) S 16301 16303 13385 0 -1 4202560 1311 0 0 0 20 0 0 0 16 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 3 0 0 0
[pid=16303/tid=16319] ppid=16301 vsize=10547428 CPUtime=0.16 cores=1,3,5,7
/proc/16303/task/16319/stat : 16319 (java) S 16301 16303 13385 0 -1 4202560 1571 0 0 0 16 0 0 0 15 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16320] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16320/stat : 16320 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16321] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16321/stat : 16321 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
[pid=16303/tid=16324] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16324/stat : 16324 (java) S 16301 16303 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909134015 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 10547428
[startup+1.20091 s]
/proc/loadavg: 3.48 2.70 2.07 3/509 16328
/proc/meminfo: memFree=23522052/32951124 swapFree=56297244/67111528
[pid=16303] ppid=16301 vsize=10547428 CPUtime=0.77 cores=1,3,5,7
/proc/16303/stat : 16303 (java) S 16301 16303 13385 0 -1 4202496 16900 0 1 0 75 2 0 0 25 0 19 0 909133988 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16303/statm: 2636857 15865 2223 9 0 2627591 0
[pid=16303/tid=16304] ppid=16301 vsize=10547428 CPUtime=0.25 cores=1,3,5,7
/proc/16303/task/16304/stat : 16304 (java) S 16301 16303 13385 0 -1 4202560 12460 0 1 0 23 2 0 0 16 0 19 0 909133988 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
[pid=16303/tid=16306] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16306/stat : 16306 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16307] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16307/stat : 16307 (java) S 16301 16303 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16308] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16308/stat : 16308 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16309] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16309/stat : 16309 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16310] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16310/stat : 16310 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16311] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16311/stat : 16311 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16312] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16312/stat : 16312 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16313] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16313/stat : 16313 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909133990 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 7 0 0 0
[pid=16303/tid=16314] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16314/stat : 16314 (java) S 16301 16303 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909133991 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 0 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16315] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16315/stat : 16315 (java) S 16301 16303 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909133992 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16316] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16316/stat : 16316 (java) S 16301 16303 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909133992 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16317] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16317/stat : 16317 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469889457 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16318] ppid=16301 vsize=10547428 CPUtime=0.2 cores=1,3,5,7
/proc/16303/task/16318/stat : 16318 (java) S 16301 16303 13385 0 -1 4202560 1311 0 0 0 20 0 0 0 16 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 3 0 0 0
[pid=16303/tid=16319] ppid=16301 vsize=10547428 CPUtime=0.16 cores=1,3,5,7
/proc/16303/task/16319/stat : 16319 (java) S 16301 16303 13385 0 -1 4202560 1571 0 0 0 16 0 0 0 15 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16320] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16320/stat : 16320 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469881753 0 4 0 16800975 18446604454677374912 0 0 -1 1 0 0 0
[pid=16303/tid=16321] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16321/stat : 16321 (java) S 16301 16303 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909133995 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
[pid=16303/tid=16324] ppid=16301 vsize=10547428 CPUtime=0 cores=1,3,5,7
/proc/16303/task/16324/stat : 16324 (java) S 16301 16303 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909134015 10800566272 15865 33554432000 1073741824 1073778376 140735137212304 18446744073709551615 252469882368 0 4 0 16800975 18446604454677374912 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 10547428
Child status: 30
Real time (s): 1.2907
CPU time (s): 0.787879
CPU user time (s): 0.753885
CPU system time (s): 0.033994
CPU usage (%): 61.0428
Max. virtual memory (cumulated for all children) (KiB): 10547428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.753885
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16918
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= 257
involuntary context switches= 26
runsolver used 0.007998 second user time and 0.026995 second system time
The end