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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	33	20018.7	2520.11
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 (15417 MiB free)
  memory of node 1: 16384 MiB (13468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394021-1568419368/watcher-4394021-1568419368 -o /tmp/evaluation-result-4394021-1568419368/solver-4394021-1568419368 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568416726-30935 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 916148090 HOME/instance-4394021-1568419368.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=32105, runsolver pid=32102
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 4.71 6.70 7.00 2/213 32126
/proc/meminfo: memFree=29562456/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28227388 memory=30036 CPUtime=0.12 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 5928 0 0 0 11 1 0 0 20 0 20 0 417873315 28904845312 7509 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7056847 7509 3138 1 0 7019032 0
[pid=32107/tid=32108] ppid=32105 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) R 32105 32105 30908 0 -1 4202560 3865 0 0 0 8 1 0 0 20 0 20 0 417873315 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762851470608 139762847255958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28227388 memory=139742443763328 CPUtime=0 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32112] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32112/stat : 32112 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762395360400 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32113] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32113/stat : 32113 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762394306832 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32114] ppid=32105 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32114/stat : 32114 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762393254288 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32115] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32115/stat : 32115 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762392201744 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32116] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32116/stat : 32116 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 7509 33554432000 4194304 4196468 140730186032400 139762391149200 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32117] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32117/stat : 32117 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873317 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761244125680 139762847255170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32118] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32118/stat : 32118 (java) S 32105 32105 30908 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417873318 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761243071904 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32119] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32119/stat : 32119 (java) S 32105 32105 30908 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417873318 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761242019312 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32120] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32120/stat : 32120 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873320 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761240967888 139762847262619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32121] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32121/stat : 32121 (java) S 32105 32105 30908 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761239914480 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32122] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32122/stat : 32122 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761238861936 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32123] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32123/stat : 32123 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761237809392 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32124] ppid=32105 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/32107/task/32124/stat : 32124 (java) R 32105 32105 30908 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761236756848 139762826176270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32125] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32125/stat : 32125 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761235704544 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32126] ppid=32105 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32126/stat : 32126 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 7509 33554432000 4194304 4196468 140730186032400 139761234652080 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31488 KiB

[startup+0.210562 s]*
/proc/loadavg: 4.71 6.70 7.00 2/213 32126
/proc/meminfo: memFree=29548720/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28227388 memory=41284 CPUtime=0.33 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 9572 0 0 0 30 3 0 0 20 0 20 0 417873315 28904845312 10321 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7056847 10321 3300 1 0 7019032 0
[pid=32107/tid=32108] ppid=32105 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) R 32105 32105 30908 0 -1 4202560 6689 0 0 0 17 2 0 0 20 0 20 0 417873315 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762851477728 139762831324510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28227388 memory=329 CPUtime=0 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28227388 memory=139742446818998 CPUtime=0 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32112] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32112/stat : 32112 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762395360400 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32113] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32113/stat : 32113 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762394306832 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32114] ppid=32105 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32114/stat : 32114 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762393254288 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32115] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32115/stat : 32115 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762392201744 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32116] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32116/stat : 32116 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28904845312 10321 33554432000 4194304 4196468 140730186032400 139762391149200 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32117] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32117/stat : 32117 (java) S 32105 32105 30908 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417873317 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761244125680 139762847255170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32118] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32118/stat : 32118 (java) S 32105 32105 30908 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417873318 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761243071904 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32119] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32119/stat : 32119 (java) S 32105 32105 30908 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417873318 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761242019312 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32120] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32120/stat : 32120 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873320 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761240967888 139762847262619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32121] ppid=32105 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/32107/task/32121/stat : 32121 (java) S 32105 32105 30908 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761239914480 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32122] ppid=32105 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/32107/task/32122/stat : 32122 (java) S 32105 32105 30908 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761238861936 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32123] ppid=32105 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/32107/task/32123/stat : 32123 (java) S 32105 32105 30908 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761237809392 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32124] ppid=32105 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/32107/task/32124/stat : 32124 (java) R 32105 32105 30908 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761236756848 139762831497265 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32125] ppid=32105 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32125/stat : 32125 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761235704544 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32126] ppid=32105 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32126/stat : 32126 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873321 28904845312 10321 33554432000 4194304 4196468 140730186032400 139761234652080 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42736 KiB

