2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT (TO)	33	1968.88	252.135
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13249 MiB free)
  memory of node 1: 16384 MiB (12343 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405081-1569003238/watcher-4405081-1569003238 -o /var/tmp/evaluation-result-4405081-1569003238/solver-4405081-1569003238 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 751171553 HOME/instance-4405081-1569003238.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6293, runsolver pid=6290


[startup+0.100111 s]*
/proc/loadavg: 7.77 7.15 6.87 2/213 6314
/proc/meminfo: memFree=26190636/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28227396 memory=28772 CPUtime=0.1 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 5675 0 0 0 9 1 0 0 20 0 20 0 476572455 28904853504 7193 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7056849 7193 3027 1 0 7019032 0
[pid=6295/tid=6296] ppid=6293 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 2945 0 -1 4202560 3786 0 0 0 7 1 0 0 20 0 20 0 476572455 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332574110032 140332569896093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28227396 memory=139707739825792 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6300] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332118432400 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6301] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332117379856 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6302] ppid=6293 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332116327312 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6303] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332115274768 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6304] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 7325 33554432000 4194304 4196468 140721769647600 140332114222224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6305] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572457 28904853504 7325 33554432000 4194304 4196468 140721769647600 140331686238192 140332569885314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6306] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572458 28904853504 7325 33554432000 4194304 4196468 140721769647600 140331685184416 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6307] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572458 28904853504 7325 33554432000 4194304 4196468 140721769647600 140331684131824 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6308] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572460 28904853504 7325 33554432000 4194304 4196468 140721769647600 140331683080400 140332569892763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6309] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 2945 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 476572461 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330626181616 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6310] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572461 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330625129072 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6311] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572461 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330624076528 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6312] ppid=6293 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 2945 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 476572461 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330623023984 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6313] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572462 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330621970656 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6314] ppid=6293 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572462 28904853504 7325 33554432000 4194304 4196468 140721769647600 140330620918192 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30228 KiB

[startup+0.210292 s]*
/proc/loadavg: 7.77 7.15 6.87 2/213 6314
/proc/meminfo: memFree=26178252/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28227396 memory=41032 CPUtime=0.31 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 9479 0 0 0 27 4 0 0 20 0 20 0 476572455 28904853504 10258 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7056849 10258 3276 1 0 7019032 0
[pid=6295/tid=6296] ppid=6293 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 2945 0 -1 4202560 6615 0 0 0 16 2 0 0 20 0 20 0 476572455 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332574109600 140332569896093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28227396 memory=139707739835615 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6300] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332118432400 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6301] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332117379856 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6302] ppid=6293 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332116327312 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6303] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332115274768 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6304] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572456 28904853504 10258 33554432000 4194304 4196468 140721769647600 140332114222224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6305] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572457 28904853504 10258 33554432000 4194304 4196468 140721769647600 140331686238192 140332569885314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6306] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572458 28904853504 10258 33554432000 4194304 4196468 140721769647600 140331685184416 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6307] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572458 28904853504 10258 33554432000 4194304 4196468 140721769647600 140331684131824 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6308] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572460 28904853504 10258 33554432000 4194304 4196468 140721769647600 140331683080400 140332569892763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6309] ppid=6293 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 2945 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 476572461 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330626181616 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6310] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 2945 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 476572461 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330625129072 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6311] ppid=6293 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 2945 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 476572461 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330624076528 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6312] ppid=6293 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) R 6293 6293 2945 0 -1 4202560 737 0 0 0 6 0 0 0 20 0 20 0 476572461 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330623023984 140332569895514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6313] ppid=6293 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572462 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330621970656 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6314] ppid=6293 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572462 28904853504 10258 33554432000 4194304 4196468 140721769647600 140330620918192 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42488 KiB

