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-06-14 parallel	SAT (TO)	33	20016	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 (14569 MiB free)
  memory of node 1: 16384 MiB (15632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394621-1568419369/watcher-4394621-1568419369 -o /tmp/evaluation-result-4394621-1568419369/solver-4394621-1568419369 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568417381-28714 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1459680313 HOME/instance-4394621-1568419369.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=29039, runsolver pid=29036
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 8.12 8.13 7.25 3/213 29060
/proc/meminfo: memFree=30909576/32770624 swapFree=66967004/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28227388 memory=28916 CPUtime=0.13 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 5708 0 0 0 11 2 0 0 20 0 20 0 418203749 28904845312 7229 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7056847 7229 3117 1 0 7019032 0
[pid=29041/tid=29042] ppid=29039 vsize=28227388 memory=7682467446991526555 CPUtime=0.09 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) R 29039 29039 28687 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 418203749 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639683875648 139639679655318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28227388 memory=732369786162252773 CPUtime=0 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28227388 memory=139647824799360 CPUtime=0 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29046] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29046/stat : 29046 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639596338064 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29047] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29047/stat : 29047 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639595285008 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29048] ppid=29039 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29041/task/29048/stat : 29048 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639594232464 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29049] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29049/stat : 29049 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639593179408 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29050] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29050/stat : 29050 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 7229 33554432000 4194304 4196468 140733767468096 139639592126864 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29051] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29051/stat : 29051 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638795774704 139639679654530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29052] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29052/stat : 29052 (java) S 29039 29039 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638794720928 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29053] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29053/stat : 29053 (java) S 29039 29039 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638793667824 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29054] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29054/stat : 29054 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638792616400 139639679661979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29055] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29055/stat : 29055 (java) S 29039 29039 28687 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638791563504 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29056] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29056/stat : 29056 (java) R 29039 29039 28687 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638790510960 139639679654530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29057] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29057/stat : 29057 (java) R 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638789457904 139639679654530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29058] ppid=29039 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29041/task/29058/stat : 29058 (java) R 29039 29039 28687 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638788405360 139639658241985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29059] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29059/stat : 29059 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638787353568 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29060] ppid=29039 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29041/task/29060/stat : 29060 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 7229 33554432000 4194304 4196468 140733767468096 139638786301104 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30372 KiB

[startup+0.210571 s]*
/proc/loadavg: 8.12 8.13 7.25 2/213 29060
/proc/meminfo: memFree=30896376/32770624 swapFree=66967004/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28227388 memory=41020 CPUtime=0.34 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 9526 0 0 0 30 4 0 0 20 0 20 0 418203749 28904845312 10255 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7056847 10255 3270 1 0 7019032 0
[pid=29041/tid=29042] ppid=29039 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) R 29039 29039 28687 0 -1 1077944384 6636 0 0 0 17 2 0 0 20 0 20 0 418203749 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639683878080 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28227388 memory=279295532312312 CPUtime=0 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28227388 memory=139647824799360 CPUtime=0 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29046] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29046/stat : 29046 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639596338064 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29047] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29047/stat : 29047 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639595285008 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29048] ppid=29039 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29041/task/29048/stat : 29048 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639594232464 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29049] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29049/stat : 29049 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639593179408 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29050] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29050/stat : 29050 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28904845312 10255 33554432000 4194304 4196468 140733767468096 139639592126864 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29051] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29051/stat : 29051 (java) S 29039 29039 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638795774704 139639679654530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29052] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29052/stat : 29052 (java) S 29039 29039 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638794720928 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29053] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29053/stat : 29053 (java) S 29039 29039 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203752 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638793667824 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29054] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29054/stat : 29054 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638792616400 139639679661979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29055] ppid=29039 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29041/task/29055/stat : 29055 (java) S 29039 29039 28687 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638791563504 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29056] ppid=29039 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29041/task/29056/stat : 29056 (java) S 29039 29039 28687 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638790510960 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29057] ppid=29039 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29041/task/29057/stat : 29057 (java) S 29039 29039 28687 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638789457904 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29058] ppid=29039 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/29041/task/29058/stat : 29058 (java) R 29039 29039 28687 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638788405360 139639663830730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29059] ppid=29039 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29059/stat : 29059 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638787353568 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29060] ppid=29039 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29041/task/29060/stat : 29060 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28904845312 10255 33554432000 4194304 4196468 140733767468096 139638786301104 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42476 KiB

