2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	12	20021	2520.1
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 (13802 MiB free)
  memory of node 1: 16384 MiB (15808 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399801-1568701008/watcher-4399801-1568701008 -o /tmp/evaluation-result-4399801-1568701008/solver-4399801-1568701008 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568700954-9021 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1009054672 HOME/instance-4399801-1568701008.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=9322, runsolver pid=9319
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 4.37 4.65 5.39 2/211 9343
/proc/meminfo: memFree=30303460/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28227396 memory=30080 CPUtime=0.12 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 5420 0 0 0 11 1 0 0 20 0 20 0 446365636 28904853504 7520 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7056849 7520 3154 1 0 7019032 0
[pid=9324/tid=9325] ppid=9322 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) R 9322 9322 8994 0 -1 4202560 3367 0 0 0 8 0 0 0 20 0 20 0 446365637 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571726543696 140571722329494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28227396 memory=140094851286656 CPUtime=0 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9329] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9329/stat : 9329 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571671779600 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9330] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9330/stat : 9330 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571670727824 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9331] ppid=9322 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9331/stat : 9331 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571669675024 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9332] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9332/stat : 9332 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571668622224 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9333] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9333/stat : 9333 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 7520 33554432000 4194304 4196468 140730628559024 140571667569424 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9334] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9334/stat : 9334 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365639 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570185951600 140571722328706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9335] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9335/stat : 9335 (java) S 9322 9322 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446365640 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570184897568 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9336] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9336/stat : 9336 (java) S 9322 9322 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446365640 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570183844720 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9337] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9337/stat : 9337 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570182793040 140571722336155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9338] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9338/stat : 9338 (java) S 9322 9322 8994 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570181741424 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9339] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9339/stat : 9339 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570180688624 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9340] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9340/stat : 9340 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570179635824 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9341] ppid=9322 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9324/task/9341/stat : 9341 (java) R 9322 9322 8994 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570178583024 140571722338906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9342] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9342/stat : 9342 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570177530464 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9343] ppid=9322 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9343/stat : 9343 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365643 28904853504 7520 33554432000 4194304 4196468 140730628559024 140570176477744 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31536 KiB

[startup+0.210734 s]*
/proc/loadavg: 4.37 4.65 5.39 2/211 9343
/proc/meminfo: memFree=30290332/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28227396 memory=41436 CPUtime=0.33 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 9051 0 0 0 30 3 0 0 20 0 20 0 446365636 28904853504 10359 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7056849 10359 3286 1 0 7019032 0
[pid=9324/tid=9325] ppid=9322 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) R 9322 9322 8994 0 -1 4202560 6200 0 0 0 18 2 0 0 20 0 20 0 446365637 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571726555008 140571722329494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28227396 memory=140094851296231 CPUtime=0 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9329] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9329/stat : 9329 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571671779600 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9330] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9330/stat : 9330 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571670727824 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9331] ppid=9322 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9331/stat : 9331 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571669675024 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9332] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9332/stat : 9332 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571668622224 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9333] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9333/stat : 9333 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28904853504 10359 33554432000 4194304 4196468 140730628559024 140571667569424 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9334] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9334/stat : 9334 (java) S 9322 9322 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446365639 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570185951600 140571722328706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9335] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9335/stat : 9335 (java) S 9322 9322 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446365640 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570184897568 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9336] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9336/stat : 9336 (java) S 9322 9322 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446365640 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570183844720 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9337] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9337/stat : 9337 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570182793040 140571722336155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9338] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9338/stat : 9338 (java) S 9322 9322 8994 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570181741424 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9339] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9339/stat : 9339 (java) S 9322 9322 8994 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570180688624 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9340] ppid=9322 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/9324/task/9340/stat : 9340 (java) R 9322 9322 8994 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570179635824 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9341] ppid=9322 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9324/task/9341/stat : 9341 (java) R 9322 9322 8994 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570178583024 140571714656103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9342] ppid=9322 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9342/stat : 9342 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365642 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570177530464 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9343] ppid=9322 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9343/stat : 9343 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365643 28904853504 10359 33554432000 4194304 4196468 140730628559024 140570176477744 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42892 KiB

