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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	26	1998	252.118
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 (15080 MiB free)
  memory of node 1: 16384 MiB (15693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271574-1502640478/watcher-4271574-1502640478 -o /tmp/evaluation-result-4271574-1502640478/solver-4271574-1502640478 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 757762275 HOME/instance-4271574-1502640478.xml 

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

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

solver pid=9122, runsolver pid=9119

[startup+0.100303 s]*
/proc/loadavg: 8.52 8.01 7.41 2/201 9143
/proc/meminfo: memFree=31496204/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=25999808 memory=27152 CPUtime=0.11 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 5216 0 0 0 10 1 0 0 20 0 20 0 97135597 26623803392 6788 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6499952 6788 2843 1 0 6488269 0
[pid=9124/tid=9125] ppid=9122 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) R 9122 9122 4682 0 -1 4202560 3225 0 0 0 8 1 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140588054586272 140588034450782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=25999808 memory=140226506466944 CPUtime=0 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9129] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9129/stat : 9129 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587604920592 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9130] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9130/stat : 9130 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587603868816 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9131] ppid=9122 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9131/stat : 9131 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587602816016 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9132] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9132/stat : 9132 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587601763216 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9133] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9133/stat : 9133 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135598 26623803392 6788 33554432000 4194304 4196468 140729638261024 140587600710416 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9134] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9134/stat : 9134 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135600 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586725407088 140588050381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9135] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9135/stat : 9135 (java) S 9122 9122 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97135600 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586724353056 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9136] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9136/stat : 9136 (java) S 9122 9122 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97135600 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586723300208 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9137] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9137/stat : 9137 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586722248528 140588050388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9138] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9138/stat : 9138 (java) S 9122 9122 4682 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586721196912 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9139] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9139/stat : 9139 (java) R 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586720144112 140588050381442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9140] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9140/stat : 9140 (java) S 9122 9122 4682 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586719091312 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9141] ppid=9122 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9124/task/9141/stat : 9141 (java) R 9122 9122 4682 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586718038512 140588050381442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9142] ppid=9122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9142/stat : 9142 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586716985952 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9143] ppid=9122 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9143/stat : 9143 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26623803392 6788 33554432000 4194304 4196468 140729638261024 140586715933232 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28532 KiB

[startup+0.210288 s]*
/proc/loadavg: 8.52 8.01 7.41 2/201 9143
/proc/meminfo: memFree=31485240/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=26004064 memory=39052 CPUtime=0.33 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 7806 0 0 0 31 2 0 0 20 0 20 0 97135597 26628161536 9763 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6501016 9763 3028 1 0 6488269 0
[pid=9124/tid=9125] ppid=9122 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) R 9122 9122 4682 0 -1 4202560 4941 0 0 0 18 1 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140588054593120 140588050382230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=26004064 memory=140226506476319 CPUtime=0 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9129] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9129/stat : 9129 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587604920592 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9130] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9130/stat : 9130 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587603868816 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9131] ppid=9122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9131/stat : 9131 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587602816016 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9132] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9132/stat : 9132 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587601763216 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9133] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9133/stat : 9133 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 9763 33554432000 4194304 4196468 140729638261024 140587600710416 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9134] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9134/stat : 9134 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586725407088 140588050381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9135] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9135/stat : 9135 (java) S 9122 9122 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586724353056 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9136] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9136/stat : 9136 (java) S 9122 9122 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586723300208 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9137] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9137/stat : 9137 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586722248528 140588050388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9138] ppid=9122 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9124/task/9138/stat : 9138 (java) S 9122 9122 4682 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586721196912 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9139] ppid=9122 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9124/task/9139/stat : 9139 (java) S 9122 9122 4682 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586720144112 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9140] ppid=9122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9140/stat : 9140 (java) S 9122 9122 4682 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586719091312 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9141] ppid=9122 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/9124/task/9141/stat : 9141 (java) S 9122 9122 4682 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586718038512 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9142] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9142/stat : 9142 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586716985952 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9143] ppid=9122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9143/stat : 9143 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 9763 33554432000 4194304 4196468 140729638261024 140586715933232 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40432 KiB