[startup+0.310538 s]*
/proc/loadavg: 8.12 8.13 7.25 3/213 29060
/proc/meminfo: memFree=30891756/32770624 swapFree=66967004/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28231644 memory=49596 CPUtime=0.51 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 10677 0 0 0 45 6 0 0 20 0 20 0 418203749 28909203456 12399 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7057911 12399 3352 1 0 7019032 0
[pid=29041/tid=29042] ppid=29039 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) R 29039 29039 28687 0 -1 4202560 7664 0 0 0 25 4 0 0 20 0 20 0 418203749 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639683882096 139639663687013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29046] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29046/stat : 29046 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639596338064 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29047] ppid=29039 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/29041/task/29047/stat : 29047 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639595285008 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29048] ppid=29039 vsize=28231644 memory=139647707607983 CPUtime=0 cores=0-7
/proc/29041/task/29048/stat : 29048 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639594232464 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29049] ppid=29039 vsize=28231644 memory=139647707610288 CPUtime=0 cores=0-7
/proc/29041/task/29049/stat : 29049 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639593179408 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29050] ppid=29039 vsize=28231644 memory=139647707612592 CPUtime=0 cores=0-7
/proc/29041/task/29050/stat : 29050 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28909203456 12399 33554432000 4194304 4196468 140733767468096 139639592126864 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29051] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29051/stat : 29051 (java) S 29039 29039 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203752 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638795774704 139639679654530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29052] ppid=29039 vsize=28231644 memory=279295415232144 CPUtime=0 cores=0-7
/proc/29041/task/29052/stat : 29052 (java) S 29039 29039 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203752 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638794720928 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29053] ppid=29039 vsize=28231644 memory=279295415239056 CPUtime=0 cores=0-7
/proc/29041/task/29053/stat : 29053 (java) S 29039 29039 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203752 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638793667824 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29054] ppid=29039 vsize=28231644 memory=279295415180336 CPUtime=0 cores=0-7
/proc/29041/task/29054/stat : 29054 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638792616400 139639679661979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29055] ppid=29039 vsize=28231644 memory=279295415252880 CPUtime=0.01 cores=0-7
/proc/29041/task/29055/stat : 29055 (java) R 29039 29039 28687 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638791563504 139639659298609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29056] ppid=29039 vsize=28231644 memory=279295415259792 CPUtime=0.03 cores=0-7
/proc/29041/task/29056/stat : 29056 (java) S 29039 29039 28687 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638790510960 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29057] ppid=29039 vsize=28231644 memory=279295415257488 CPUtime=0.02 cores=0-7
/proc/29041/task/29057/stat : 29057 (java) R 29039 29039 28687 0 -1 4202560 75 0 0 0 2 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638789458000 139639659298304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29058] ppid=29039 vsize=28231644 memory=279295415273648 CPUtime=0.12 cores=0-7
/proc/29041/task/29058/stat : 29058 (java) S 29039 29039 28687 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638788405360 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29059] ppid=29039 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29059/stat : 29059 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638787353568 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29060] ppid=29039 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/29041/task/29060/stat : 29060 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203755 28909203456 12399 33554432000 4194304 4196468 140733767468096 139638786301104 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51052 KiB

[startup+0.7009 s]
/proc/loadavg: 8.12 8.13 7.25 4/213 29060
/proc/meminfo: memFree=30860768/32770624 swapFree=66967004/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28233768 memory=110936 CPUtime=1.86 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 14778 0 0 0 178 8 0 0 20 0 20 0 418203749 28911378432 27734 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7058442 27734 3437 1 0 7019544 0
[pid=29041/tid=29042] ppid=29039 vsize=28233768 memory=279295415568512 CPUtime=0.67 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) R 29039 29039 28687 0 -1 4202560 8329 0 0 0 62 5 0 0 20 0 20 0 418203749 28911378432 27734 33554432000 4194304 4196468 140733767468096 139639683880376 139639272132759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28233768 memory=5007931868294 CPUtime=0 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203750 28911378432 27734 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203750 28911378432 27734 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203750 28911378432 27734 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0

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