[startup+0.309994 s]*
/proc/loadavg: 7.77 7.15 6.87 3/213 6314
/proc/meminfo: memFree=26173156/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28231652 memory=46836 CPUtime=0.49 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 10623 0 0 0 45 4 0 0 20 0 20 0 476572455 28909211648 11709 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7057913 11709 3309 1 0 7019032 0
[pid=6295/tid=6296] ppid=6293 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 2945 0 -1 4202560 7679 0 0 0 26 3 0 0 20 0 20 0 476572455 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332574098672 140332569886102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6300] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332118432400 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6301] ppid=6293 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332117379856 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6302] ppid=6293 vsize=28231652 memory=139707635823535 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332116327312 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6303] ppid=6293 vsize=28231652 memory=139707635825840 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332115274768 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6304] ppid=6293 vsize=28231652 memory=139707635828144 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572456 28909211648 12221 33554432000 4194304 4196468 140721769647600 140332114222224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6305] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 2945 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476572457 28909211648 12221 33554432000 4194304 4196468 140721769647600 140331686238192 140332569885314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6306] ppid=6293 vsize=28231652 memory=279415271663248 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572458 28909211648 12221 33554432000 4194304 4196468 140721769647600 140331685184416 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6307] ppid=6293 vsize=28231652 memory=279415271670160 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572458 28909211648 12221 33554432000 4194304 4196468 140721769647600 140331684131824 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6308] ppid=6293 vsize=28231652 memory=279415271611440 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572460 28909211648 12221 33554432000 4194304 4196468 140721769647600 140331683080400 140332569892763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6309] ppid=6293 vsize=28231652 memory=279415271683984 CPUtime=0.02 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 2945 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 476572461 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330626181616 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6310] ppid=6293 vsize=28231652 memory=279415271690896 CPUtime=0.02 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 2945 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 476572461 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330625129072 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6311] ppid=6293 vsize=28231652 memory=279415271688592 CPUtime=0.02 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 2945 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 476572461 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330624076528 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6312] ppid=6293 vsize=28231652 memory=279415271704752 CPUtime=0.11 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) R 6293 6293 2945 0 -1 4202560 801 0 0 0 11 0 0 0 20 0 20 0 476572461 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330623023984 140332569886102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6313] ppid=6293 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572462 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330621970656 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6314] ppid=6293 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572462 28909211648 12221 33554432000 4194304 4196468 140721769647600 140330620918192 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48292 KiB

[startup+0.701024 s]
/proc/loadavg: 7.77 7.15 6.87 4/213 6314
/proc/meminfo: memFree=26140452/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28233776 memory=112132 CPUtime=1.88 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 14662 0 0 0 181 7 0 0 20 0 20 0 476572455 28911386624 28033 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7058444 28033 3430 1 0 7019544 0
[pid=6295/tid=6296] ppid=6293 vsize=28233776 memory=279415272062640 CPUtime=0.67 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 2945 0 -1 4202560 8300 0 0 0 63 4 0 0 20 0 20 0 476572455 28911386624 28033 33554432000 4194304 4196468 140721769647600 140332574108192 140332171325791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28233776 memory=139707636032368 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572456 28911386624 28033 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28911386624 28033 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572456 28911386624 28033 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0

################
# More data... #
################

[pid=6295/tid=6363] ppid=6293 vsize=28768336 memory=6072 CPUtime=145.46 cores=0-7
/proc/6295/task/6363/stat : 6363 (java) R 6293 6293 2945 0 -1 4202560 1717 0 0 0 14543 3 0 0 20 0 28 0 476574068 29458776064 1553706 33554432000 4194304 4196468 140721769647600 140330609831912 140332177570342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 1252.54 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6216280 KiB

