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)	24	20035.2	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 (14880 MiB free)
  memory of node 1: 16384 MiB (15379 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394646-1568419396/watcher-4394646-1568419396 -o /tmp/evaluation-result-4394646-1568419396/solver-4394646-1568419396 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 510169613 HOME/instance-4394646-1568419396.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=17522, runsolver pid=17519
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 6.98 7.03 5.77 2/213 17543
/proc/meminfo: memFree=30971044/32770624 swapFree=66935072/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28227388 memory=27540 CPUtime=0.12 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 5907 0 0 0 11 1 0 0 20 0 20 0 418211088 28904845312 6885 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7056847 6885 3117 1 0 7019032 0
[pid=17524/tid=17525] ppid=17522 vsize=28227388 memory=8042191367716117913 CPUtime=0.09 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) R 17522 17522 14714 0 -1 4202560 3784 0 0 0 8 1 0 0 20 0 20 0 418211088 28904845312 6885 33554432000 4194304 4196468 140728229254720 140042144835376 140042140614038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28227388 memory=732370492010224613 CPUtime=0 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28227388 memory=140353672771200 CPUtime=0 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17529] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17529/stat : 17529 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041688566032 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17530] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17530/stat : 17530 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041687514256 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17531] ppid=17522 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17524/task/17531/stat : 17531 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041686461456 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17532] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17532/stat : 17532 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041685408656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17533] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17533/stat : 17533 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041684355856 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17534] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17534/stat : 17534 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211090 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041641687408 140042140613250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17535] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17535/stat : 17535 (java) S 17522 17522 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418211091 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041640633376 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17536] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17536/stat : 17536 (java) S 17522 17522 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418211091 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041639580528 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17537] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17537/stat : 17537 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211093 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041638528848 140042140620699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17538] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17538/stat : 17538 (java) S 17522 17522 14714 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 418211093 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041520278384 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17539] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17539/stat : 17539 (java) S 17522 17522 14714 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 418211093 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041519225584 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17540] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17540/stat : 17540 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211093 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041518172784 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17541] ppid=17522 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/17524/task/17541/stat : 17541 (java) R 17522 17522 14714 0 -1 4202560 391 0 0 0 2 0 0 0 20 0 20 0 418211093 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041517119984 140042120525409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17542] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17542/stat : 17542 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211094 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041516067424 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17543] ppid=17522 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17524/task/17543/stat : 17543 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211094 28904845312 6885 33554432000 4194304 4196468 140728229254720 140041515014704 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 28996 KiB

[startup+0.210424 s]*
/proc/loadavg: 6.98 7.03 5.77 3/213 17543
/proc/meminfo: memFree=30957940/32770624 swapFree=66935072/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28227388 memory=40128 CPUtime=0.33 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 9779 0 0 0 29 4 0 0 20 0 20 0 418211088 28904845312 10032 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7056847 10032 3305 1 0 7019032 0
[pid=17524/tid=17525] ppid=17522 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) R 17522 17522 14714 0 -1 4202560 6727 0 0 0 17 2 0 0 20 0 20 0 418211088 28904845312 10032 33554432000 4194304 4196468 140728229254720 140042144831824 140042124682590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28227388 memory=732370492010224613 CPUtime=0 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28227388 memory=140353672771200 CPUtime=0 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17529] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17529/stat : 17529 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041688566032 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17530] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17530/stat : 17530 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041687514256 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17531] ppid=17522 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17524/task/17531/stat : 17531 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041686461456 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17532] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17532/stat : 17532 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041685408656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17533] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17533/stat : 17533 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041684355856 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17534] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17534/stat : 17534 (java) S 17522 17522 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418211090 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041641687408 140042140613250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17535] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17535/stat : 17535 (java) S 17522 17522 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418211091 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041640633376 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17536] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17536/stat : 17536 (java) S 17522 17522 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418211091 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041639580528 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17537] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17537/stat : 17537 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211093 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041638528848 140042140620699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17538] ppid=17522 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17524/task/17538/stat : 17538 (java) S 17522 17522 14714 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 418211093 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041520278384 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17539] ppid=17522 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17524/task/17539/stat : 17539 (java) S 17522 17522 14714 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 418211093 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041519225584 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17540] ppid=17522 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17524/task/17540/stat : 17540 (java) S 17522 17522 14714 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 20 0 418211093 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041518172784 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17541] ppid=17522 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/17524/task/17541/stat : 17541 (java) S 17522 17522 14714 0 -1 1077944384 882 0 0 0 7 0 0 0 20 0 20 0 418211093 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041517119984 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17542] ppid=17522 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17542/stat : 17542 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211094 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041516067424 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17543] ppid=17522 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17524/task/17543/stat : 17543 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211094 28904845312 10032 33554432000 4194304 4196468 140728229254720 140041515014704 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41584 KiB