[pid=29041/tid=29100] ppid=29039 vsize=28768328 memory=716 CPUtime=2405.85 cores=0-7
/proc/29041/task/29100/stat : 29100 (java) R 29039 29039 28687 0 -1 4202560 16781 0 0 0 240555 30 0 0 20 0 28 0 418205044 29458767872 423060 33554432000 4194304 4196468 140733767468096 139638783786352 139639278818916 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 19397.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1693696 KiB

[startup+2502.3 s]
/proc/loadavg: 8.31 8.52 8.37 9/220 29289
/proc/meminfo: memFree=29326420/32770624 swapFree=66967020/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28768328 memory=1602980 CPUtime=19874.7 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 891695 0 0 0 1985587 1880 0 0 20 0 28 0 418203749 29458767872 400745 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7192082 400745 3547 1 0 7153184 0
[pid=29041/tid=29042] ppid=29039 vsize=28768328 memory=1609136 CPUtime=7.05 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) S 29039 29039 28687 0 -1 1077944384 12221 0 0 0 676 29 0 0 20 0 28 0 418203749 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639683884160 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28768328 memory=1456 CPUtime=10.32 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 28117 0 0 0 978 54 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28768328 memory=1605032 CPUtime=10.31 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 26929 0 0 0 981 50 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28768328 memory=1456 CPUtime=10.34 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 29113 0 0 0 980 54 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29046] ppid=29039 vsize=28768328 memory=7739552930507809896 CPUtime=10.14 cores=0-7
/proc/29041/task/29046/stat : 29046 (java) S 29039 29039 28687 0 -1 1077944384 25597 0 0 0 963 51 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639596338064 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29047] ppid=29039 vsize=28768328 memory=5435819265 CPUtime=10.25 cores=0-7
/proc/29041/task/29047/stat : 29047 (java) S 29039 29039 28687 0 -1 1077944384 30301 0 0 0 969 56 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639595285008 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29048] ppid=29039 vsize=28768328 memory=279295417375520 CPUtime=10.28 cores=0-7
/proc/29041/task/29048/stat : 29048 (java) S 29039 29039 28687 0 -1 1077944384 27005 0 0 0 974 54 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639594232464 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29049] ppid=29039 vsize=28768328 memory=8086001343277787238 CPUtime=10.26 cores=0-7
/proc/29041/task/29049/stat : 29049 (java) S 29039 29039 28687 0 -1 1077944384 25763 0 0 0 974 52 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639593179408 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29050] ppid=29039 vsize=28768328 memory=1456 CPUtime=10.21 cores=0-7
/proc/29041/task/29050/stat : 29050 (java) S 29039 29039 28687 0 -1 1077944384 24667 0 0 0 969 52 0 0 20 0 28 0 418203750 29458767872 400745 33554432000 4194304 4196468 140733767468096 139639592126864 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29051] ppid=29039 vsize=28768328 memory=1605032 CPUtime=5.19 cores=0-7
/proc/29041/task/29051/stat : 29051 (java) S 29039 29039 28687 0 -1 1077944384 101384 0 0 0 244 275 0 0 20 0 28 0 418203752 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638795774704 139639679654530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29052] ppid=29039 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/29041/task/29052/stat : 29052 (java) S 29039 29039 28687 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418203752 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638794720992 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29053] ppid=29039 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/29041/task/29053/stat : 29053 (java) S 29039 29039 28687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418203752 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638793667840 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29054] ppid=29039 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/29041/task/29054/stat : 29054 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638792616400 139639679661979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29055] ppid=29039 vsize=28768328 memory=1611700 CPUtime=6.96 cores=0-7
/proc/29041/task/29055/stat : 29055 (java) S 29039 29039 28687 0 -1 1077944384 39382 0 0 0 688 8 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638791563504 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29056] ppid=29039 vsize=28768328 memory=3620 CPUtime=6.98 cores=0-7
/proc/29041/task/29056/stat : 29056 (java) S 29039 29039 28687 0 -1 1077944384 38835 0 0 0 691 7 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638790510960 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29057] ppid=29039 vsize=28768328 memory=3620 CPUtime=6.67 cores=0-7
/proc/29041/task/29057/stat : 29057 (java) S 29039 29039 28687 0 -1 1077944384 35649 0 0 0 658 9 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638789457904 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29058] ppid=29039 vsize=28768328 memory=39612 CPUtime=1.48 cores=0-7
/proc/29041/task/29058/stat : 29058 (java) S 29039 29039 28687 0 -1 1077944384 22151 0 0 0 143 5 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638788405360 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29059] ppid=29039 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/29041/task/29059/stat : 29059 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638787353568 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29060] ppid=29039 vsize=28768328 memory=1620420 CPUtime=1.02 cores=0-7
/proc/29041/task/29060/stat : 29060 (java) S 29039 29039 28687 0 -1 1077944384 6457 0 0 0 28 74 0 0 20 0 28 0 418203755 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638786301104 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29093] ppid=29039 vsize=28768328 memory=1605032 CPUtime=2464.48 cores=0-7
/proc/29041/task/29093/stat : 29093 (java) R 29039 29039 28687 0 -1 4202560 95055 0 0 0 246182 266 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637712286928 139639279223664 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29094] ppid=29039 vsize=28768328 memory=288230583166042426 CPUtime=2470.23 cores=0-7
/proc/29041/task/29094/stat : 29094 (java) R 29039 29039 28687 0 -1 4202560 17646 0 0 0 246995 28 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637714392088 139639278887808 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29095] ppid=29039 vsize=28768328 memory=1456 CPUtime=2467.3 cores=0-7
/proc/29041/task/29095/stat : 29095 (java) R 29039 29039 28687 0 -1 4202560 152883 0 0 0 246391 339 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637718601608 139639273139868 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29096] ppid=29039 vsize=28768328 memory=1612724 CPUtime=2463.81 cores=0-7
/proc/29041/task/29096/stat : 29096 (java) R 29039 29039 28687 0 -1 4202560 79231 0 0 0 246013 368 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637716496112 139639273792586 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29097] ppid=29039 vsize=28768328 memory=1456 CPUtime=2461.85 cores=0-7
/proc/29041/task/29097/stat : 29097 (java) R 29039 29039 28687 0 -1 4202560 13772 0 0 0 246165 20 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637717548792 139639278818530 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29098] ppid=29039 vsize=28768328 memory=1605032 CPUtime=2463.32 cores=0-7
/proc/29041/task/29098/stat : 29098 (java) R 29039 29039 28687 0 -1 4202560 17748 0 0 0 246289 43 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637715443624 139639278818844 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29099] ppid=29039 vsize=28768328 memory=6791534058613427641 CPUtime=2468.18 cores=0-7
/proc/29041/task/29099/stat : 29099 (java) R 29039 29039 28687 0 -1 4202560 20066 0 0 0 246794 24 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139637713339096 139639279378231 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29100] ppid=29039 vsize=28768328 memory=1456 CPUtime=2464.98 cores=0-7
/proc/29041/task/29100/stat : 29100 (java) R 29039 29039 28687 0 -1 4202560 16881 0 0 0 246467 31 0 0 20 0 28 0 418205044 29458767872 400745 33554432000 4194304 4196468 140733767468096 139638783783608 139639278819154 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 19874.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1604436 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.23 8.49 8.37 9/220 29289
/proc/meminfo: memFree=29344952/32770624 swapFree=66967020/67108860
[pid=29039] ppid=29036 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29039/stat : 29039 (xcsp3-exec) S 29036 29039 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203749 115843072 364 33554432000 4194304 5098028 140735237711968 140735237710072 140714959639164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31186944 140735237718901 140735237719145 140735237719145 140735237722058 0
/proc/29039/statm: 28282 364 305 221 0 87 0
[pid=29041] ppid=29039 vsize=28768328 memory=1583864 CPUtime=20015.3 cores=0-7
/proc/29041/stat : 29041 (java) S 29039 29039 28687 0 -1 1077944320 898871 0 0 0 1999647 1885 0 0 20 0 28 0 418203749 29458767872 395966 33554432000 4194304 4196468 140733767468096 140733767450640 139639679643383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
/proc/29041/statm: 7192082 395966 3547 1 0 7153184 0
[pid=29041/tid=29042] ppid=29039 vsize=28768328 memory=6791534058613427641 CPUtime=7.05 cores=0-7
/proc/29041/task/29042/stat : 29042 (java) S 29039 29039 28687 0 -1 1077944384 12221 0 0 0 676 29 0 0 20 0 28 0 418203749 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639683884160 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29043] ppid=29039 vsize=28768328 memory=2120 CPUtime=10.63 cores=0-7
/proc/29041/task/29043/stat : 29043 (java) S 29039 29039 28687 0 -1 1077944384 28186 0 0 0 1009 54 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639599496208 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29044] ppid=29039 vsize=28768328 memory=500 CPUtime=10.62 cores=0-7
/proc/29041/task/29044/stat : 29044 (java) S 29039 29039 28687 0 -1 1077944384 27706 0 0 0 1012 50 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639598443664 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29045] ppid=29039 vsize=28768328 memory=1556 CPUtime=10.65 cores=0-7
/proc/29041/task/29045/stat : 29045 (java) S 29039 29039 28687 0 -1 1077944384 29208 0 0 0 1011 54 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639597390608 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29046] ppid=29039 vsize=28768328 memory=-7003737579269690708 CPUtime=10.45 cores=0-7
/proc/29041/task/29046/stat : 29046 (java) S 29039 29039 28687 0 -1 1077944384 25631 0 0 0 994 51 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639596338064 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29047] ppid=29039 vsize=28768328 memory=1060 CPUtime=10.57 cores=0-7
/proc/29041/task/29047/stat : 29047 (java) S 29039 29039 28687 0 -1 1077944384 30915 0 0 0 1000 57 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639595285008 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29048] ppid=29039 vsize=28768328 memory=4068 CPUtime=10.59 cores=0-7
/proc/29041/task/29048/stat : 29048 (java) S 29039 29039 28687 0 -1 1077944384 27095 0 0 0 1005 54 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639594232464 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29049] ppid=29039 vsize=28768328 memory=1720 CPUtime=10.58 cores=0-7
/proc/29041/task/29049/stat : 29049 (java) S 29039 29039 28687 0 -1 1077944384 25826 0 0 0 1005 53 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639593179408 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29050] ppid=29039 vsize=28768328 memory=5928 CPUtime=10.53 cores=0-7
/proc/29041/task/29050/stat : 29050 (java) S 29039 29039 28687 0 -1 1077944384 24899 0 0 0 1000 53 0 0 20 0 28 0 418203750 29458767872 395966 33554432000 4194304 4196468 140733767468096 139639592126864 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29051] ppid=29039 vsize=28768328 memory=1456 CPUtime=5.22 cores=0-7
/proc/29041/task/29051/stat : 29051 (java) S 29039 29039 28687 0 -1 1077944384 104163 0 0 0 246 276 0 0 20 0 28 0 418203752 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638795774704 139639679654530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29052] ppid=29039 vsize=28768328 memory=1589128 CPUtime=0 cores=0-7
/proc/29041/task/29052/stat : 29052 (java) S 29039 29039 28687 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418203752 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638794720992 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29053] ppid=29039 vsize=28768328 memory=-2331055268852096867 CPUtime=0 cores=0-7
/proc/29041/task/29053/stat : 29053 (java) S 29039 29039 28687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418203752 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638793667840 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29054] ppid=29039 vsize=28768328 memory=-7101718590825193272 CPUtime=0 cores=0-7
/proc/29041/task/29054/stat : 29054 (java) S 29039 29039 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638792616400 139639679661979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29055] ppid=29039 vsize=28768328 memory=1456 CPUtime=6.96 cores=0-7
/proc/29041/task/29055/stat : 29055 (java) S 29039 29039 28687 0 -1 1077944384 39382 0 0 0 688 8 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638791563504 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29056] ppid=29039 vsize=28768328 memory=1520 CPUtime=6.98 cores=0-7
/proc/29041/task/29056/stat : 29056 (java) S 29039 29039 28687 0 -1 1077944384 38835 0 0 0 691 7 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638790510960 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29057] ppid=29039 vsize=28768328 memory=1980 CPUtime=6.67 cores=0-7
/proc/29041/task/29057/stat : 29057 (java) S 29039 29039 28687 0 -1 1077944384 35649 0 0 0 658 9 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638789457904 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29058] ppid=29039 vsize=28768328 memory=2572 CPUtime=1.48 cores=0-7
/proc/29041/task/29058/stat : 29058 (java) S 29039 29039 28687 0 -1 1077944384 22151 0 0 0 143 5 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638788405360 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29059] ppid=29039 vsize=28768328 memory=900 CPUtime=0 cores=0-7
/proc/29041/task/29059/stat : 29059 (java) S 29039 29039 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638787353568 139639679653589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29060] ppid=29039 vsize=28768328 memory=1432 CPUtime=1.02 cores=0-7
/proc/29041/task/29060/stat : 29060 (java) S 29039 29039 28687 0 -1 1077944384 6493 0 0 0 28 74 0 0 20 0 28 0 418203755 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638786301104 139639679654530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29093] ppid=29039 vsize=28768328 memory=1764 CPUtime=2481.79 cores=0-7
/proc/29041/task/29093/stat : 29093 (java) R 29039 29039 28687 0 -1 4202560 95357 0 0 0 247913 266 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637712285416 139639279222321 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29094] ppid=29039 vsize=28768328 memory=111632 CPUtime=2487.51 cores=0-7
/proc/29041/task/29094/stat : 29094 (java) R 29039 29039 28687 0 -1 4202560 17777 0 0 0 248723 28 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637714392088 139639279222435 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29095] ppid=29039 vsize=28768328 memory=804 CPUtime=2484.6 cores=0-7
/proc/29041/task/29095/stat : 29095 (java) R 29039 29039 28687 0 -1 4202560 154130 0 0 0 248120 340 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637718601568 139639273602247 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29096] ppid=29039 vsize=28768328 memory=1732 CPUtime=2480.96 cores=0-7
/proc/29041/task/29096/stat : 29096 (java) R 29039 29039 28687 0 -1 4202560 79404 0 0 0 247727 369 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637716496792 139639279222387 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29097] ppid=29039 vsize=28768328 memory=316378072163287066 CPUtime=2479.12 cores=0-7
/proc/29041/task/29097/stat : 29097 (java) R 29039 29039 28687 0 -1 4202560 13846 0 0 0 247891 21 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637717548656 139639278818779 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29098] ppid=29039 vsize=28768328 memory=288230583166042426 CPUtime=2480.58 cores=0-7
/proc/29041/task/29098/stat : 29098 (java) R 29039 29039 28687 0 -1 4202560 17906 0 0 0 248015 43 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637715443488 139639278818844 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29099] ppid=29039 vsize=28768328 memory=15537410121407534 CPUtime=2485.52 cores=0-7
/proc/29041/task/29099/stat : 29099 (java) R 29039 29039 28687 0 -1 4202560 20249 0 0 0 248528 24 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139637713339544 139639278887836 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
[pid=29041/tid=29100] ppid=29039 vsize=28768328 memory=4096 CPUtime=2482.19 cores=0-7
/proc/29041/task/29100/stat : 29100 (java) R 29039 29039 28687 0 -1 4202560 17000 0 0 0 248188 31 0 0 20 0 28 0 418205044 29458767872 395966 33554432000 4194304 4196468 140733767468096 139638783786240 139639278819159 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 10149888 140733767476202 140733767476374 140733767476374 140733767479247 0
Current children cumulated CPU time: 20015.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1585320 KiB

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

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

[startup+2520.1 s]
# the end of solver process 29041 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19997.1 s, system=18.8684 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): 20016
CPU user time (s): 19997.1
CPU system time (s): 18.8684
CPU usage (%): 794.253
Max. virtual memory (cumulated for all children) (KiB): 28885524
Max. memory (cumulated for all children) (KiB): 8739152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19997.1
system time used= 18.8684
maximum resident set size= 8770524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900290
page faults= 0
swaps= 0
block input operations= 1080
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121932
involuntary context switches= 222270


# summary of solver processes directly reported to runsolver:
#   pid: 29039,29041
#   total CPU time (s): 20016
#   total CPU user time (s): 19997.1
#   total CPU system time (s): 18.8684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0481 second user time and 29.3195 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 4394621

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
