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-3457423-1307660653/watcher-3457423-1307660653 -o /tmp/evaluation-result-3457423-1307660653/solver-3457423-1307660653 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457423-1307660653.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: 1.85 1.98 2.07 2/195 7291
/proc/meminfo: memFree=30997476/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 1242 0 0 0 0 0 0 0 25 0 2 0 956296067 31268864 962 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 7634 962 736 9 0 385 0
[pid=7291/tid=7292] ppid=7289 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 142 0 0 0 0 0 0 0 25 0 2 0 956296068 32362496 975 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 47947930793760 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.074806 s]
/proc/loadavg: 1.85 1.98 2.07 2/195 7291
/proc/meminfo: memFree=30997476/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10538484 CPUtime=0.06 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 11965 0 1 0 5 1 0 0 25 0 18 0 956296067 10791407616 11663 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2634621 11663 1755 9 0 2625355 0
[pid=7291/tid=7292] ppid=7289 vsize=10538484 CPUtime=0.06 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 10793 0 1 0 5 1 0 0 25 0 18 0 956296068 10791407616 11663 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538484
[startup+0.100797 s]
/proc/loadavg: 1.85 1.98 2.07 2/195 7291
/proc/meminfo: memFree=30997476/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10539376 CPUtime=0.1 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 13124 0 1 0 9 1 0 0 25 0 18 0 956296067 10792321024 12777 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2634844 12777 2092 9 0 2625578 0
[pid=7291/tid=7292] ppid=7289 vsize=10539376 CPUtime=0.09 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 11192 0 1 0 8 1 0 0 25 0 18 0 956296068 10792321024 12778 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 47947934923603 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539376
[startup+0.300765 s]
/proc/loadavg: 1.85 1.98 2.07 2/195 7291
/proc/meminfo: memFree=30997476/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10541004 CPUtime=0.55 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 17061 0 1 0 53 2 0 0 25 0 18 0 956296067 10793988096 16380 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2635251 16380 2212 9 0 2625985 0
[pid=7291/tid=7292] ppid=7289 vsize=10541004 CPUtime=0.28 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 14064 0 1 0 27 1 0 0 25 0 18 0 956296068 10793988096 16380 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505217103 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10541004
[startup+0.700695 s]
/proc/loadavg: 1.85 1.98 2.07 2/195 7291
/proc/meminfo: memFree=30997476/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=1.7 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 36960 0 1 0 165 5 0 0 25 0 19 0 956296067 10804838400 33155 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 33156 2223 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=0.68 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 25409 0 1 0 65 3 0 0 25 0 19 0 956296068 10804838400 33157 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505711922 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10551600
[startup+1.50156 s]
/proc/loadavg: 1.85 1.98 2.07 4/214 7310
/proc/meminfo: memFree=30446740/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=2.81 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 112098 0 1 0 267 14 0 0 25 0 19 0 956296067 10804838400 108291 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 108296 2227 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=1.49 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 100484 0 1 0 136 13 0 0 25 0 19 0 956296068 10804838400 108299 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505599978 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108302 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108306 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108309 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108312 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108315 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108318 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108321 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 108324 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956296070 10804838400 108327 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 108329 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 108332 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 108335 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.68 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5098 0 0 0 68 0 0 0 22 0 19 0 956296073 10804838400 108337 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.63 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5365 0 0 0 63 0 0 0 23 0 19 0 956296073 10804838400 108340 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 108343 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 108346 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 108350 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10551600
[startup+3.10128 s]
/proc/loadavg: 1.85 1.98 2.07 3/214 7310
/proc/meminfo: memFree=29674716/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=4.44 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 265893 0 1 0 410 34 0 0 25 0 19 0 956296067 10804838400 262085 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 262088 2227 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=3.08 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 254271 0 1 0 276 32 0 0 25 0 19 0 956296068 10804838400 262090 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505711972 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262093 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262095 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262097 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262099 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262101 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262103 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262105 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 262106 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956296070 10804838400 262108 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 262110 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 262112 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 262115 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.69 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 69 0 0 0 17 0 19 0 956296073 10804838400 262117 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.63 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5365 0 0 0 63 0 0 0 16 0 19 0 956296073 10804838400 262119 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 262120 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 262122 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 262124 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10551600
[startup+6.30071 s]
/proc/loadavg: 1.87 1.98 2.07 4/214 7310
/proc/meminfo: memFree=27979280/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=7.66 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 602262 0 1 0 697 69 0 0 25 0 19 0 956296067 10804838400 598231 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 598233 2228 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=6.29 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 590636 0 1 0 561 68 0 0 25 0 19 0 956296068 10804838400 598235 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505710963 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598236 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598238 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598240 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598242 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598244 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598245 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598247 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956296069 10804838400 598249 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956296070 10804838400 598251 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 598252 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296071 10804838400 598254 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 598256 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.7 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 70 0 0 0 16 0 19 0 956296073 10804838400 598258 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.66 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5369 0 0 0 66 0 0 0 15 0 19 0 956296073 10804838400 598259 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 1715 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 956296070 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.7 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 70 0 0 0 16 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.71 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5378 0 0 0 71 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 27.02
Current children cumulated vsize (KiB) 10551600
Solver just ended. Dumping a history of the last processes samples
[startup+26.3013 s]
/proc/loadavg: 1.90 1.98 2.06 3/214 7311
/proc/meminfo: memFree=27243460/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=27.83 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 672409 0 1 0 2706 77 0 0 25 0 19 0 956296067 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 668363 2242 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=26.25 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 651062 0 1 0 2551 74 0 0 25 0 19 0 956296068 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505712204 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1163 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1453 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1630 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 838 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1082 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 1715 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 956296070 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.7 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 70 0 0 0 16 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.71 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5378 0 0 0 71 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 27.83
Current children cumulated vsize (KiB) 10551600
[startup+27.1011 s]
/proc/loadavg: 1.90 1.98 2.06 3/214 7311
/proc/meminfo: memFree=27243460/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=28.62 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 672409 0 1 0 2785 77 0 0 25 0 19 0 956296067 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 668363 2242 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=27.05 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 651062 0 1 0 2631 74 0 0 25 0 19 0 956296068 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505834016 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1163 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1453 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1630 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 838 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1082 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 1715 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 956296070 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.7 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 70 0 0 0 16 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.71 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5378 0 0 0 71 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.62
Current children cumulated vsize (KiB) 10551600
[startup+27.507 s]
/proc/loadavg: 1.90 1.98 2.06 3/214 7311
/proc/meminfo: memFree=27193980/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=10551600 CPUtime=29.03 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 4604 0 -1 4202496 672409 0 1 0 2826 77 0 0 25 0 19 0 956296067 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2637900 668363 2242 9 0 2628634 0
[pid=7291/tid=7292] ppid=7289 vsize=10551600 CPUtime=27.45 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 4604 0 -1 4202560 651062 0 1 0 2671 74 0 0 25 0 19 0 956296068 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 46912505703151 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 4604 0 -1 4202560 1163 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 4604 0 -1 4202560 1453 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 4604 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 4604 0 -1 4202560 1630 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 4604 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 4604 0 -1 4202560 838 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 4604 0 -1 4202560 1082 0 0 0 1 0 0 0 15 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 4604 0 -1 4202560 1715 0 0 0 1 0 0 0 16 0 19 0 956296069 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 4604 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 956296070 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 0 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956296071 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000416177 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=10551600 CPUtime=0.7 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 4604 0 -1 4202560 5102 0 0 0 70 0 0 0 16 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=10551600 CPUtime=0.71 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 4604 0 -1 4202560 5378 0 0 0 71 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 3 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000408473 0 4 0 16800975 18446604471143526784 0 0 -1 7 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956296073 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 5 0 0 0
[pid=7291/tid=7310] ppid=7289 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7310/stat : 7310 (java) S 7289 7291 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956296103 10804838400 668363 33554432000 1073741824 1073778376 140737218499184 18446744073709551615 216000409088 0 4 0 16800975 18446604471143526784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (KiB) 10551600
[startup+27.601 s]
/proc/loadavg: 1.90 1.98 2.06 3/214 7311
/proc/meminfo: memFree=27193980/32950940 swapFree=67074964/67111528
[pid=7291] ppid=7289 vsize=0 CPUtime=29.11 cores=1,3,5,7
/proc/7291/stat : 7291 (java) Z 7289 7291 4604 0 -1 4203548 672423 0 1 0 2827 84 0 0 18 0 2 0 956296067 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 0 0 0 0 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) R 7289 7291 4604 0 -1 4203588 9 0 0 0 0 7 0 0 18 0 2 0 956296071 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 29.11
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 27.6165
CPU time (s): 29.1426
CPU user time (s): 28.2797
CPU system time (s): 0.862868
CPU usage (%): 105.526
Max. virtual memory (cumulated for all children) (KiB): 10554508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2797
system time used= 0.862868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672423
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= 910
involuntary context switches= 124
runsolver used 0.048992 second user time and 0.107983 second system time
The end