[startup+222.31 s]
/proc/loadavg: 8.14 7.73 7.16 9/219 6374
/proc/meminfo: memFree=17908512/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28768336 memory=8299944 CPUtime=1731.24 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 133047 0 0 0 172693 431 0 0 20 0 28 0 476572455 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7192084 2074986 3533 1 0 7153184 0
[pid=6295/tid=6296] ppid=6293 vsize=28768336 memory=3616 CPUtime=6.92 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) S 6293 6293 2945 0 -1 1077944384 12015 0 0 0 666 26 0 0 20 0 28 0 476572455 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332574114944 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28768336 memory=55636 CPUtime=0.59 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1375 0 0 0 40 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28768336 memory=33 CPUtime=0.58 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 837 0 0 0 41 17 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28768336 memory=304665876802843908 CPUtime=0.59 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 1441 0 0 0 43 16 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6300] ppid=6293 vsize=28768336 memory=1456 CPUtime=0.61 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 2945 0 -1 1077944384 813 0 0 0 42 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332118432400 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6301] ppid=6293 vsize=28768336 memory=8297636 CPUtime=0.59 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 2945 0 -1 1077944384 896 0 0 0 41 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332117379856 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6302] ppid=6293 vsize=28768336 memory=56 CPUtime=0.57 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 2945 0 -1 1077944384 2083 0 0 0 39 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332116327312 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6303] ppid=6293 vsize=28768336 memory=59 CPUtime=0.59 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 2945 0 -1 1077944384 1297 0 0 0 40 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332115274768 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6304] ppid=6293 vsize=28768336 memory=1764 CPUtime=0.58 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 2945 0 -1 1077944384 1290 0 0 0 40 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332114222224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6305] ppid=6293 vsize=28768336 memory=111632 CPUtime=0.04 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 2945 0 -1 1077944384 5062 0 0 0 3 1 0 0 20 0 28 0 476572457 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331686238192 140332569885314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6306] ppid=6293 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 2945 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476572458 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331685184480 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6307] ppid=6293 vsize=28768336 memory=8297636 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 2945 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476572458 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331684131840 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6308] ppid=6293 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476572460 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331683080400 140332569892763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6309] ppid=6293 vsize=28768336 memory=1456 CPUtime=3.94 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 2945 0 -1 1077944384 11240 0 0 0 392 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330626181616 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6310] ppid=6293 vsize=28768336 memory=8297636 CPUtime=4.03 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 2945 0 -1 1077944384 14593 0 0 0 401 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330625129072 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6311] ppid=6293 vsize=28768336 memory=8297636 CPUtime=3.85 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 2945 0 -1 1077944384 13286 0 0 0 383 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330624076528 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6312] ppid=6293 vsize=28768336 memory=1456 CPUtime=1.08 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 2945 0 -1 1077944384 9483 0 0 0 105 3 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330623023984 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6313] ppid=6293 vsize=28768336 memory=8297636 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476572462 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330621970656 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6314] ppid=6293 vsize=28768336 memory=1056 CPUtime=0.1 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 2945 0 -1 1077944384 701 0 0 0 5 5 0 0 20 0 28 0 476572462 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330620918192 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6356] ppid=6293 vsize=28768336 memory=1568 CPUtime=205.84 cores=0-7
/proc/6295/task/6356/stat : 6356 (java) R 6293 6293 2945 0 -1 4202560 16658 0 0 0 20515 69 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330299897928 140332176946095 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6357] ppid=6293 vsize=28768336 memory=3616 CPUtime=205.6 cores=0-7
/proc/6295/task/6357/stat : 6357 (java) R 6293 6293 2945 0 -1 4202560 1885 0 0 0 20559 1 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330608779832 140332170553015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6358] ppid=6293 vsize=28768336 memory=55636 CPUtime=205.31 cores=0-7
/proc/6295/task/6358/stat : 6358 (java) R 6293 6293 2945 0 -1 4202560 14201 0 0 0 20435 96 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330296741600 140332169222398 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6359] ppid=6293 vsize=28768336 memory=988 CPUtime=205.71 cores=0-7
/proc/6295/task/6359/stat : 6359 (java) R 6293 6293 2945 0 -1 4202560 10779 0 0 0 20521 50 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330298850208 140332177152064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6360] ppid=6293 vsize=28768336 memory=2024 CPUtime=205.75 cores=0-7
/proc/6295/task/6360/stat : 6360 (java) R 6293 6293 2945 0 -1 4202560 1416 0 0 0 20573 2 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330611937848 140332177570310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6361] ppid=6293 vsize=28768336 memory=3616 CPUtime=202.97 cores=0-7
/proc/6295/task/6361/stat : 6361 (java) R 6293 6293 2945 0 -1 4202560 2344 0 0 0 20293 4 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330297794856 140332177570241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6362] ppid=6293 vsize=28768336 memory=55636 CPUtime=205.45 cores=0-7
/proc/6295/task/6362/stat : 6362 (java) R 6293 6293 2945 0 -1 4202560 1357 0 0 0 20544 1 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330610884792 140332169222296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6363] ppid=6293 vsize=28768336 memory=988 CPUtime=205.44 cores=0-7
/proc/6295/task/6363/stat : 6363 (java) R 6293 6293 2945 0 -1 4202560 2317 0 0 0 20539 5 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330609831448 140332177199202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 1731.24 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8301400 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.004 s]*
/proc/loadavg: 8.15 7.77 7.19 9/219 6377
/proc/meminfo: memFree=17907104/32770624 swapFree=67001832/67108860
[pid=6293] ppid=6290 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476572454 115843072 364 33554432000 4194304 5098028 140724664690896 140724664689000 140342441607804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29581312 140724664693592 140724664693850 140724664693850 140724664696774 0
/proc/6293/statm: 28282 364 305 221 0 87 0
[pid=6295] ppid=6293 vsize=28768336 memory=8299944 CPUtime=1968.18 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 2945 0 -1 1077944320 141820 0 0 0 196362 456 0 0 20 0 28 0 476572455 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140721769630144 140332569874167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
/proc/6295/statm: 7192084 2074986 3533 1 0 7153184 0
[pid=6295/tid=6296] ppid=6293 vsize=28768336 memory=8112282956445269571 CPUtime=6.92 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) S 6293 6293 2945 0 -1 1077944384 12015 0 0 0 666 26 0 0 20 0 28 0 476572455 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332574114944 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6297] ppid=6293 vsize=28768336 memory=4872558044660077418 CPUtime=0.59 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 2945 0 -1 1077944384 1375 0 0 0 40 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332489726224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6298] ppid=6293 vsize=28768336 memory=8112282956445269571 CPUtime=0.58 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 2945 0 -1 1077944384 837 0 0 0 41 17 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332488673680 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6299] ppid=6293 vsize=28768336 memory=1456 CPUtime=0.59 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 2945 0 -1 1077944384 1441 0 0 0 43 16 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332487621136 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6300] ppid=6293 vsize=28768336 memory=1456 CPUtime=0.61 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 2945 0 -1 1077944384 813 0 0 0 42 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332118432400 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6301] ppid=6293 vsize=28768336 memory=3616 CPUtime=0.59 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 2945 0 -1 1077944384 896 0 0 0 41 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332117379856 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6302] ppid=6293 vsize=28768336 memory=8112282956445269571 CPUtime=0.57 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 2945 0 -1 1077944384 2083 0 0 0 39 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332116327312 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6303] ppid=6293 vsize=28768336 memory=636 CPUtime=0.59 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 2945 0 -1 1077944384 1297 0 0 0 40 19 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332115274768 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6304] ppid=6293 vsize=28768336 memory=2836 CPUtime=0.58 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 2945 0 -1 1077944384 1290 0 0 0 40 18 0 0 20 0 28 0 476572456 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140332114222224 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6305] ppid=6293 vsize=28768336 memory=1056 CPUtime=0.04 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 2945 0 -1 1077944384 5114 0 0 0 3 1 0 0 20 0 28 0 476572457 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331686238192 140332569885314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6306] ppid=6293 vsize=28768336 memory=1568 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 2945 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476572458 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331685184480 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6307] ppid=6293 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 2945 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476572458 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331684131840 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6308] ppid=6293 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476572460 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140331683080400 140332569892763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6309] ppid=6293 vsize=28768336 memory=12040 CPUtime=3.96 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 2945 0 -1 1077944384 12354 0 0 0 394 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330626181616 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6310] ppid=6293 vsize=28768336 memory=2120 CPUtime=4.06 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 2945 0 -1 1077944384 15298 0 0 0 404 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330625129072 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6311] ppid=6293 vsize=28768336 memory=30112 CPUtime=3.87 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 2945 0 -1 1077944384 13529 0 0 0 385 2 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330624076528 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6312] ppid=6293 vsize=28768336 memory=1556 CPUtime=1.08 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 2945 0 -1 1077944384 9946 0 0 0 105 3 0 0 20 0 28 0 476572461 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330623023984 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6313] ppid=6293 vsize=28768336 memory=500 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476572462 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330621970656 140332569884373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6314] ppid=6293 vsize=28768336 memory=932 CPUtime=0.1 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 2945 0 -1 1077944384 816 0 0 0 5 5 0 0 20 0 28 0 476572462 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330620918192 140332569885314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6356] ppid=6293 vsize=28768336 memory=1824 CPUtime=235.49 cores=0-7
/proc/6295/task/6356/stat : 6356 (java) R 6293 6293 2945 0 -1 4202560 18327 0 0 0 23471 78 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330299898440 140332176945870 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6357] ppid=6293 vsize=28768336 memory=2120 CPUtime=234.65 cores=0-7
/proc/6295/task/6357/stat : 6357 (java) R 6293 6293 2945 0 -1 4202560 2010 0 0 0 23464 1 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330608779320 140332177545665 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6358] ppid=6293 vsize=28768336 memory=30112 CPUtime=235 cores=0-7
/proc/6295/task/6358/stat : 6358 (java) R 6293 6293 2945 0 -1 4202560 16556 0 0 0 23395 105 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330296741688 140332170552713 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6359] ppid=6293 vsize=28768336 memory=1556 CPUtime=235.4 cores=0-7
/proc/6295/task/6359/stat : 6359 (java) R 6293 6293 2945 0 -1 4202560 11899 0 0 0 23484 56 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330298847544 140332170367049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6360] ppid=6293 vsize=28768336 memory=500 CPUtime=235.44 cores=0-7
/proc/6295/task/6360/stat : 6360 (java) R 6293 6293 2945 0 -1 4202560 1503 0 0 0 23542 2 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330611937600 140332177570342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6361] ppid=6293 vsize=28768336 memory=932 CPUtime=232.67 cores=0-7
/proc/6295/task/6361/stat : 6361 (java) R 6293 6293 2945 0 -1 4202560 2847 0 0 0 23263 4 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330297794840 140332177570675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6362] ppid=6293 vsize=28768336 memory=1824 CPUtime=235.15 cores=0-7
/proc/6295/task/6362/stat : 6362 (java) R 6293 6293 2945 0 -1 4202560 1444 0 0 0 23514 1 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330610884792 140332170552707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
[pid=6295/tid=6363] ppid=6293 vsize=28768336 memory=1656 CPUtime=235.1 cores=0-7
/proc/6295/task/6363/stat : 6363 (java) R 6293 6293 2945 0 -1 4202560 2452 0 0 0 23505 5 0 0 20 0 28 0 476574068 29458776064 2074986 33554432000 4194304 4196468 140721769647600 140330609831912 140332177570269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13783040 140721769653212 140721769653387 140721769653387 140721769656271 0
Current children cumulated CPU time: 1968.18 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8301400 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.039 s]
# the end of solver process 6293 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00162 s, system=0.00081 s

[startup+252.135 s]
# the end of solver process 6295 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1964.27 s, system=4.61159 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.135
CPU time (s): 1968.88
CPU user time (s): 1964.27
CPU system time (s): 4.61159
CPU usage (%): 780.882
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 8301400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1964.27
system time used= 4.61159
maximum resident set size= 8301732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142887
page faults= 0
swaps= 0
block input operations= 8
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12065
involuntary context switches= 23604


# summary of solver processes directly reported to runsolver:
#   pid: 6293,6295
#   total CPU time (s): 1968.88
#   total CPU user time (s): 1964.27
#   total CPU system time (s): 4.61159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20148 second user time and 3.16702 second system time

The end
Name	GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM	2a724879a45d3456306f221189212969
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	1964.89
Satisfiable
(Un)Satisfiability was proved
Number of variables	1089
Number of constraints	34849
Number of domains	1
Minimum domain size	1089
Maximum domain size	1089
Distribution of domain sizes	[{"size":1089,"count":1089}]
Minimum variable degree	65
Maximum variable degree	66
Distribution of variable degrees	[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity	2
Maximum constraint arity	708
Distribution of constraint arities	[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	34848
Distribution of constraint types	[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4405081

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