[startup+0.310241 s]*
/proc/loadavg: 8.52 8.01 7.41 3/201 9143
/proc/meminfo: memFree=31480836/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=26004064 memory=43684 CPUtime=0.51 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 8652 0 0 0 47 4 0 0 20 0 20 0 97135597 26628161536 10921 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6501016 10921 3093 1 0 6488269 0
[pid=9124/tid=9125] ppid=9122 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) R 9122 9122 4682 0 -1 4202560 5606 0 0 0 27 2 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140588054608416 140588032864135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9129] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9129/stat : 9129 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587604920592 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9130] ppid=9122 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9124/task/9130/stat : 9130 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587603868816 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9131] ppid=9122 vsize=26004064 memory=140226387342255 CPUtime=0 cores=0-7
/proc/9124/task/9131/stat : 9131 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587602816016 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9132] ppid=9122 vsize=26004064 memory=140226387344560 CPUtime=0 cores=0-7
/proc/9124/task/9132/stat : 9132 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587601763216 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9133] ppid=9122 vsize=26004064 memory=140226387346864 CPUtime=0 cores=0-7
/proc/9124/task/9133/stat : 9133 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135598 26628161536 10921 33554432000 4194304 4196468 140729638261024 140587600710416 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9134] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9134/stat : 9134 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586725407088 140588050381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9135] ppid=9122 vsize=26004064 memory=280452774700688 CPUtime=0 cores=0-7
/proc/9124/task/9135/stat : 9135 (java) S 9122 9122 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586724353056 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9136] ppid=9122 vsize=26004064 memory=280452774707600 CPUtime=0 cores=0-7
/proc/9124/task/9136/stat : 9136 (java) S 9122 9122 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97135600 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586723300208 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9137] ppid=9122 vsize=26004064 memory=280452774648880 CPUtime=0 cores=0-7
/proc/9124/task/9137/stat : 9137 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586722248528 140588050388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9138] ppid=9122 vsize=26004064 memory=280452774721424 CPUtime=0.02 cores=0-7
/proc/9124/task/9138/stat : 9138 (java) S 9122 9122 4682 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586721196912 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9139] ppid=9122 vsize=26004064 memory=280452774728336 CPUtime=0.03 cores=0-7
/proc/9124/task/9139/stat : 9139 (java) S 9122 9122 4682 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586720144112 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9140] ppid=9122 vsize=26004064 memory=280452774726032 CPUtime=0.02 cores=0-7
/proc/9124/task/9140/stat : 9140 (java) S 9122 9122 4682 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586719091312 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9141] ppid=9122 vsize=26004064 memory=280452774742192 CPUtime=0.13 cores=0-7
/proc/9124/task/9141/stat : 9141 (java) R 9122 9122 4682 0 -1 4202560 852 0 0 0 13 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586718034880 140588029026112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9142] ppid=9122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9142/stat : 9142 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586716985952 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9143] ppid=9122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9124/task/9143/stat : 9143 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135603 26628161536 10921 33554432000 4194304 4196468 140729638261024 140586715933232 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45064 KiB

[startup+0.700989 s]
/proc/loadavg: 8.52 8.01 7.41 4/201 9143
/proc/meminfo: memFree=31455700/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=26004140 memory=136280 CPUtime=1.98 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 13382 0 0 0 192 6 0 0 20 0 20 0 97135597 26628239360 34070 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6501035 34070 3200 1 0 6488269 0
[pid=9124/tid=9125] ppid=9122 vsize=26004140 memory=280452775100080 CPUtime=0.67 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) R 9122 9122 4682 0 -1 4202560 5968 0 0 0 64 3 0 0 20 0 20 0 97135598 26628239360 34070 33554432000 4194304 4196468 140729638261024 140588054607056 140587651189777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=26004140 memory=140226387551088 CPUtime=0 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97135598 26628239360 34070 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628239360 34070 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97135598 26628239360 34070 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0

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

