runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4258223-1501650914/watcher-4258223-1501650914 -o /tmp/evaluation-result-4258223-1501650914/solver-4258223-1501650914 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258223-1501650914.xml
pid=7301
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 6.51 5.19 3.67 6/198 7304
/proc/meminfo: memFree=23603040/32770624 swapFree=0/231000
[pid=7304] ppid=7301 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7304/stat : 7304 (runsolver) D 7301 7304 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13714438 24240128 106 18446744073709551615 4194304 4338465 140722813817248 140722813814888 140114438804183 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 14475264 140722813821063 140722813821510 140722813821510 140722813824970 0
/proc/7304/statm: 5918 106 53 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 6.51 5.19 3.67 6/198 7304
/proc/meminfo: memFree=23603040/32770624 swapFree=0/231000
[pid=7304] ppid=7301 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7304/stat : 7304 (runsolver) D 7301 7304 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13714438 24240128 106 18446744073709551615 4194304 4338465 140722813817248 140722813814888 140114438804183 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 14475264 140722813821063 140722813821510 140722813821510 140722813824970 0
/proc/7304/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200299 s]
/proc/loadavg: 6.51 5.19 3.67 6/198 7304
/proc/meminfo: memFree=23603040/32770624 swapFree=0/231000
[pid=7304] ppid=7301 vsize=10484492 CPUtime=0.06 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 4505 0 0 0 5 1 0 0 20 0 14 0 13714438 10736119808 6072 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2621123 6072 2576 1 0 2610628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10484492
[startup+0.300295 s]
/proc/loadavg: 6.51 5.19 3.67 6/198 7304
/proc/meminfo: memFree=23603040/32770624 swapFree=0/231000
[pid=7304] ppid=7301 vsize=10551156 CPUtime=0.2 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 7809 0 0 0 18 2 0 0 20 0 15 0 13714438 10804383744 8578 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637789 8578 2850 1 0 2627269 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10551156
[startup+0.700279 s]
/proc/loadavg: 6.51 5.19 3.67 6/198 7304
/proc/meminfo: memFree=23603040/32770624 swapFree=0/231000
[pid=7304] ppid=7301 vsize=10551232 CPUtime=1.16 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 11286 0 0 0 111 5 0 0 20 0 15 0 13714438 10804461568 33413 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 33413 3042 1 0 2627269 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10551232
[startup+1.50154 s]
/proc/loadavg: 6.51 5.19 3.67 7/213 7319
/proc/meminfo: memFree=23292268/32770624 swapFree=0/231016
[pid=7304] ppid=7301 vsize=10551232 CPUtime=2.95 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 12382 0 0 0 256 39 0 0 20 0 15 0 13714438 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 132771 3073 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=1.03 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 7049 0 0 0 99 4 0 0 20 0 15 0 13714449 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140509004186896 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=0.3 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 186 0 0 0 22 8 0 0 20 0 15 0 13714449 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508930370704 140508984977490 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=0.29 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 225 0 0 0 21 8 0 0 20 0 15 0 13714449 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508929317792 140508984976918 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=0.29 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 235 0 0 0 22 7 0 0 20 0 15 0 13714449 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508928265304 140508984977490 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=0.29 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 209 0 0 0 21 8 0 0 20 0 15 0 13714449 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508927212504 140508984974238 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1172 0 0 0 23 0 0 0 20 0 15 0 13714454 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.24 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 804 0 0 0 24 0 0 0 20 0 15 0 13714454 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508489915120 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.2 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1061 0 0 0 20 0 0 0 20 0 15 0 13714454 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 132771 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10551232
[startup+3.10155 s]
/proc/loadavg: 6.51 5.19 3.67 9/213 7319
/proc/meminfo: memFree=22994380/32770624 swapFree=0/231016
[pid=7304] ppid=7301 vsize=10551232 CPUtime=7.4 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 14378 0 0 0 675 65 0 0 20 0 15 0 13714438 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 188761 3089 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=1.34 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 7175 0 0 0 130 4 0 0 20 0 15 0 13714449 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140509004187136 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=1.24 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 705 0 0 0 110 14 0 0 20 0 15 0 13714449 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508930370704 140508984994207 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=1.25 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 479 0 0 0 110 15 0 0 20 0 15 0 13714449 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508929317904 140508979146819 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=1.24 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 507 0 0 0 111 13 0 0 20 0 15 0 13714449 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508928265304 140508984977206 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=1.23 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 580 0 0 0 109 14 0 0 20 0 15 0 13714449 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508927212504 140508984972192 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0.33 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 517 0 0 0 33 0 0 0 20 0 15 0 13714451 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1172 0 0 0 23 0 0 0 20 0 15 0 13714454 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.24 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 805 0 0 0 24 0 0 0 20 0 15 0 13714454 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508489915120 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.22 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1080 0 0 0 22 0 0 0 20 0 15 0 13714454 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 188761 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 10551232
[startup+6.30154 s]
/proc/loadavg: 6.63 5.24 3.69 6/213 7319
/proc/meminfo: memFree=22526124/32770624 swapFree=0/231028
[pid=7304] ppid=7301 vsize=10551232 CPUtime=15.27 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 20085 0 0 0 1424 103 0 0 20 0 15 0 13714438 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 325955 3089 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=2.36 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 8479 0 0 0 228 8 0 0 20 0 15 0 13714449 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140509004186720 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=2.78 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 957 0 0 0 255 23 0 0 20 0 15 0 13714449 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508930370704 140508984977945 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=2.79 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 739 0 0 0 256 23 0 0 20 0 15 0 13714449 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508929317792 140508984977166 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=2.8 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 953 0 0 0 258 22 0 0 20 0 15 0 13714449 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508928265104 140508984978216 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=2.78 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 1327 0 0 0 255 23 0 0 20 0 15 0 13714449 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508927212504 140508984978235 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0.95 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 2309 0 0 0 95 0 0 0 20 0 15 0 13714451 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1174 0 0 0 23 0 0 0 20 0 15 0 13714454 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.25 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 945 0 0 0 25 0 0 0 20 0 15 0 13714454 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508489900112 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.25 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1578 0 0 0 25 0 0 0 20 0 15 0 13714454 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 325955 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 15.27
Current children cumulated vsize (KiB) 10551232
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7304 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40154 s]
/proc/loadavg: 6.63 5.24 3.69 6/213 7319
/proc/meminfo: memFree=22526124/32770624 swapFree=0/231028
[pid=7304] ppid=7301 vsize=10551232 CPUtime=15.67 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 20343 0 0 0 1446 121 0 0 20 0 15 0 13714438 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 352072 3089 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=2.36 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 8479 0 0 0 228 8 0 0 20 0 15 0 13714449 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140509004186720 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=2.88 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 1032 0 0 0 261 27 0 0 20 0 15 0 13714449 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508930370904 140508981503312 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=2.89 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 798 0 0 0 261 28 0 0 20 0 15 0 13714449 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508929317792 140508984974204 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=2.9 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 1023 0 0 0 264 26 0 0 20 0 15 0 13714449 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508928265304 140508984977490 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=2.88 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 1381 0 0 0 260 28 0 0 20 0 15 0 13714449 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508927212504 140508981576016 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0.95 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 2309 0 0 0 95 0 0 0 20 0 15 0 13714451 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1174 0 0 0 23 0 0 0 20 0 15 0 13714454 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.25 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 945 0 0 0 25 0 0 0 20 0 15 0 13714454 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508489900112 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.25 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1578 0 0 0 25 0 0 0 20 0 15 0 13714454 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 352072 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 15.67
Current children cumulated vsize (KiB) 10551232
[startup+7.20154 s]
/proc/loadavg: 6.63 5.24 3.69 10/213 7319
/proc/meminfo: memFree=22104860/32770624 swapFree=0/231028
[pid=7304] ppid=7301 vsize=10551232 CPUtime=17.59 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 22297 0 0 0 1607 152 0 0 20 0 15 0 13714438 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 408499 3094 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=2.81 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 8483 0 0 0 272 9 0 0 20 0 15 0 13714449 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140509004186896 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=3.24 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 1339 0 0 0 290 34 0 0 20 0 15 0 13714449 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508930370704 140508984978270 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=3.25 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 1133 0 0 0 290 35 0 0 20 0 15 0 13714449 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508929318104 140508984977490 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=3.25 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 1462 0 0 0 291 34 0 0 20 0 15 0 13714449 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508928264992 140508984972192 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=3.24 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 1670 0 0 0 289 35 0 0 20 0 15 0 13714449 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508927212304 140508984977194 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0.95 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 2576 0 0 0 95 0 0 0 20 0 15 0 13714451 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.24 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1357 0 0 0 24 0 0 0 20 0 15 0 13714454 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.27 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 998 0 0 0 27 0 0 0 20 0 15 0 13714454 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508489915120 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.26 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1655 0 0 0 26 0 0 0 20 0 15 0 13714454 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 408499 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 10551232
[startup+7.60154 s]
/proc/loadavg: 6.63 5.24 3.69 10/213 7319
/proc/meminfo: memFree=22104860/32770624 swapFree=0/231028
[pid=7304] ppid=7301 vsize=10551232 CPUtime=19.19 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 23077 0 0 0 1737 182 0 0 20 0 15 0 13714438 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2637808 488532 3094 1 0 2627269 0
[pid=7304/tid=7306] ppid=7301 vsize=10551232 CPUtime=2.81 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 8483 0 0 0 272 9 0 0 20 0 15 0 13714449 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140509004186896 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10551232 CPUtime=3.64 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) R 7301 7304 5091 0 -1 4202560 1592 0 0 0 321 43 0 0 20 0 15 0 13714449 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508930370904 140508992578279 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10551232 CPUtime=3.64 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) R 7301 7304 5091 0 -1 4202560 1301 0 0 0 322 42 0 0 20 0 15 0 13714449 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508929318024 140508992578279 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10551232 CPUtime=3.66 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) R 7301 7304 5091 0 -1 4202560 1616 0 0 0 325 41 0 0 20 0 15 0 13714449 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508928264992 140508984398286 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10551232 CPUtime=3.64 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) R 7301 7304 5091 0 -1 4202560 1875 0 0 0 322 42 0 0 20 0 15 0 13714449 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508927212504 140508992578279 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10551232 CPUtime=0.95 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 2576 0 0 0 95 0 0 0 20 0 15 0 13714451 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508495176608 140508999960277 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13714451 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10551232 CPUtime=0.24 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1357 0 0 0 24 0 0 0 20 0 15 0 13714454 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10551232 CPUtime=0.27 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 998 0 0 0 27 0 0 0 20 0 15 0 13714454 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508489915120 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10551232 CPUtime=0.26 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1655 0 0 0 26 0 0 0 20 0 15 0 13714454 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13714454 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 13714458 10804461568 488532 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 10551232
[startup+8.00061 s]
/proc/loadavg: 6.63 5.24 3.69 6/213 7319
/proc/meminfo: memFree=21658028/32770624 swapFree=0/231028
[pid=7304] ppid=7301 vsize=10686560 CPUtime=19.48 cores=0,2,4,6
/proc/7304/stat : 7304 (java) S 7301 7304 5091 0 -1 1077944320 24495 0 0 0 1766 182 0 0 20 0 16 0 13714438 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140737062248576 140508999950071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
/proc/7304/statm: 2671640 488942 3143 1 0 2661063 0
[pid=7304/tid=7306] ppid=7301 vsize=10686560 CPUtime=3 cores=0,2,4,6
/proc/7304/task/7306/stat : 7306 (java) S 7301 7304 5091 0 -1 1077944384 9257 0 0 0 291 9 0 0 20 0 16 0 13714449 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140509004190752 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7307] ppid=7301 vsize=10686560 CPUtime=3.65 cores=0,2,4,6
/proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5091 0 -1 1077944384 1592 0 0 0 322 43 0 0 20 0 16 0 13714449 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508930370704 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7308] ppid=7301 vsize=10686560 CPUtime=3.65 cores=0,2,4,6
/proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5091 0 -1 1077944384 1301 0 0 0 323 42 0 0 20 0 16 0 13714449 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508929317904 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7309] ppid=7301 vsize=10686560 CPUtime=3.66 cores=0,2,4,6
/proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5091 0 -1 1077944384 1616 0 0 0 325 41 0 0 20 0 16 0 13714449 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508928265104 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7310] ppid=7301 vsize=10686560 CPUtime=3.64 cores=0,2,4,6
/proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5091 0 -1 1077944384 1875 0 0 0 322 42 0 0 20 0 16 0 13714449 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508927212304 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7311] ppid=7301 vsize=10686560 CPUtime=0.95 cores=0,2,4,6
/proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5091 0 -1 1077944384 2714 0 0 0 95 0 0 0 20 0 16 0 13714451 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508495178096 140508999961218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7312] ppid=7301 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13714451 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508494124064 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7313] ppid=7301 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 13714451 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508493071216 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7314] ppid=7301 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13714454 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508492019536 140508999968667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7315] ppid=7301 vsize=10686560 CPUtime=0.28 cores=0,2,4,6
/proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5091 0 -1 1077944384 1641 0 0 0 28 0 0 0 20 0 16 0 13714454 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508490967920 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7316] ppid=7301 vsize=10686560 CPUtime=0.28 cores=0,2,4,6
/proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5091 0 -1 1077944384 1057 0 0 0 28 0 0 0 20 0 16 0 13714454 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508489915120 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7317] ppid=7301 vsize=10686560 CPUtime=0.28 cores=0,2,4,6
/proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5091 0 -1 1077944384 1767 0 0 0 28 0 0 0 20 0 16 0 13714454 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508488862320 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7318] ppid=7301 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13714454 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508487809760 140508999960277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
[pid=7304/tid=7319] ppid=7301 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 16 0 13714458 10943037440 488942 18446744073709551615 4194304 4196468 140737062266032 140508486757040 140508999961218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38719488 140737062269362 140737062269515 140737062269515 140737062272975 0
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (KiB) 10686560
Child status: 0
Real time (s): 8.01728
CPU time (s): 19.5071
CPU user time (s): 17.6668
CPU system time (s): 1.84033
CPU usage (%): 243.313
Max. virtual memory (cumulated for all children) (KiB): 10686560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6668
system time used= 1.84033
maximum resident set size= 1956456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1926
involuntary context switches= 178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032472 second user time and 0.059818 second system time
The end