[startup+0.310517 s]*
/proc/loadavg: 4.37 4.65 5.39 3/211 9343
/proc/meminfo: memFree=30283420/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28231652 memory=50188 CPUtime=0.52 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 10376 0 0 0 48 4 0 0 20 0 20 0 446365636 28909211648 12547 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7057913 12547 3350 1 0 7019032 0
[pid=9324/tid=9325] ppid=9322 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) R 9322 9322 8994 0 -1 4202560 7305 0 0 0 27 2 0 0 20 0 20 0 446365637 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571726548672 140571722339485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9329] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9329/stat : 9329 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571671779600 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9330] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9330/stat : 9330 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571670727824 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9331] ppid=9322 vsize=28231652 memory=140094719748783 CPUtime=0 cores=0-7
/proc/9324/task/9331/stat : 9331 (java) S 9322 9322 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571669675024 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9332] ppid=9322 vsize=28231652 memory=140094719751088 CPUtime=0 cores=0-7
/proc/9324/task/9332/stat : 9332 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571668622224 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9333] ppid=9322 vsize=28231652 memory=140094719753392 CPUtime=0 cores=0-7
/proc/9324/task/9333/stat : 9333 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28909211648 12547 33554432000 4194304 4196468 140730628559024 140571667569424 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9334] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9334/stat : 9334 (java) S 9322 9322 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446365639 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570185951600 140571722328706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9335] ppid=9322 vsize=28231652 memory=280189439520656 CPUtime=0 cores=0-7
/proc/9324/task/9335/stat : 9335 (java) S 9322 9322 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446365640 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570184897568 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9336] ppid=9322 vsize=28231652 memory=280189439518352 CPUtime=0 cores=0-7
/proc/9324/task/9336/stat : 9336 (java) S 9322 9322 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446365640 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570183844720 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9337] ppid=9322 vsize=28231652 memory=280189439525264 CPUtime=0 cores=0-7
/proc/9324/task/9337/stat : 9337 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570182793040 140571722336155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9338] ppid=9322 vsize=28231652 memory=280189439466544 CPUtime=0.02 cores=0-7
/proc/9324/task/9338/stat : 9338 (java) R 9322 9322 8994 0 -1 4202560 546 0 0 0 2 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570181722440 140571701564861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9339] ppid=9322 vsize=28231652 memory=280189439539088 CPUtime=0.02 cores=0-7
/proc/9324/task/9339/stat : 9339 (java) S 9322 9322 8994 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570180688624 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9340] ppid=9322 vsize=28231652 memory=280189439546000 CPUtime=0.03 cores=0-7
/proc/9324/task/9340/stat : 9340 (java) S 9322 9322 8994 0 -1 1077944384 307 0 0 0 3 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570179635824 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9341] ppid=9322 vsize=28231652 memory=280189439543696 CPUtime=0.12 cores=0-7
/proc/9324/task/9341/stat : 9341 (java) S 9322 9322 8994 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570178583024 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9342] ppid=9322 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9342/stat : 9342 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365642 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570177530464 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9343] ppid=9322 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9324/task/9343/stat : 9343 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365643 28909211648 12547 33554432000 4194304 4196468 140730628559024 140570176477744 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51644 KiB

[startup+0.701031 s]
/proc/loadavg: 4.37 4.65 5.39 6/211 9343
/proc/meminfo: memFree=30264056/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28233776 memory=93120 CPUtime=1.84 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 16043 0 0 0 176 8 0 0 20 0 20 0 446365636 28911386624 23280 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7058444 23280 3454 1 0 7019544 0
[pid=9324/tid=9325] ppid=9322 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) R 9322 9322 8994 0 -1 4202560 8749 0 0 0 63 4 0 0 20 0 20 0 446365637 28911386624 23280 33554432000 4194304 4196468 140730628559024 140571726554960 140571343875556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28233776 memory=140094719959920 CPUtime=0 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28911386624 23280 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446365638 28911386624 23280 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446365638 28911386624 23280 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0

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