[startup+0.310434 s]*
/proc/loadavg: 4.71 6.70 7.00 5/213 32126
/proc/meminfo: memFree=29541460/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28231644 memory=49916 CPUtime=0.51 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 10865 0 0 0 47 4 0 0 20 0 20 0 417873315 28909203456 12479 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7057911 12479 3347 1 0 7019032 0
[pid=32107/tid=32108] ppid=32105 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) R 32105 32105 30908 0 -1 4202560 7766 0 0 0 26 3 0 0 20 0 20 0 417873315 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762851475136 139762847265949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32112] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32112/stat : 32112 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762395360400 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32113] ppid=32105 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/32107/task/32113/stat : 32113 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762394306832 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32114] ppid=32105 vsize=28231644 memory=139742331106223 CPUtime=0 cores=0-7
/proc/32107/task/32114/stat : 32114 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762393254288 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32115] ppid=32105 vsize=28231644 memory=139742331108528 CPUtime=0 cores=0-7
/proc/32107/task/32115/stat : 32115 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762392201744 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32116] ppid=32105 vsize=28231644 memory=139742331110832 CPUtime=0 cores=0-7
/proc/32107/task/32116/stat : 32116 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28909203456 12511 33554432000 4194304 4196468 140730186032400 139762391149200 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32117] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32117/stat : 32117 (java) S 32105 32105 30908 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417873317 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761244125680 139762847255170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32118] ppid=32105 vsize=28231644 memory=279484662228624 CPUtime=0 cores=0-7
/proc/32107/task/32118/stat : 32118 (java) S 32105 32105 30908 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417873318 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761243071904 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32119] ppid=32105 vsize=28231644 memory=279484662235536 CPUtime=0 cores=0-7
/proc/32107/task/32119/stat : 32119 (java) S 32105 32105 30908 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417873318 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761242019312 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32120] ppid=32105 vsize=28231644 memory=279484662176784 CPUtime=0 cores=0-7
/proc/32107/task/32120/stat : 32120 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873320 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761240967888 139762847262619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32121] ppid=32105 vsize=28231644 memory=279484662249360 CPUtime=0.03 cores=0-7
/proc/32107/task/32121/stat : 32121 (java) S 32105 32105 30908 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761239914480 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32122] ppid=32105 vsize=28231644 memory=279484662256272 CPUtime=0.01 cores=0-7
/proc/32107/task/32122/stat : 32122 (java) S 32105 32105 30908 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761238861936 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32123] ppid=32105 vsize=28231644 memory=279484662253968 CPUtime=0.03 cores=0-7
/proc/32107/task/32123/stat : 32123 (java) R 32105 32105 30908 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761237809392 139762828433724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32124] ppid=32105 vsize=28231644 memory=279484662270128 CPUtime=0.13 cores=0-7
/proc/32107/task/32124/stat : 32124 (java) S 32105 32105 30908 0 -1 1077944384 821 0 0 0 13 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761236756848 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32125] ppid=32105 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32125/stat : 32125 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761235704544 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32126] ppid=32105 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/32107/task/32126/stat : 32126 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417873321 28909203456 12511 33554432000 4194304 4196468 140730186032400 139761234652080 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51368 KiB

[startup+0.701014 s]
/proc/loadavg: 4.71 6.70 7.00 6/213 32126
/proc/meminfo: memFree=29512016/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28233768 memory=119440 CPUtime=1.93 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 14918 0 0 0 186 7 0 0 20 0 20 0 417873315 28911378432 29860 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7058442 29860 3442 1 0 7019544 0
[pid=32107/tid=32108] ppid=32105 vsize=28233768 memory=279484662628016 CPUtime=0.67 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) R 32105 32105 30908 0 -1 4202560 8344 0 0 0 63 4 0 0 20 0 20 0 417873315 28911378432 29860 33554432000 4194304 4196468 140730186032400 139762851478240 139762480784066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28233768 memory=139742331315056 CPUtime=0 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28911378432 29860 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417873316 28911378432 29860 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417873316 28911378432 29860 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0

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