[pid=9124/tid=9207] ppid=9122 vsize=26538700 memory=8112282956445269571 CPUtime=157.08 cores=0-7
/proc/9124/task/9207/stat : 9207 (java) R 9122 9122 4682 0 -1 4202560 571 0 0 0 15708 0 0 0 20 0 28 0 97136088 27175628800 709922 33554432000 4194304 4196468 140729638261024 140586705817592 140587659737633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 1281.47 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2841068 KiB

[startup+222.301 s]
/proc/loadavg: 8.09 8.09 7.57 9/207 9208
/proc/meminfo: memFree=28032176/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=26538700 memory=3490556 CPUtime=1760.19 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 73047 0 0 0 175837 182 0 0 20 0 28 0 97135597 27175628800 872639 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6634675 872639 3290 1 0 6621909 0
[pid=9124/tid=9125] ppid=9122 vsize=26538700 memory=4872558044660077418 CPUtime=2.47 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) S 9122 9122 4682 0 -1 1077944384 7821 0 0 0 239 8 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140588054611072 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=26538700 memory=3490556 CPUtime=0.26 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 816 0 0 0 17 9 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=26538700 memory=1380 CPUtime=0.27 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 1346 0 0 0 17 10 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=26538700 memory=3490556 CPUtime=0.26 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 571 0 0 0 17 9 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9129] ppid=9122 vsize=26538700 memory=1380 CPUtime=0.26 cores=0-7
/proc/9124/task/9129/stat : 9129 (java) S 9122 9122 4682 0 -1 1077944384 313 0 0 0 16 10 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587604920592 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9130] ppid=9122 vsize=26538700 memory=1380 CPUtime=0.29 cores=0-7
/proc/9124/task/9130/stat : 9130 (java) S 9122 9122 4682 0 -1 1077944384 870 0 0 0 19 10 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587603868816 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9131] ppid=9122 vsize=26538700 memory=3490556 CPUtime=0.3 cores=0-7
/proc/9124/task/9131/stat : 9131 (java) S 9122 9122 4682 0 -1 1077944384 637 0 0 0 20 10 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587602816016 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9132] ppid=9122 vsize=26538700 memory=4140 CPUtime=0.27 cores=0-7
/proc/9124/task/9132/stat : 9132 (java) S 9122 9122 4682 0 -1 1077944384 1407 0 0 0 18 9 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587601763216 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9133] ppid=9122 vsize=26538700 memory=3490556 CPUtime=0.26 cores=0-7
/proc/9124/task/9133/stat : 9133 (java) S 9122 9122 4682 0 -1 1077944384 788 0 0 0 17 9 0 0 20 0 28 0 97135598 27175628800 872639 33554432000 4194304 4196468 140729638261024 140587600710416 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9134] ppid=9122 vsize=26538700 memory=1728 CPUtime=0.03 cores=0-7
/proc/9124/task/9134/stat : 9134 (java) S 9122 9122 4682 0 -1 1077944384 3708 0 0 0 2 1 0 0 20 0 28 0 97135600 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586725407088 140588050381442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9135] ppid=9122 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/9124/task/9135/stat : 9135 (java) S 9122 9122 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97135600 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586724353120 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9136] ppid=9122 vsize=26538700 memory=6673 CPUtime=0 cores=0-7
/proc/9124/task/9136/stat : 9136 (java) S 9122 9122 4682 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97135600 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586723300224 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9137] ppid=9122 vsize=26538700 memory=4420 CPUtime=0 cores=0-7
/proc/9124/task/9137/stat : 9137 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586722248528 140588050388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9138] ppid=9122 vsize=26538700 memory=6628 CPUtime=2.61 cores=0-7
/proc/9124/task/9138/stat : 9138 (java) S 9122 9122 4682 0 -1 1077944384 11606 0 0 0 259 2 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586721196912 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9139] ppid=9122 vsize=26538700 memory=4140 CPUtime=2.66 cores=0-7
/proc/9124/task/9139/stat : 9139 (java) S 9122 9122 4682 0 -1 1077944384 7569 0 0 0 264 2 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586720144112 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9140] ppid=9122 vsize=26538700 memory=27832 CPUtime=2.41 cores=0-7
/proc/9124/task/9140/stat : 9140 (java) S 9122 9122 4682 0 -1 1077944384 7736 0 0 0 239 2 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586719091312 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9141] ppid=9122 vsize=26538700 memory=1380 CPUtime=0.78 cores=0-7
/proc/9124/task/9141/stat : 9141 (java) S 9122 9122 4682 0 -1 1077944384 7150 0 0 0 77 1 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586718038512 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9142] ppid=9122 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/9124/task/9142/stat : 9142 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586716985952 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9143] ppid=9122 vsize=26538700 memory=3490556 CPUtime=0.06 cores=0-7
/proc/9124/task/9143/stat : 9143 (java) S 9122 9122 4682 0 -1 1077944384 374 0 0 0 0 6 0 0 20 0 28 0 97135603 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586715933232 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9200] ppid=9122 vsize=26538700 memory=1380 CPUtime=216.2 cores=0-7
/proc/9124/task/9200/stat : 9200 (java) R 9122 9122 4682 0 -1 4202560 568 0 0 0 21619 1 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586701605752 140587659753830 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9201] ppid=9122 vsize=26538700 memory=3490556 CPUtime=215.6 cores=0-7
/proc/9124/task/9201/stat : 9201 (java) R 9122 9122 4682 0 -1 4202560 680 0 0 0 21559 1 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586703712488 140587659075612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9202] ppid=9122 vsize=26538700 memory=1380 CPUtime=217.11 cores=0-7
/proc/9124/task/9202/stat : 9202 (java) R 9122 9122 4682 0 -1 4202560 461 0 0 0 21711 0 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586707923576 140587659075608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9203] ppid=9122 vsize=26538700 memory=3490556 CPUtime=217.14 cores=0-7
/proc/9124/task/9203/stat : 9203 (java) R 9122 9122 4682 0 -1 4202560 1627 0 0 0 21708 6 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586702659928 140587659075584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9204] ppid=9122 vsize=26538700 memory=2240 CPUtime=217.14 cores=0-7
/proc/9124/task/9204/stat : 9204 (java) R 9122 9122 4682 0 -1 4202560 6328 0 0 0 21685 29 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586706870536 140587659274480 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9205] ppid=9122 vsize=26538700 memory=4128 CPUtime=217.11 cores=0-7
/proc/9124/task/9205/stat : 9205 (java) R 9122 9122 4682 0 -1 4202560 6617 0 0 0 21672 39 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586704767440 140587659274459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9206] ppid=9122 vsize=26538700 memory=928 CPUtime=215.3 cores=0-7
/proc/9124/task/9206/stat : 9206 (java) R 9122 9122 4682 0 -1 4202560 844 0 0 0 21528 2 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586700554256 140588031776570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9207] ppid=9122 vsize=26538700 memory=1576 CPUtime=217.06 cores=0-7
/proc/9124/task/9207/stat : 9207 (java) R 9122 9122 4682 0 -1 4202560 607 0 0 0 21706 0 0 0 20 0 28 0 97136088 27175628800 872639 33554432000 4194304 4196468 140729638261024 140586705817592 140587660488297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 1760.19 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3491936 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.10 8.10 7.59 9/207 9208
/proc/meminfo: memFree=28009456/32770624 swapFree=67108860/67108860
[pid=9122] ppid=9119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/9122/stat : 9122 (xcsp3-exec) S 9119 9122 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97135597 9740288 345 33554432000 4194304 5098028 140735043468112 140735043466216 140035770733180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38879232 140735043470443 140735043470652 140735043470652 140735043473387 0
/proc/9122/statm: 2378 345 289 221 0 87 0
[pid=9124] ppid=9122 vsize=26538700 memory=3513252 CPUtime=1997.26 cores=0-7
/proc/9124/stat : 9124 (java) S 9122 9122 4682 0 -1 1077944320 75256 0 0 0 199538 188 0 0 20 0 28 0 97135597 27175628800 878313 33554432000 4194304 4196468 140729638261024 140729638243568 140588050370295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
/proc/9124/statm: 6634675 878313 3290 1 0 6621909 0
[pid=9124/tid=9125] ppid=9122 vsize=26538700 memory=8112282956445269571 CPUtime=2.47 cores=0-7
/proc/9124/task/9125/stat : 9125 (java) S 9122 9122 4682 0 -1 1077944384 7821 0 0 0 239 8 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140588054611072 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9126] ppid=9122 vsize=26538700 memory=4872558044660077418 CPUtime=0.27 cores=0-7
/proc/9124/task/9126/stat : 9126 (java) S 9122 9122 4682 0 -1 1077944384 845 0 0 0 17 10 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587972950672 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9127] ppid=9122 vsize=26538700 memory=7667492063722754663 CPUtime=0.27 cores=0-7
/proc/9124/task/9127/stat : 9127 (java) S 9122 9122 4682 0 -1 1077944384 1359 0 0 0 17 10 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587971897872 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9128] ppid=9122 vsize=26538700 memory=8100401673121845842 CPUtime=0.26 cores=0-7
/proc/9124/task/9128/stat : 9128 (java) S 9122 9122 4682 0 -1 1077944384 641 0 0 0 17 9 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587605973392 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9129] ppid=9122 vsize=26538700 memory=8100401673121845842 CPUtime=0.27 cores=0-7
/proc/9124/task/9129/stat : 9129 (java) S 9122 9122 4682 0 -1 1077944384 489 0 0 0 17 10 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587604920592 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9130] ppid=9122 vsize=26538700 memory=6010177305046378600 CPUtime=0.29 cores=0-7
/proc/9124/task/9130/stat : 9130 (java) S 9122 9122 4682 0 -1 1077944384 908 0 0 0 19 10 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587603868816 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9131] ppid=9122 vsize=26538700 memory=6010177305046378600 CPUtime=0.3 cores=0-7
/proc/9124/task/9131/stat : 9131 (java) S 9122 9122 4682 0 -1 1077944384 651 0 0 0 20 10 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587602816016 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9132] ppid=9122 vsize=26538700 memory=7589524629080270696 CPUtime=0.28 cores=0-7
/proc/9124/task/9132/stat : 9132 (java) S 9122 9122 4682 0 -1 1077944384 1753 0 0 0 19 9 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587601763216 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9133] ppid=9122 vsize=26538700 memory=3513252 CPUtime=0.26 cores=0-7
/proc/9124/task/9133/stat : 9133 (java) S 9122 9122 4682 0 -1 1077944384 810 0 0 0 17 9 0 0 20 0 28 0 97135598 27175628800 878313 33554432000 4194304 4196468 140729638261024 140587600710416 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9134] ppid=9122 vsize=26538700 memory=3513252 CPUtime=0.03 cores=0-7
/proc/9124/task/9134/stat : 9134 (java) S 9122 9122 4682 0 -1 1077944384 3948 0 0 0 2 1 0 0 20 0 28 0 97135600 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586725407088 140588050381442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9135] ppid=9122 vsize=26538700 memory=7523096499812722542 CPUtime=0 cores=0-7
/proc/9124/task/9135/stat : 9135 (java) S 9122 9122 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97135600 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586724353120 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9136] ppid=9122 vsize=26538700 memory=7523096499812722542 CPUtime=0 cores=0-7
/proc/9124/task/9136/stat : 9136 (java) S 9122 9122 4682 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97135600 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586723300224 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9137] ppid=9122 vsize=26538700 memory=7589524629080270696 CPUtime=0 cores=0-7
/proc/9124/task/9137/stat : 9137 (java) S 9122 9122 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586722248528 140588050388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9138] ppid=9122 vsize=26538700 memory=8100401673121845842 CPUtime=2.61 cores=0-7
/proc/9124/task/9138/stat : 9138 (java) S 9122 9122 4682 0 -1 1077944384 11606 0 0 0 259 2 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586721196912 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9139] ppid=9122 vsize=26538700 memory=7589526797921249126 CPUtime=2.66 cores=0-7
/proc/9124/task/9139/stat : 9139 (java) S 9122 9122 4682 0 -1 1077944384 7569 0 0 0 264 2 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586720144112 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9140] ppid=9122 vsize=26538700 memory=8560 CPUtime=2.41 cores=0-7
/proc/9124/task/9140/stat : 9140 (java) S 9122 9122 4682 0 -1 1077944384 7736 0 0 0 239 2 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586719091312 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9141] ppid=9122 vsize=26538700 memory=1228 CPUtime=0.78 cores=0-7
/proc/9124/task/9141/stat : 9141 (java) S 9122 9122 4682 0 -1 1077944384 7150 0 0 0 77 1 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586718038512 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9142] ppid=9122 vsize=26538700 memory=12028 CPUtime=0 cores=0-7
/proc/9124/task/9142/stat : 9142 (java) S 9122 9122 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586716985952 140588050380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9143] ppid=9122 vsize=26538700 memory=5668 CPUtime=0.07 cores=0-7
/proc/9124/task/9143/stat : 9143 (java) S 9122 9122 4682 0 -1 1077944384 385 0 0 0 0 7 0 0 20 0 28 0 97135603 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586715933232 140588050381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9200] ppid=9122 vsize=26538700 memory=1008 CPUtime=245.32 cores=0-7
/proc/9124/task/9200/stat : 9200 (java) R 9122 9122 4682 0 -1 4202560 570 0 0 0 24531 1 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586701605344 140587660488097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9201] ppid=9122 vsize=26538700 memory=4612 CPUtime=245.31 cores=0-7
/proc/9124/task/9201/stat : 9201 (java) R 9122 9122 4682 0 -1 4202560 684 0 0 0 24530 1 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586703712136 140587659275765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9202] ppid=9122 vsize=26538700 memory=1428 CPUtime=246.81 cores=0-7
/proc/9124/task/9202/stat : 9202 (java) R 9122 9122 4682 0 -1 4202560 463 0 0 0 24681 0 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586707927976 140587659820426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9203] ppid=9122 vsize=26538700 memory=1204 CPUtime=246.84 cores=0-7
/proc/9124/task/9203/stat : 9203 (java) R 9122 9122 4682 0 -1 4202560 1942 0 0 0 24678 6 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586702662944 140587659753798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9204] ppid=9122 vsize=26538700 memory=15876 CPUtime=246.84 cores=0-7
/proc/9124/task/9204/stat : 9204 (java) R 9122 9122 4682 0 -1 4202560 6532 0 0 0 24655 29 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586706870792 140587659275299 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9205] ppid=9122 vsize=26538700 memory=17884 CPUtime=246.81 cores=0-7
/proc/9124/task/9205/stat : 9205 (java) R 9122 9122 4682 0 -1 4202560 7333 0 0 0 24638 43 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586704769072 140587660376957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9206] ppid=9122 vsize=26538700 memory=4048 CPUtime=245 cores=0-7
/proc/9124/task/9206/stat : 9206 (java) R 9122 9122 4682 0 -1 4202560 847 0 0 0 24498 2 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586700558192 140587659406367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
[pid=9124/tid=9207] ppid=9122 vsize=26538700 memory=18488 CPUtime=246.76 cores=0-7
/proc/9124/task/9207/stat : 9207 (java) R 9122 9122 4682 0 -1 4202560 611 0 0 0 24676 0 0 0 20 0 28 0 97136088 27175628800 878313 33554432000 4194304 4196468 140729638261024 140586705818088 140587659075608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140729638270104 140729638270280 140729638270280 140729638272975 0
Current children cumulated CPU time: 1997.26 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3514632 KiB

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

[startup+252.041 s]
# the end of solver process 9122 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001906 s, system=0 s

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

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

Child status: 143
Real time (s): 252.118
CPU time (s): 1998
CPU user time (s): 1996.09
CPU system time (s): 1.90567
CPU usage (%): 792.483
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3514632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1996.09
system time used= 1.90567
maximum resident set size= 3513948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10449
involuntary context switches= 20778


# summary of solver processes directly reported to runsolver:
#   pid: 9122,9124
#   total CPU time (s): 1998
#   total CPU user time (s): 1996.09
#   total CPU system time (s): 1.90567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49145 second user time and 2.48076 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4271574

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