[startup+0.309909 s]*
/proc/loadavg: 6.98 7.03 5.77 3/213 17543
/proc/meminfo: memFree=30952716/32770624 swapFree=66935072/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28231644 memory=49136 CPUtime=0.51 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 11134 0 0 0 47 4 0 0 20 0 20 0 418211088 28909203456 12284 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7057911 12284 3350 1 0 7019032 0
[pid=17524/tid=17525] ppid=17522 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) R 17522 17522 14714 0 -1 4202560 7808 0 0 0 27 3 0 0 20 0 20 0 418211088 28909203456 12284 33554432000 4194304 4196468 140728229254720 140042144833216 140042124682590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17529] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17529/stat : 17529 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041688566032 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17530] ppid=17522 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/17524/task/17530/stat : 17530 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041687514256 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17531] ppid=17522 vsize=28231644 memory=140353558639535 CPUtime=0 cores=0-7
/proc/17524/task/17531/stat : 17531 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041686461456 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17532] ppid=17522 vsize=28231644 memory=140353558641840 CPUtime=0 cores=0-7
/proc/17524/task/17532/stat : 17532 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041685408656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17533] ppid=17522 vsize=28231644 memory=140353558644144 CPUtime=0 cores=0-7
/proc/17524/task/17533/stat : 17533 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041684355856 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17534] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17534/stat : 17534 (java) S 17522 17522 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418211090 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041641687408 140042140613250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17535] ppid=17522 vsize=28231644 memory=280707117295248 CPUtime=0 cores=0-7
/proc/17524/task/17535/stat : 17535 (java) S 17522 17522 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418211091 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041640633376 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17536] ppid=17522 vsize=28231644 memory=280707117302160 CPUtime=0 cores=0-7
/proc/17524/task/17536/stat : 17536 (java) S 17522 17522 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418211091 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041639580528 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17537] ppid=17522 vsize=28231644 memory=280707117243440 CPUtime=0 cores=0-7
/proc/17524/task/17537/stat : 17537 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211093 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041638528848 140042140620699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17538] ppid=17522 vsize=28231644 memory=280707117315984 CPUtime=0.02 cores=0-7
/proc/17524/task/17538/stat : 17538 (java) S 17522 17522 14714 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 418211093 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041520278384 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17539] ppid=17522 vsize=28231644 memory=280707117322896 CPUtime=0.02 cores=0-7
/proc/17524/task/17539/stat : 17539 (java) R 17522 17522 14714 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 20 0 418211093 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041519225584 140042121302400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17540] ppid=17522 vsize=28231644 memory=280707117320592 CPUtime=0.02 cores=0-7
/proc/17524/task/17540/stat : 17540 (java) S 17522 17522 14714 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 418211093 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041518172784 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17541] ppid=17522 vsize=28231644 memory=280707117336752 CPUtime=0.12 cores=0-7
/proc/17524/task/17541/stat : 17541 (java) S 17522 17522 14714 0 -1 1077944384 1066 0 0 0 12 0 0 0 20 0 20 0 418211093 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041517119984 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17542] ppid=17522 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17542/stat : 17542 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418211094 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041516067424 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17543] ppid=17522 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/17524/task/17543/stat : 17543 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211094 28909203456 12284 33554432000 4194304 4196468 140728229254720 140041515014704 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50592 KiB

[startup+0.700935 s]
/proc/loadavg: 6.82 7.00 5.76 4/213 17543
/proc/meminfo: memFree=30929548/32770624 swapFree=66935072/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28233768 memory=108636 CPUtime=1.94 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 15753 0 0 0 187 7 0 0 20 0 20 0 418211088 28911378432 27159 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7058442 27159 3448 1 0 7019544 0
[pid=17524/tid=17525] ppid=17522 vsize=28233768 memory=280707117631680 CPUtime=0.68 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) R 17522 17522 14714 0 -1 4202560 8539 0 0 0 64 4 0 0 20 0 20 0 418211088 28911378432 27159 33554432000 4194304 4196468 140728229254720 140042144840640 140041776822880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28233768 memory=5076651345044 CPUtime=0 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418211089 28911378432 27159 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28911378432 27159 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418211089 28911378432 27159 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0

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