[pid=9324/tid=9375] ppid=9322 vsize=28768336 memory=1456 CPUtime=2411.92 cores=0-7
/proc/9324/task/9375/stat : 9375 (java) R 9322 9322 8994 0 -1 4202560 105777 0 0 0 240831 361 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570161180808 140571351227793 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 19404.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2391280 KiB

[startup+2502.3 s]
/proc/loadavg: 7.95 8.12 8.03 9/219 9563
/proc/meminfo: memFree=27940036/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28768336 memory=2389824 CPUtime=19880.1 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 1456795 0 0 0 1986453 1559 0 0 20 0 28 0 446365636 29458776064 597456 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7192084 597456 3547 1 0 7153184 0
[pid=9324/tid=9325] ppid=9322 vsize=28768336 memory=1456 CPUtime=1.45 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) S 9322 9322 8994 0 -1 1077944384 9416 0 0 0 139 6 0 0 20 0 28 0 446365637 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571726558336 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.34 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 57276 0 0 0 1089 45 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.31 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 62475 0 0 0 1088 43 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.24 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 66347 0 0 0 1080 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9329] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.29 cores=0-7
/proc/9324/task/9329/stat : 9329 (java) S 9322 9322 8994 0 -1 1077944384 55846 0 0 0 1085 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571671779600 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9330] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.25 cores=0-7
/proc/9324/task/9330/stat : 9330 (java) S 9322 9322 8994 0 -1 1077944384 62218 0 0 0 1080 45 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571670727824 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9331] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.23 cores=0-7
/proc/9324/task/9331/stat : 9331 (java) S 9322 9322 8994 0 -1 1077944384 69178 0 0 0 1077 46 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571669675024 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9332] ppid=9322 vsize=28768336 memory=1456 CPUtime=11.35 cores=0-7
/proc/9324/task/9332/stat : 9332 (java) S 9322 9322 8994 0 -1 1077944384 59171 0 0 0 1089 46 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571668622224 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9333] ppid=9322 vsize=28768336 memory=6944656592455360604 CPUtime=11.24 cores=0-7
/proc/9324/task/9333/stat : 9333 (java) S 9322 9322 8994 0 -1 1077944384 62839 0 0 0 1080 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571667569424 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9334] ppid=9322 vsize=28768336 memory=1456 CPUtime=4.15 cores=0-7
/proc/9324/task/9334/stat : 9334 (java) S 9322 9322 8994 0 -1 1077944384 275920 0 0 0 326 89 0 0 20 0 28 0 446365639 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570185951600 140571722328706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9335] ppid=9322 vsize=28768336 memory=2389824 CPUtime=0 cores=0-7
/proc/9324/task/9335/stat : 9335 (java) S 9322 9322 8994 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446365640 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570184897632 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9336] ppid=9322 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/9324/task/9336/stat : 9336 (java) S 9322 9322 8994 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446365640 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570183844736 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9337] ppid=9322 vsize=28768336 memory=1552 CPUtime=0 cores=0-7
/proc/9324/task/9337/stat : 9337 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570182793040 140571722336155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9338] ppid=9322 vsize=28768336 memory=2020 CPUtime=2.98 cores=0-7
/proc/9324/task/9338/stat : 9338 (java) S 9322 9322 8994 0 -1 1077944384 16681 0 0 0 295 3 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570181741424 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9339] ppid=9322 vsize=28768336 memory=1432 CPUtime=2.94 cores=0-7
/proc/9324/task/9339/stat : 9339 (java) S 9322 9322 8994 0 -1 1077944384 21579 0 0 0 290 4 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570180688624 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9340] ppid=9322 vsize=28768336 memory=246232 CPUtime=2.81 cores=0-7
/proc/9324/task/9340/stat : 9340 (java) S 9322 9322 8994 0 -1 1077944384 18044 0 0 0 278 3 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570179635824 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9341] ppid=9322 vsize=28768336 memory=246237 CPUtime=0.93 cores=0-7
/proc/9324/task/9341/stat : 9341 (java) S 9322 9322 8994 0 -1 1077944384 13353 0 0 0 91 2 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570178583024 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9342] ppid=9322 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9324/task/9342/stat : 9342 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570177530464 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9343] ppid=9322 vsize=28768336 memory=6225991628535671703 CPUtime=0.84 cores=0-7
/proc/9324/task/9343/stat : 9343 (java) S 9322 9322 8994 0 -1 1077944384 10924 0 0 0 56 28 0 0 20 0 28 0 446365643 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570176477744 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9368] ppid=9322 vsize=28768336 memory=1456 CPUtime=2471.59 cores=0-7
/proc/9324/task/9368/stat : 9368 (java) R 9322 9322 8994 0 -1 4202560 76951 0 0 0 247059 100 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570160125872 140571351850480 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9369] ppid=9322 vsize=28768336 memory=1456 CPUtime=2472.1 cores=0-7
/proc/9324/task/9369/stat : 9369 (java) R 9322 9322 8994 0 -1 4202560 59815 0 0 0 247138 72 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570162233736 140571706656384 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9370] ppid=9322 vsize=28768336 memory=1456 CPUtime=2469.52 cores=0-7
/proc/9324/task/9370/stat : 9370 (java) R 9322 9322 8994 0 -1 4202560 80878 0 0 0 246852 100 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570163285952 140571351574555 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9371] ppid=9322 vsize=28768336 memory=2389824 CPUtime=2472.87 cores=0-7
/proc/9324/task/9371/stat : 9371 (java) R 9322 9322 8994 0 -1 4202560 72564 0 0 0 247141 146 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570165392384 140571353041178 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9372] ppid=9322 vsize=28768336 memory=5860 CPUtime=2470.6 cores=0-7
/proc/9324/task/9372/stat : 9372 (java) R 9322 9322 8994 0 -1 4202560 59688 0 0 0 246940 120 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570166444304 140571351228073 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9373] ppid=9322 vsize=28768336 memory=1544 CPUtime=2472.26 cores=0-7
/proc/9324/task/9373/stat : 9373 (java) R 9322 9322 8994 0 -1 4202560 61527 0 0 0 247124 102 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570164341800 140571351576326 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9374] ppid=9322 vsize=28768336 memory=1456 CPUtime=2470.91 cores=0-7
/proc/9324/task/9374/stat : 9374 (java) R 9322 9322 8994 0 -1 4202560 76099 0 0 0 246988 103 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570167499616 140571352217448 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9375] ppid=9322 vsize=28768336 memory=2389824 CPUtime=2470.99 cores=0-7
/proc/9324/task/9375/stat : 9375 (java) R 9322 9322 8994 0 -1 4202560 105955 0 0 0 246738 361 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570161180808 140571351227871 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 19880.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2391280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.04 8.13 8.04 10/219 9564
/proc/meminfo: memFree=27940216/32770624 swapFree=66998768/67108860
[pid=9322] ppid=9319 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9322/stat : 9322 (xcsp3-exec) S 9319 9322 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446365636 115843072 364 33554432000 4194304 5098028 140724731700496 140724731698600 140040412897916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140724731708277 140724731708521 140724731708521 140724731711434 0
/proc/9322/statm: 28282 364 305 221 0 87 0
[pid=9324] ppid=9322 vsize=28768336 memory=2389824 CPUtime=20020.4 cores=0-7
/proc/9324/stat : 9324 (java) S 9322 9322 8994 0 -1 1077944320 1457579 0 0 0 2000476 1561 0 0 20 0 28 0 446365636 29458776064 597456 33554432000 4194304 4196468 140730628559024 140730628541568 140571722317559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
/proc/9324/statm: 7192084 597456 3547 1 0 7153184 0
[pid=9324/tid=9325] ppid=9322 vsize=28768336 memory=1544 CPUtime=1.45 cores=0-7
/proc/9324/task/9325/stat : 9325 (java) S 9322 9322 8994 0 -1 1077944384 9416 0 0 0 139 6 0 0 20 0 28 0 446365637 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571726558336 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9326] ppid=9322 vsize=28768336 memory=776 CPUtime=11.43 cores=0-7
/proc/9324/task/9326/stat : 9326 (java) S 9322 9322 8994 0 -1 1077944384 57570 0 0 0 1098 45 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571674938000 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9327] ppid=9322 vsize=28768336 memory=1056 CPUtime=11.4 cores=0-7
/proc/9324/task/9327/stat : 9327 (java) S 9322 9322 8994 0 -1 1077944384 62478 0 0 0 1097 43 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571673885200 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9328] ppid=9322 vsize=28768336 memory=4126316290023845779 CPUtime=11.32 cores=0-7
/proc/9324/task/9328/stat : 9328 (java) S 9322 9322 8994 0 -1 1077944384 66355 0 0 0 1088 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571672832400 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9329] ppid=9322 vsize=28768336 memory=4140 CPUtime=11.38 cores=0-7
/proc/9324/task/9329/stat : 9329 (java) S 9322 9322 8994 0 -1 1077944384 55854 0 0 0 1094 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571671779600 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9330] ppid=9322 vsize=28768336 memory=1408 CPUtime=11.34 cores=0-7
/proc/9324/task/9330/stat : 9330 (java) S 9322 9322 8994 0 -1 1077944384 62250 0 0 0 1089 45 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571670727824 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9331] ppid=9322 vsize=28768336 memory=3688 CPUtime=11.32 cores=0-7
/proc/9324/task/9331/stat : 9331 (java) S 9322 9322 8994 0 -1 1077944384 69190 0 0 0 1086 46 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571669675024 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9332] ppid=9322 vsize=28768336 memory=1456 CPUtime=11.44 cores=0-7
/proc/9324/task/9332/stat : 9332 (java) S 9322 9322 8994 0 -1 1077944384 59233 0 0 0 1098 46 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571668622224 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9333] ppid=9322 vsize=28768336 memory=2389824 CPUtime=11.33 cores=0-7
/proc/9324/task/9333/stat : 9333 (java) S 9322 9322 8994 0 -1 1077944384 62855 0 0 0 1089 44 0 0 20 0 28 0 446365638 29458776064 597456 33554432000 4194304 4196468 140730628559024 140571667569424 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9334] ppid=9322 vsize=28768336 memory=1660 CPUtime=4.2 cores=0-7
/proc/9324/task/9334/stat : 9334 (java) S 9322 9322 8994 0 -1 1077944384 275957 0 0 0 331 89 0 0 20 0 28 0 446365639 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570185951600 140571722328706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9335] ppid=9322 vsize=28768336 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/9324/task/9335/stat : 9335 (java) S 9322 9322 8994 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446365640 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570184897632 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9336] ppid=9322 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9324/task/9336/stat : 9336 (java) S 9322 9322 8994 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446365640 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570183844736 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9337] ppid=9322 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9324/task/9337/stat : 9337 (java) S 9322 9322 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570182793040 140571722336155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9338] ppid=9322 vsize=28768336 memory=0 CPUtime=2.98 cores=0-7
/proc/9324/task/9338/stat : 9338 (java) S 9322 9322 8994 0 -1 1077944384 16683 0 0 0 295 3 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570181741424 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9339] ppid=9322 vsize=28768336 memory=0 CPUtime=2.94 cores=0-7
/proc/9324/task/9339/stat : 9339 (java) S 9322 9322 8994 0 -1 1077944384 21581 0 0 0 290 4 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570180688624 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9340] ppid=9322 vsize=28768336 memory=496 CPUtime=2.81 cores=0-7
/proc/9324/task/9340/stat : 9340 (java) S 9322 9322 8994 0 -1 1077944384 18046 0 0 0 278 3 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570179635824 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9341] ppid=9322 vsize=28768336 memory=1560 CPUtime=0.93 cores=0-7
/proc/9324/task/9341/stat : 9341 (java) S 9322 9322 8994 0 -1 1077944384 13355 0 0 0 91 2 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570178583024 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9342] ppid=9322 vsize=28768336 memory=932 CPUtime=0 cores=0-7
/proc/9324/task/9342/stat : 9342 (java) S 9322 9322 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446365642 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570177530464 140571722327765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9343] ppid=9322 vsize=28768336 memory=1980 CPUtime=0.84 cores=0-7
/proc/9324/task/9343/stat : 9343 (java) S 9322 9322 8994 0 -1 1077944384 10928 0 0 0 56 28 0 0 20 0 28 0 446365643 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570176477744 140571722328706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9368] ppid=9322 vsize=28768336 memory=2428 CPUtime=2488.89 cores=0-7
/proc/9324/task/9368/stat : 9368 (java) R 9322 9322 8994 0 -1 4202560 76990 0 0 0 248789 100 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570160129520 140571351574641 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9369] ppid=9322 vsize=28768336 memory=1580 CPUtime=2489.54 cores=0-7
/proc/9324/task/9369/stat : 9369 (java) R 9322 9322 8994 0 -1 4202560 59862 0 0 0 248882 72 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570162236232 140571351574739 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9370] ppid=9322 vsize=28768336 memory=908 CPUtime=2487.01 cores=0-7
/proc/9324/task/9370/stat : 9370 (java) R 9322 9322 8994 0 -1 4202560 80918 0 0 0 248600 101 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570163286088 140571353040177 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9371] ppid=9322 vsize=28768336 memory=1440 CPUtime=2490.37 cores=0-7
/proc/9324/task/9371/stat : 9371 (java) R 9322 9322 8994 0 -1 4202560 72590 0 0 0 248891 146 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570165391880 140571354561708 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9372] ppid=9322 vsize=28768336 memory=1760 CPUtime=2487.93 cores=0-7
/proc/9324/task/9372/stat : 9372 (java) R 9322 9322 8994 0 -1 4202560 59723 0 0 0 248672 121 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570166444256 140571351228329 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9373] ppid=9322 vsize=28768336 memory=111632 CPUtime=2489.76 cores=0-7
/proc/9324/task/9373/stat : 9373 (java) R 9322 9322 8994 0 -1 4202560 61563 0 0 0 248874 102 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570164338760 140571351227871 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9374] ppid=9322 vsize=28768336 memory=800 CPUtime=2488.41 cores=0-7
/proc/9324/task/9374/stat : 9374 (java) R 9322 9322 8994 0 -1 4202560 76142 0 0 0 248738 103 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570167496480 140571353639057 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
[pid=9324/tid=9375] ppid=9322 vsize=28768336 memory=4096 CPUtime=2488.43 cores=0-7
/proc/9324/task/9375/stat : 9375 (java) R 9322 9322 8994 0 -1 4202560 105989 0 0 0 248482 361 0 0 20 0 28 0 446365849 29458776064 597456 33554432000 4194304 4196468 140730628559024 140570161180240 140571353040003 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 39206912 140730628568042 140730628568214 140730628568214 140730628571087 0
Current children cumulated CPU time: 20020.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2391280 KiB

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

[startup+2520.04 s]
# the end of solver process 9322 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000782 s, system=0.001564 s

[startup+2520.1 s]
# the end of solver process 9324 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20005.3 s, system=15.6334 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): 2520.1
CPU time (s): 20021
CPU user time (s): 20005.3
CPU system time (s): 15.6334
CPU usage (%): 794.452
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2940356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20005.3
system time used= 15.6334
maximum resident set size= 2939928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1458388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287188
involuntary context switches= 241827


# summary of solver processes directly reported to runsolver:
#   pid: 9322,9324
#   total CPU time (s): 20021
#   total CPU user time (s): 20005.3
#   total CPU system time (s): 15.6334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4246 second user time and 27.2551 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399801

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