[pid=32107/tid=32174] ppid=32105 vsize=28768328 memory=1760 CPUtime=2406.82 cores=0-7
/proc/32107/task/32174/stat : 32174 (java) R 32105 32105 30908 0 -1 4202560 18930 0 0 0 240635 47 0 0 20 0 28 0 417874540 29458767872 643389 33554432000 4194304 4196468 140730186032400 139761217028568 139762490311961 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 19401.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2575008 KiB

[startup+2502.3 s]
/proc/loadavg: 8.74 8.37 8.18 9/220 32360
/proc/meminfo: memFree=27090932/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28768328 memory=2489424 CPUtime=19877.1 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 902966 0 0 0 1985749 1964 0 0 20 0 28 0 417873315 29458767872 622356 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7192082 622356 3549 1 0 7153184 0
[pid=32107/tid=32108] ppid=32105 vsize=28768328 memory=2491476 CPUtime=6.87 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) S 32105 32105 30908 0 -1 1077944384 12296 0 0 0 660 27 0 0 20 0 28 0 417873315 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762851484800 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28768328 memory=2496092 CPUtime=10.22 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 36524 0 0 0 963 59 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28768328 memory=2495580 CPUtime=10.13 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 27826 0 0 0 952 61 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28768328 memory=1452 CPUtime=10.08 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 29937 0 0 0 950 58 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32112] ppid=32105 vsize=28768328 memory=1452 CPUtime=10.09 cores=0-7
/proc/32107/task/32112/stat : 32112 (java) S 32105 32105 30908 0 -1 1077944384 26224 0 0 0 951 58 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762395360400 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32113] ppid=32105 vsize=28768328 memory=1452 CPUtime=10.01 cores=0-7
/proc/32107/task/32113/stat : 32113 (java) S 32105 32105 30908 0 -1 1077944384 25933 0 0 0 943 58 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762394306832 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32114] ppid=32105 vsize=28768328 memory=3612 CPUtime=10.12 cores=0-7
/proc/32107/task/32114/stat : 32114 (java) S 32105 32105 30908 0 -1 1077944384 27048 0 0 0 954 58 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762393254288 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32115] ppid=32105 vsize=28768328 memory=40052 CPUtime=10.16 cores=0-7
/proc/32107/task/32115/stat : 32115 (java) S 32105 32105 30908 0 -1 1077944384 30548 0 0 0 959 57 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762392201744 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32116] ppid=32105 vsize=28768328 memory=1452 CPUtime=10.12 cores=0-7
/proc/32107/task/32116/stat : 32116 (java) S 32105 32105 30908 0 -1 1077944384 31700 0 0 0 952 60 0 0 20 0 28 0 417873316 29458767872 622356 33554432000 4194304 4196468 140730186032400 139762391149200 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32117] ppid=32105 vsize=28768328 memory=3612 CPUtime=5.01 cores=0-7
/proc/32107/task/32117/stat : 32117 (java) S 32105 32105 30908 0 -1 1077944384 101579 0 0 0 244 257 0 0 20 0 28 0 417873317 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761244125680 139762847255170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32118] ppid=32105 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32107/task/32118/stat : 32118 (java) S 32105 32105 30908 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 417873318 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761243071968 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32119] ppid=32105 vsize=28768328 memory=2701888 CPUtime=0 cores=0-7
/proc/32107/task/32119/stat : 32119 (java) S 32105 32105 30908 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 417873318 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761242019328 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32120] ppid=32105 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32107/task/32120/stat : 32120 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417873320 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761240967888 139762847262619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32121] ppid=32105 vsize=28768328 memory=4000 CPUtime=6.28 cores=0-7
/proc/32107/task/32121/stat : 32121 (java) S 32105 32105 30908 0 -1 1077944384 25858 0 0 0 623 5 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761239914480 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32122] ppid=32105 vsize=28768328 memory=2494040 CPUtime=5.84 cores=0-7
/proc/32107/task/32122/stat : 32122 (java) S 32105 32105 30908 0 -1 1077944384 28524 0 0 0 578 6 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761238861936 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32123] ppid=32105 vsize=28768328 memory=0 CPUtime=5.99 cores=0-7
/proc/32107/task/32123/stat : 32123 (java) S 32105 32105 30908 0 -1 1077944384 29079 0 0 0 592 7 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761237809392 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32124] ppid=32105 vsize=28768328 memory=3612 CPUtime=1.4 cores=0-7
/proc/32107/task/32124/stat : 32124 (java) S 32105 32105 30908 0 -1 1077944384 16135 0 0 0 136 4 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761236756848 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32125] ppid=32105 vsize=28768328 memory=40052 CPUtime=0 cores=0-7
/proc/32107/task/32125/stat : 32125 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761235704544 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32126] ppid=32105 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7
/proc/32107/task/32126/stat : 32126 (java) S 32105 32105 30908 0 -1 1077944384 5377 0 0 0 74 24 0 0 20 0 28 0 417873321 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761234652080 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32167] ppid=32105 vsize=28768328 memory=5495680850141879452 CPUtime=2467.96 cores=0-7
/proc/32107/task/32167/stat : 32167 (java) R 32105 32105 30908 0 -1 4202560 96615 0 0 0 246474 322 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761218082400 139762482188679 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32168] ppid=32105 vsize=28768328 memory=2547392 CPUtime=2471.68 cores=0-7
/proc/32107/task/32168/stat : 32168 (java) R 32105 32105 30908 0 -1 4202560 18335 0 0 0 247144 24 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761221242176 139762491799016 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32169] ppid=32105 vsize=28768328 memory=1452 CPUtime=2467.83 cores=0-7
/proc/32107/task/32169/stat : 32169 (java) R 32105 32105 30908 0 -1 4202560 171027 0 0 0 246482 301 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761220185520 139762487844417 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32170] ppid=32105 vsize=28768328 memory=3612 CPUtime=2461.66 cores=0-7
/proc/32107/task/32170/stat : 32170 (java) R 32105 32105 30908 0 -1 4202560 83214 0 0 0 245764 402 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761223344400 139762483029509 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32171] ppid=32105 vsize=28768328 memory=1452 CPUtime=2459.55 cores=0-7
/proc/32107/task/32171/stat : 32171 (java) R 32105 32105 30908 0 -1 4202560 13978 0 0 0 245931 24 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761219133344 139762490312138 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32172] ppid=32105 vsize=28768328 memory=2511996 CPUtime=2471.72 cores=0-7
/proc/32107/task/32172/stat : 32172 (java) R 32105 32105 30908 0 -1 4202560 20460 0 0 0 247135 37 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761215975640 139762490312080 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32173] ppid=32105 vsize=28768328 memory=1452 CPUtime=2467.17 cores=0-7
/proc/32107/task/32173/stat : 32173 (java) R 32105 32105 30908 0 -1 4202560 20161 0 0 0 246688 29 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761222292248 139762490810467 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32174] ppid=32105 vsize=28768328 memory=1452 CPUtime=2465.81 cores=0-7
/proc/32107/task/32174/stat : 32174 (java) R 32105 32105 30908 0 -1 4202560 20068 0 0 0 246533 48 0 0 20 0 28 0 417874540 29458767872 622356 33554432000 4194304 4196468 140730186032400 139761217028432 139762490312133 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 19877.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2490876 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.53 8.34 8.17 9/219 32360
/proc/meminfo: memFree=27121484/32770624 swapFree=66958232/67108860
[pid=32105] ppid=32102 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32105/stat : 32105 (xcsp3-exec) S 32102 32105 30908 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417873315 115843072 363 33554432000 4194304 5098028 140727354093040 140727354091144 140177014002300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11755520 140727354094454 140727354094697 140727354094697 140727354097610 0
/proc/32105/statm: 28282 363 305 221 0 87 0
[pid=32107] ppid=32105 vsize=28768328 memory=2461724 CPUtime=20018 cores=0-7
/proc/32107/stat : 32107 (java) S 32105 32105 30908 0 -1 1077944320 912248 0 0 0 1999832 1971 0 0 20 0 28 0 417873315 29458767872 615431 33554432000 4194304 4196468 140730186032400 140730186014944 139762847244023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
/proc/32107/statm: 7192082 615431 3549 1 0 7153184 0
[pid=32107/tid=32108] ppid=32105 vsize=28768328 memory=2832 CPUtime=6.87 cores=0-7
/proc/32107/task/32108/stat : 32108 (java) S 32105 32105 30908 0 -1 1077944384 12296 0 0 0 660 27 0 0 20 0 28 0 417873315 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762851484800 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32109] ppid=32105 vsize=28768328 memory=4126316290023845779 CPUtime=10.33 cores=0-7
/proc/32107/task/32109/stat : 32109 (java) S 32105 32105 30908 0 -1 1077944384 36770 0 0 0 974 59 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762398518032 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32110] ppid=32105 vsize=28768328 memory=2475060 CPUtime=10.23 cores=0-7
/proc/32107/task/32110/stat : 32110 (java) S 32105 32105 30908 0 -1 1077944384 28962 0 0 0 962 61 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762397465488 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32111] ppid=32105 vsize=28768328 memory=1056 CPUtime=10.18 cores=0-7
/proc/32107/task/32111/stat : 32111 (java) S 32105 32105 30908 0 -1 1077944384 30359 0 0 0 960 58 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762396412944 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32112] ppid=32105 vsize=28768328 memory=4000 CPUtime=10.2 cores=0-7
/proc/32107/task/32112/stat : 32112 (java) S 32105 32105 30908 0 -1 1077944384 26607 0 0 0 962 58 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762395360400 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32113] ppid=32105 vsize=28768328 memory=1552 CPUtime=10.12 cores=0-7
/proc/32107/task/32113/stat : 32113 (java) S 32105 32105 30908 0 -1 1077944384 26454 0 0 0 954 58 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762394306832 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32114] ppid=32105 vsize=28768328 memory=1556 CPUtime=10.22 cores=0-7
/proc/32107/task/32114/stat : 32114 (java) S 32105 32105 30908 0 -1 1077944384 27464 0 0 0 964 58 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762393254288 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32115] ppid=32105 vsize=28768328 memory=1196 CPUtime=10.26 cores=0-7
/proc/32107/task/32115/stat : 32115 (java) S 32105 32105 30908 0 -1 1077944384 31089 0 0 0 969 57 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762392201744 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32116] ppid=32105 vsize=28768328 memory=1044 CPUtime=10.22 cores=0-7
/proc/32107/task/32116/stat : 32116 (java) S 32105 32105 30908 0 -1 1077944384 32402 0 0 0 962 60 0 0 20 0 28 0 417873316 29458767872 615431 33554432000 4194304 4196468 140730186032400 139762391149200 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32117] ppid=32105 vsize=28768328 memory=712 CPUtime=5.03 cores=0-7
/proc/32107/task/32117/stat : 32117 (java) S 32105 32105 30908 0 -1 1077944384 102412 0 0 0 245 258 0 0 20 0 28 0 417873317 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761244125680 139762847255170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32118] ppid=32105 vsize=28768328 memory=2832 CPUtime=0 cores=0-7
/proc/32107/task/32118/stat : 32118 (java) S 32105 32105 30908 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 417873318 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761243071968 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32119] ppid=32105 vsize=28768328 memory=8000 CPUtime=0 cores=0-7
/proc/32107/task/32119/stat : 32119 (java) S 32105 32105 30908 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 417873318 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761242019328 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32120] ppid=32105 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/32107/task/32120/stat : 32120 (java) S 32105 32105 30908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417873320 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761240967888 139762847262619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32121] ppid=32105 vsize=28768328 memory=1452 CPUtime=6.28 cores=0-7
/proc/32107/task/32121/stat : 32121 (java) S 32105 32105 30908 0 -1 1077944384 25864 0 0 0 623 5 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761239914480 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32122] ppid=32105 vsize=28768328 memory=2463260 CPUtime=5.84 cores=0-7
/proc/32107/task/32122/stat : 32122 (java) S 32105 32105 30908 0 -1 1077944384 28530 0 0 0 578 6 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761238861936 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32123] ppid=32105 vsize=28768328 memory=1560 CPUtime=5.99 cores=0-7
/proc/32107/task/32123/stat : 32123 (java) S 32105 32105 30908 0 -1 1077944384 29085 0 0 0 592 7 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761237809392 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32124] ppid=32105 vsize=28768328 memory=932 CPUtime=1.4 cores=0-7
/proc/32107/task/32124/stat : 32124 (java) S 32105 32105 30908 0 -1 1077944384 16141 0 0 0 136 4 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761236756848 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32125] ppid=32105 vsize=28768328 memory=1568 CPUtime=0 cores=0-7
/proc/32107/task/32125/stat : 32125 (java) S 32105 32105 30908 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761235704544 139762847254229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32126] ppid=32105 vsize=28768328 memory=1444 CPUtime=1 cores=0-7
/proc/32107/task/32126/stat : 32126 (java) S 32105 32105 30908 0 -1 1077944384 5420 0 0 0 75 25 0 0 20 0 28 0 417873321 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761234652080 139762847255170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32167] ppid=32105 vsize=28768328 memory=1452 CPUtime=2485.43 cores=0-7
/proc/32107/task/32167/stat : 32167 (java) R 32105 32105 30908 0 -1 4202560 97111 0 0 0 248221 322 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761218079720 139762484530974 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32168] ppid=32105 vsize=28768328 memory=2471984 CPUtime=2489.25 cores=0-7
/proc/32107/task/32168/stat : 32168 (java) R 32105 32105 30908 0 -1 4202560 18632 0 0 0 248901 24 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761221239960 139762484137481 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32169] ppid=32105 vsize=28768328 memory=1452 CPUtime=2485.41 cores=0-7
/proc/32107/task/32169/stat : 32169 (java) R 32105 32105 30908 0 -1 4202560 172697 0 0 0 248237 304 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761220185408 139762484434944 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32170] ppid=32105 vsize=28768328 memory=2475060 CPUtime=2479.09 cores=0-7
/proc/32107/task/32170/stat : 32170 (java) R 32105 32105 30908 0 -1 4202560 83712 0 0 0 247506 403 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761223344536 139762481570048 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32171] ppid=32105 vsize=28768328 memory=1452 CPUtime=2477.09 cores=0-7
/proc/32107/task/32171/stat : 32171 (java) R 32105 32105 30908 0 -1 4202560 14269 0 0 0 247685 24 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761219133384 139762490312075 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32172] ppid=32105 vsize=28768328 memory=2491476 CPUtime=2489.13 cores=0-7
/proc/32107/task/32172/stat : 32172 (java) R 32105 32105 30908 0 -1 4202560 20756 0 0 0 248876 37 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761215978048 139762490312061 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32173] ppid=32105 vsize=28768328 memory=1452 CPUtime=2484.73 cores=0-7
/proc/32107/task/32173/stat : 32173 (java) R 32105 32105 30908 0 -1 4202560 20412 0 0 0 248444 29 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761222291472 139762489591920 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
[pid=32107/tid=32174] ppid=32105 vsize=28768328 memory=1452 CPUtime=2483.32 cores=0-7
/proc/32107/task/32174/stat : 32174 (java) R 32105 32105 30908 0 -1 4202560 20284 0 0 0 248283 49 0 0 20 0 28 0 417874540 29458767872 615431 33554432000 4194304 4196468 140730186032400 139761217029016 139762484137519 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 24461312 140730186040298 140730186040470 140730186040470 140730186043343 0
Current children cumulated CPU time: 20018 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2463176 KiB

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

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

[startup+2520.11 s]
# the end of solver process 32107 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19998.9 s, system=19.7335 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.11
CPU time (s): 20018.7
CPU user time (s): 19998.9
CPU system time (s): 19.7335
CPU usage (%): 794.358
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 8723648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19998.9
system time used= 19.7335
maximum resident set size= 8730388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 913174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117628
involuntary context switches= 223777


# summary of solver processes directly reported to runsolver:
#   pid: 32105,32107
#   total CPU time (s): 20018.7
#   total CPU user time (s): 19998.9
#   total CPU system time (s): 19.7335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5962 second user time and 30.3542 second system time

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

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