[pid=17524/tid=17576] ppid=17522 vsize=28768328 memory=2424288 CPUtime=2413.08 cores=0-7
/proc/17524/task/17576/stat : 17576 (java) R 17522 17522 14714 0 -1 4202560 53737 0 0 0 241156 152 0 0 20 0 28 0 418211481 29458767872 605687 33554432000 4194304 4196468 140728229254720 140041430994928 140041789540856 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 19416.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2424204 KiB

[startup+2502.3 s]
/proc/loadavg: 8.17 8.37 8.15 9/220 17759
/proc/meminfo: memFree=28689256/32770624 swapFree=66935096/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28768328 memory=2298088 CPUtime=19893.7 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 1091628 0 0 0 1988167 1201 0 0 20 0 28 0 418211088 29458767872 574522 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7192082 574522 3563 1 0 7153184 0
[pid=17524/tid=17525] ppid=17522 vsize=28768328 memory=2322200 CPUtime=2.94 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) S 17522 17522 14714 0 -1 1077944384 11927 0 0 0 286 8 0 0 20 0 28 0 418211088 29458767872 574522 33554432000 4194304 4196468 140728229254720 140042144842880 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28768328 memory=2305272 CPUtime=9.77 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 47481 0 0 0 922 55 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28768328 memory=2302192 CPUtime=9.82 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 45998 0 0 0 930 52 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28768328 memory=1456 CPUtime=9.85 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 46699 0 0 0 930 55 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17529] ppid=17522 vsize=28768328 memory=1456 CPUtime=9.77 cores=0-7
/proc/17524/task/17529/stat : 17529 (java) S 17522 17522 14714 0 -1 1077944384 40387 0 0 0 926 51 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041688566032 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17530] ppid=17522 vsize=28768328 memory=2298088 CPUtime=9.84 cores=0-7
/proc/17524/task/17530/stat : 17530 (java) S 17522 17522 14714 0 -1 1077944384 49747 0 0 0 925 59 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041687514256 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17531] ppid=17522 vsize=28768328 memory=2302192 CPUtime=9.93 cores=0-7
/proc/17524/task/17531/stat : 17531 (java) S 17522 17522 14714 0 -1 1077944384 37578 0 0 0 939 54 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041686461456 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17532] ppid=17522 vsize=28768328 memory=2409924 CPUtime=9.87 cores=0-7
/proc/17524/task/17532/stat : 17532 (java) S 17522 17522 14714 0 -1 1077944384 44032 0 0 0 932 55 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041685408656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17533] ppid=17522 vsize=28768328 memory=1456 CPUtime=9.84 cores=0-7
/proc/17524/task/17533/stat : 17533 (java) S 17522 17522 14714 0 -1 1077944384 43907 0 0 0 930 54 0 0 20 0 28 0 418211089 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041684355856 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17534] ppid=17522 vsize=28768328 memory=2310916 CPUtime=3.51 cores=0-7
/proc/17524/task/17534/stat : 17534 (java) S 17522 17522 14714 0 -1 1077944384 178138 0 0 0 241 110 0 0 20 0 28 0 418211090 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041641687408 140042140613250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17535] ppid=17522 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/17524/task/17535/stat : 17535 (java) S 17522 17522 14714 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 418211091 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041640633440 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17536] ppid=17522 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/17524/task/17536/stat : 17536 (java) S 17522 17522 14714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 418211091 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041639580544 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17537] ppid=17522 vsize=28768328 memory=2322200 CPUtime=0 cores=0-7
/proc/17524/task/17537/stat : 17537 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418211093 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041638528848 140042140620699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17538] ppid=17522 vsize=28768328 memory=-7003737579269690708 CPUtime=4.42 cores=0-7
/proc/17524/task/17538/stat : 17538 (java) S 17522 17522 14714 0 -1 1077944384 32423 0 0 0 436 6 0 0 20 0 28 0 418211093 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041520278384 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17539] ppid=17522 vsize=28768328 memory=1420 CPUtime=4.87 cores=0-7
/proc/17524/task/17539/stat : 17539 (java) S 17522 17522 14714 0 -1 1077944384 25991 0 0 0 485 2 0 0 20 0 28 0 418211093 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041519225584 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17540] ppid=17522 vsize=28768328 memory=244416 CPUtime=5.02 cores=0-7
/proc/17524/task/17540/stat : 17540 (java) S 17522 17522 14714 0 -1 1077944384 21425 0 0 0 498 4 0 0 20 0 28 0 418211093 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041518172784 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17541] ppid=17522 vsize=28768328 memory=244405 CPUtime=1.22 cores=0-7
/proc/17524/task/17541/stat : 17541 (java) S 17522 17522 14714 0 -1 1077944384 32741 0 0 0 117 5 0 0 20 0 28 0 418211093 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041517119984 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17542] ppid=17522 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/17524/task/17542/stat : 17542 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418211094 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041516067424 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17543] ppid=17522 vsize=28768328 memory=-7595754389018307680 CPUtime=1.08 cores=0-7
/proc/17524/task/17543/stat : 17543 (java) S 17522 17522 14714 0 -1 1077944384 8048 0 0 0 54 54 0 0 20 0 28 0 418211094 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041515014704 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17569] ppid=17522 vsize=28768328 memory=298414461 CPUtime=2475.47 cores=0-7
/proc/17524/task/17569/stat : 17569 (java) R 17522 17522 14714 0 -1 4202560 19757 0 0 0 247537 10 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041429941496 140041786642016 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17570] ppid=17522 vsize=28768328 memory=0 CPUtime=2475.54 cores=0-7
/proc/17524/task/17570/stat : 17570 (java) R 17522 17522 14714 0 -1 4202560 25108 0 0 0 247544 10 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041434153192 140041788315202 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17571] ppid=17522 vsize=28768328 memory=2302192 CPUtime=2472.76 cores=0-7
/proc/17524/task/17571/stat : 17571 (java) R 17522 17522 14714 0 -1 4202560 123243 0 0 0 247150 126 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041435206072 140041788794430 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17572] ppid=17522 vsize=28768328 memory=3620 CPUtime=2474.35 cores=0-7
/proc/17524/task/17572/stat : 17572 (java) R 17522 17522 14714 0 -1 4202560 101570 0 0 0 247310 125 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041432049984 140041785128190 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17573] ppid=17522 vsize=28768328 memory=23856 CPUtime=2475.75 cores=0-7
/proc/17524/task/17573/stat : 17573 (java) R 17522 17522 14714 0 -1 4202560 28603 0 0 0 247527 48 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041433100712 140041784706576 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17574] ppid=17522 vsize=28768328 memory=984 CPUtime=2471.84 cores=0-7
/proc/17524/task/17574/stat : 17574 (java) R 17522 17522 14714 0 -1 4202560 32509 0 0 0 247122 62 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041506042064 140041784706526 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17575] ppid=17522 vsize=28768328 memory=2032 CPUtime=2470.01 cores=0-7
/proc/17524/task/17575/stat : 17575 (java) R 17522 17522 14714 0 -1 4202560 38165 0 0 0 246892 109 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041428889392 140041789542568 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17576] ppid=17522 vsize=28768328 memory=1332 CPUtime=2472.43 cores=0-7
/proc/17524/task/17576/stat : 17576 (java) R 17522 17522 14714 0 -1 4202560 53955 0 0 0 247090 153 0 0 20 0 28 0 418211481 29458767872 574522 33554432000 4194304 4196468 140728229254720 140041430994480 140041787262983 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 19893.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2299544 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.21 8.37 8.15 9/220 17761
/proc/meminfo: memFree=28717328/32770624 swapFree=66935096/67108860
[pid=17522] ppid=17519 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17522/stat : 17522 (xcsp3-exec) S 17519 17522 14714 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418211087 115843072 364 33554432000 4194304 5098028 140724450731248 140724450729352 140510305763964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20451328 140724450734966 140724450735209 140724450735209 140724450738122 0
/proc/17522/statm: 28282 364 305 221 0 87 0
[pid=17524] ppid=17522 vsize=28768328 memory=2272440 CPUtime=20034.6 cores=0-7
/proc/17524/stat : 17524 (java) S 17522 17522 14714 0 -1 1077944320 1094198 0 0 0 2002252 1204 0 0 20 0 28 0 418211088 29458767872 568110 33554432000 4194304 4196468 140728229254720 140728229237264 140042140602103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
/proc/17524/statm: 7192082 568110 3563 1 0 7153184 0
[pid=17524/tid=17525] ppid=17522 vsize=28768328 memory=7739551865442423634 CPUtime=2.94 cores=0-7
/proc/17524/task/17525/stat : 17525 (java) S 17522 17522 14714 0 -1 1077944384 11927 0 0 0 286 8 0 0 20 0 28 0 418211088 29458767872 568110 33554432000 4194304 4196468 140728229254720 140042144842880 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17526] ppid=17522 vsize=28768328 memory=-7003737579269690708 CPUtime=9.85 cores=0-7
/proc/17524/task/17526/stat : 17526 (java) S 17522 17522 14714 0 -1 1077944384 48004 0 0 0 930 55 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140042108160656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17527] ppid=17522 vsize=28768328 memory=772 CPUtime=9.9 cores=0-7
/proc/17524/task/17527/stat : 17527 (java) S 17522 17522 14714 0 -1 1077944384 46057 0 0 0 938 52 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041690671632 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17528] ppid=17522 vsize=28768328 memory=3932 CPUtime=9.92 cores=0-7
/proc/17524/task/17528/stat : 17528 (java) S 17522 17522 14714 0 -1 1077944384 46799 0 0 0 937 55 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041689618832 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17529] ppid=17522 vsize=28768328 memory=2832 CPUtime=9.84 cores=0-7
/proc/17524/task/17529/stat : 17529 (java) S 17522 17522 14714 0 -1 1077944384 40917 0 0 0 933 51 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041688566032 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17530] ppid=17522 vsize=28768328 memory=1548 CPUtime=9.92 cores=0-7
/proc/17524/task/17530/stat : 17530 (java) S 17522 17522 14714 0 -1 1077944384 49823 0 0 0 933 59 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041687514256 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17531] ppid=17522 vsize=28768328 memory=1056 CPUtime=10 cores=0-7
/proc/17524/task/17531/stat : 17531 (java) S 17522 17522 14714 0 -1 1077944384 37686 0 0 0 946 54 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041686461456 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17532] ppid=17522 vsize=28768328 memory=744 CPUtime=9.94 cores=0-7
/proc/17524/task/17532/stat : 17532 (java) S 17522 17522 14714 0 -1 1077944384 44073 0 0 0 939 55 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041685408656 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17533] ppid=17522 vsize=28768328 memory=8296 CPUtime=9.91 cores=0-7
/proc/17524/task/17533/stat : 17533 (java) S 17522 17522 14714 0 -1 1077944384 43956 0 0 0 937 54 0 0 20 0 28 0 418211089 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041684355856 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17534] ppid=17522 vsize=28768328 memory=3620 CPUtime=3.54 cores=0-7
/proc/17524/task/17534/stat : 17534 (java) S 17522 17522 14714 0 -1 1077944384 178340 0 0 0 243 111 0 0 20 0 28 0 418211090 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041641687408 140042140613250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17535] ppid=17522 vsize=28768328 memory=23856 CPUtime=0 cores=0-7
/proc/17524/task/17535/stat : 17535 (java) S 17522 17522 14714 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 418211091 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041640633440 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17536] ppid=17522 vsize=28768328 memory=984 CPUtime=0 cores=0-7
/proc/17524/task/17536/stat : 17536 (java) S 17522 17522 14714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 418211091 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041639580544 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17537] ppid=17522 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/17524/task/17537/stat : 17537 (java) S 17522 17522 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418211093 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041638528848 140042140620699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17538] ppid=17522 vsize=28768328 memory=2272952 CPUtime=4.42 cores=0-7
/proc/17524/task/17538/stat : 17538 (java) S 17522 17522 14714 0 -1 1077944384 32425 0 0 0 436 6 0 0 20 0 28 0 418211093 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041520278384 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17539] ppid=17522 vsize=28768328 memory=8296 CPUtime=4.87 cores=0-7
/proc/17524/task/17539/stat : 17539 (java) S 17522 17522 14714 0 -1 1077944384 25993 0 0 0 485 2 0 0 20 0 28 0 418211093 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041519225584 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17540] ppid=17522 vsize=28768328 memory=5960 CPUtime=5.02 cores=0-7
/proc/17524/task/17540/stat : 17540 (java) S 17522 17522 14714 0 -1 1077944384 21427 0 0 0 498 4 0 0 20 0 28 0 418211093 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041518172784 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17541] ppid=17522 vsize=28768328 memory=1124 CPUtime=1.22 cores=0-7
/proc/17524/task/17541/stat : 17541 (java) S 17522 17522 14714 0 -1 1077944384 32743 0 0 0 117 5 0 0 20 0 28 0 418211093 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041517119984 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17542] ppid=17522 vsize=28768328 memory=14008 CPUtime=0 cores=0-7
/proc/17524/task/17542/stat : 17542 (java) S 17522 17522 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418211094 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041516067424 140042140612309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17543] ppid=17522 vsize=28768328 memory=12024 CPUtime=1.08 cores=0-7
/proc/17524/task/17543/stat : 17543 (java) S 17522 17522 14714 0 -1 1077944384 8061 0 0 0 54 54 0 0 20 0 28 0 418211094 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041515014704 140042140613250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17569] ppid=17522 vsize=28768328 memory=2124 CPUtime=2492.91 cores=0-7
/proc/17524/task/17569/stat : 17569 (java) R 17522 17522 14714 0 -1 4202560 19807 0 0 0 249281 10 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041429941296 140041785127586 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17570] ppid=17522 vsize=28768328 memory=7716 CPUtime=2492.95 cores=0-7
/proc/17524/task/17570/stat : 17570 (java) R 17522 17522 14714 0 -1 4202560 25161 0 0 0 249285 10 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041434152416 140041785128936 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17571] ppid=17522 vsize=28768328 memory=504 CPUtime=2490.33 cores=0-7
/proc/17524/task/17571/stat : 17571 (java) R 17522 17522 14714 0 -1 4202560 123523 0 0 0 248906 127 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041435206312 140041788337720 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17572] ppid=17522 vsize=28768328 memory=1564 CPUtime=2491.91 cores=0-7
/proc/17524/task/17572/stat : 17572 (java) R 17522 17522 14714 0 -1 4202560 101792 0 0 0 249066 125 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041432047432 140042125812484 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17573] ppid=17522 vsize=28768328 memory=920 CPUtime=2493.31 cores=0-7
/proc/17524/task/17573/stat : 17573 (java) R 17522 17522 14714 0 -1 4202560 28643 0 0 0 249283 48 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041433103376 140041784706651 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17574] ppid=17522 vsize=28768328 memory=4244 CPUtime=2489.43 cores=0-7
/proc/17524/task/17574/stat : 17574 (java) R 17522 17522 14714 0 -1 4202560 32560 0 0 0 248881 62 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041506042200 140041784706292 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17575] ppid=17522 vsize=28768328 memory=1412 CPUtime=2487.57 cores=0-7
/proc/17524/task/17575/stat : 17575 (java) R 17522 17522 14714 0 -1 4202560 38273 0 0 0 248648 109 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041428889816 140041788315336 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
[pid=17524/tid=17576] ppid=17522 vsize=28768328 memory=3660 CPUtime=2489.97 cores=0-7
/proc/17524/task/17576/stat : 17576 (java) R 17522 17522 14714 0 -1 4202560 54012 0 0 0 248844 153 0 0 20 0 28 0 418211481 29458767872 568110 33554432000 4194304 4196468 140728229254720 140041430995432 140041789230017 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 9011200 140728229262314 140728229262486 140728229262486 140728229265359 0
Current children cumulated CPU time: 20034.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2273896 KiB

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

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

[startup+2520.1 s]
# the end of solver process 17524 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20023.1 s, system=12.0634 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): 20035.2
CPU user time (s): 20023.1
CPU system time (s): 12.0634
CPU usage (%): 795.014
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 3292208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20023.1
system time used= 12.0634
maximum resident set size= 3290780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1095094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194405
involuntary context switches= 239852


# summary of solver processes directly reported to runsolver:
#   pid: 17522,17524
#   total CPU time (s): 20035.2
#   total CPU user time (s): 20023.1
#   total CPU system time (s): 12.0634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9885 second user time and 31.9505 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	31.2143
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394646

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
