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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT (TO)	24	20032.5	2520.05
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 (12914 MiB free)
  memory of node 1: 16384 MiB (11917 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404806-1568994657/watcher-4404806-1568994657 -o /var/tmp/evaluation-result-4404806-1568994657/solver-4404806-1568994657 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2079991129 HOME/instance-4404806-1568994657.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=3513, runsolver pid=3510
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 7.19 6.90 7.25 3/212 3534
/proc/meminfo: memFree=25411016/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28227396 memory=27860 CPUtime=0.09 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 5448 0 0 0 8 1 0 0 20 0 20 0 475714316 28904853504 6965 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7056849 6965 3048 1 0 7019032 0
[pid=3515/tid=3516] ppid=3513 vsize=28227396 memory=-7096649868621430206 CPUtime=0.06 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) R 3513 3513 2945 0 -1 4202560 3510 0 0 0 6 0 0 0 20 0 20 0 475714316 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877096577056 139877092369565 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28227396 memory=140289838491264 CPUtime=0 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3520] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3520/stat : 3520 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877041810576 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3521] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3521/stat : 3521 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877040757008 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3522] ppid=3513 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3522/stat : 3522 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877039704464 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3523] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3523/stat : 3523 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877038651920 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3524] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3524/stat : 3524 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 7031 33554432000 4194304 4196468 140723125910992 139877037599376 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3525] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3525/stat : 3525 (java) S 3513 3513 2945 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 475714318 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875220875760 139877092358786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3526] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3526/stat : 3526 (java) S 3513 3513 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475714319 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875219821984 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3527] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3527/stat : 3527 (java) S 3513 3513 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475714319 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875218769392 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3528] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3528/stat : 3528 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714321 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875217717968 139877092366235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3529] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3529/stat : 3529 (java) S 3513 3513 2945 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 475714323 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875216664560 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3530] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3530/stat : 3530 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475714323 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875215612016 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3531] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3531/stat : 3531 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475714323 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875214559472 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3532] ppid=3513 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3515/task/3532/stat : 3532 (java) S 3513 3513 2945 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 475714323 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875213506928 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3533] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3533/stat : 3533 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475714324 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875212454624 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3534] ppid=3513 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3534/stat : 3534 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714324 28904853504 7031 33554432000 4194304 4196468 140723125910992 139875211402160 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29312 KiB

[startup+0.210521 s]*
/proc/loadavg: 7.19 6.90 7.25 3/212 3534
/proc/meminfo: memFree=25397648/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28227396 memory=40580 CPUtime=0.3 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 9446 0 0 0 27 3 0 0 20 0 20 0 475714316 28904853504 10145 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7056849 10145 3298 1 0 7019032 0
[pid=3515/tid=3516] ppid=3513 vsize=28227396 memory=8390339637985935414 CPUtime=0.18 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) R 3513 3513 2945 0 -1 4202560 6588 0 0 0 16 2 0 0 20 0 20 0 475714316 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877096582320 139877092368986 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28227396 memory=140289838512819 CPUtime=0 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3520] ppid=3513 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3520/stat : 3520 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877041810576 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3521] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3521/stat : 3521 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877040757008 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3522] ppid=3513 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3522/stat : 3522 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877039704464 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3523] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3523/stat : 3523 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877038651920 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3524] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3524/stat : 3524 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28904853504 10145 33554432000 4194304 4196468 140723125910992 139877037599376 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3525] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3525/stat : 3525 (java) S 3513 3513 2945 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 475714318 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875220875760 139877092358786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3526] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3526/stat : 3526 (java) S 3513 3513 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475714319 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875219821984 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3527] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3527/stat : 3527 (java) S 3513 3513 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475714319 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875218769392 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3528] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3528/stat : 3528 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714321 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875217717968 139877092366235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3529] ppid=3513 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3515/task/3529/stat : 3529 (java) S 3513 3513 2945 0 -1 1077944384 697 0 0 0 2 0 0 0 20 0 20 0 475714323 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875216664560 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3530] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3530/stat : 3530 (java) R 3513 3513 2945 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 20 0 475714323 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875215605040 139877084636928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3531] ppid=3513 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3515/task/3531/stat : 3531 (java) S 3513 3513 2945 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 475714323 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875214559472 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3532] ppid=3513 vsize=28227396 memory=0 CPUtime=0.06 cores=0-7
/proc/3515/task/3532/stat : 3532 (java) R 3513 3513 2945 0 -1 4202560 763 0 0 0 6 0 0 0 20 0 20 0 475714323 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875213506112 139877092368986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3533] ppid=3513 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3533/stat : 3533 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475714324 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875212454624 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3534] ppid=3513 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3534/stat : 3534 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714324 28904853504 10145 33554432000 4194304 4196468 140723125910992 139875211402160 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42032 KiB

[startup+0.310378 s]*
/proc/loadavg: 7.19 6.90 7.25 3/212 3534
/proc/meminfo: memFree=25392164/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28231652 memory=46712 CPUtime=0.48 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 10579 0 0 0 44 4 0 0 20 0 20 0 475714316 28909211648 11678 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7057913 11678 3332 1 0 7019032 0
[pid=3515/tid=3516] ppid=3513 vsize=28231652 memory=1398720917958146503 CPUtime=0.27 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) R 3513 3513 2945 0 -1 4202560 7638 0 0 0 25 2 0 0 20 0 20 0 475714316 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877096584672 139877072544273 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3520] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3520/stat : 3520 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877041810576 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3521] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3521/stat : 3521 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877040757008 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3522] ppid=3513 vsize=28231652 memory=140289738107567 CPUtime=0 cores=0-7
/proc/3515/task/3522/stat : 3522 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877039704464 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3523] ppid=3513 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3523/stat : 3523 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877038651920 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3524] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3524/stat : 3524 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28909211648 11678 33554432000 4194304 4196468 140723125910992 139877037599376 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3525] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3525/stat : 3525 (java) S 3513 3513 2945 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 475714318 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875220875760 139877092358786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3526] ppid=3513 vsize=28231652 memory=2110640345248772 CPUtime=0 cores=0-7
/proc/3515/task/3526/stat : 3526 (java) S 3513 3513 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475714319 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875219821984 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3527] ppid=3513 vsize=28231652 memory=2110640345222820 CPUtime=0 cores=0-7
/proc/3515/task/3527/stat : 3527 (java) S 3513 3513 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475714319 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875218769392 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3528] ppid=3513 vsize=28231652 memory=2110640345225124 CPUtime=0 cores=0-7
/proc/3515/task/3528/stat : 3528 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714321 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875217717968 139877092366235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3529] ppid=3513 vsize=28231652 memory=2110640345248548 CPUtime=0.03 cores=0-7
/proc/3515/task/3529/stat : 3529 (java) S 3513 3513 2945 0 -1 1077944384 705 0 0 0 3 0 0 0 20 0 20 0 475714323 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875216664560 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3530] ppid=3513 vsize=28231652 memory=2110640345229732 CPUtime=0.01 cores=0-7
/proc/3515/task/3530/stat : 3530 (java) S 3513 3513 2945 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 475714323 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875215612016 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3531] ppid=3513 vsize=28231652 memory=2110640345248580 CPUtime=0.02 cores=0-7
/proc/3515/task/3531/stat : 3531 (java) S 3513 3513 2945 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 475714323 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875214559472 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3532] ppid=3513 vsize=28231652 memory=2110640345248612 CPUtime=0.11 cores=0-7
/proc/3515/task/3532/stat : 3532 (java) R 3513 3513 2945 0 -1 4202560 829 0 0 0 11 0 0 0 20 0 20 0 475714323 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875213506928 139877085447486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3533] ppid=3513 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3533/stat : 3533 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475714324 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875212454624 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3534] ppid=3513 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3515/task/3534/stat : 3534 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714324 28909211648 11678 33554432000 4194304 4196468 140723125910992 139875211402160 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48164 KiB

[startup+0.70105 s]
/proc/loadavg: 7.19 6.90 7.25 5/212 3534
/proc/meminfo: memFree=25371048/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28233776 memory=111128 CPUtime=1.88 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 15903 0 0 0 181 7 0 0 20 0 20 0 475714316 28911386624 27782 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7058444 27782 3451 1 0 7019544 0
[pid=3515/tid=3516] ppid=3513 vsize=28233776 memory=4580 CPUtime=0.66 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) R 3513 3513 2945 0 -1 4202560 8449 0 0 0 62 4 0 0 20 0 20 0 475714316 28911386624 27782 33554432000 4194304 4196468 140723125910992 139877096584064 139876703268052 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475714317 28911386624 27782 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28911386624 27782 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475714317 28911386624 27782 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0

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

[pid=3515/tid=3558] ppid=3513 vsize=28768336 memory=2706208 CPUtime=2415.18 cores=0-7
/proc/3515/task/3558/stat : 3558 (java) R 3513 3513 2945 0 -1 4202560 57995 0 0 0 241383 135 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874890591024 139876707739945 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 19414.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2705096 KiB

[startup+2502.3 s]
/proc/loadavg: 8.35 8.50 8.31 9/221 3792
/proc/meminfo: memFree=22728272/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28768336 memory=2703644 CPUtime=19891.6 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 1172952 0 0 0 1988221 938 0 0 20 0 28 0 475714316 29458776064 675911 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7192084 675911 3559 1 0 7153184 0
[pid=3515/tid=3516] ppid=3513 vsize=28768336 memory=2703644 CPUtime=2.6 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) S 3513 3513 2945 0 -1 1077944384 11928 0 0 0 249 11 0 0 20 0 28 0 475714316 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877096588416 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28768336 memory=2703644 CPUtime=7.95 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 49936 0 0 0 771 24 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28768336 memory=2703644 CPUtime=7.85 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 53879 0 0 0 763 22 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28768336 memory=2703644 CPUtime=7.93 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 58402 0 0 0 767 26 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3520] ppid=3513 vsize=28768336 memory=0 CPUtime=7.9 cores=0-7
/proc/3515/task/3520/stat : 3520 (java) S 3513 3513 2945 0 -1 1077944384 54986 0 0 0 768 22 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877041810576 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3521] ppid=3513 vsize=28768336 memory=1452 CPUtime=7.88 cores=0-7
/proc/3515/task/3521/stat : 3521 (java) S 3513 3513 2945 0 -1 1077944384 50767 0 0 0 766 22 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877040757008 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3522] ppid=3513 vsize=28768336 memory=164 CPUtime=7.94 cores=0-7
/proc/3515/task/3522/stat : 3522 (java) S 3513 3513 2945 0 -1 1077944384 59490 0 0 0 767 27 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877039704464 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3523] ppid=3513 vsize=28768336 memory=8401352418782109792 CPUtime=7.97 cores=0-7
/proc/3515/task/3523/stat : 3523 (java) S 3513 3513 2945 0 -1 1077944384 56205 0 0 0 769 28 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877038651920 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3524] ppid=3513 vsize=28768336 memory=288230574492221466 CPUtime=7.97 cores=0-7
/proc/3515/task/3524/stat : 3524 (java) S 3513 3513 2945 0 -1 1077944384 47479 0 0 0 774 23 0 0 20 0 28 0 475714317 29458776064 675911 33554432000 4194304 4196468 140723125910992 139877037599376 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3525] ppid=3513 vsize=28768336 memory=301741420686082359 CPUtime=3.38 cores=0-7
/proc/3515/task/3525/stat : 3525 (java) S 3513 3513 2945 0 -1 1077944384 212950 0 0 0 258 80 0 0 20 0 28 0 475714318 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875220875760 139877092358786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3526] ppid=3513 vsize=28768336 memory=55508 CPUtime=0 cores=0-7
/proc/3515/task/3526/stat : 3526 (java) S 3513 3513 2945 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 475714319 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875219822048 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3527] ppid=3513 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/3515/task/3527/stat : 3527 (java) S 3513 3513 2945 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 475714319 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875218769408 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3528] ppid=3513 vsize=28768336 memory=84 CPUtime=0 cores=0-7
/proc/3515/task/3528/stat : 3528 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475714321 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875217717968 139877092366235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3529] ppid=3513 vsize=28768336 memory=245790 CPUtime=4.13 cores=0-7
/proc/3515/task/3529/stat : 3529 (java) S 3513 3513 2945 0 -1 1077944384 28562 0 0 0 407 6 0 0 20 0 28 0 475714323 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875216664560 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3530] ppid=3513 vsize=28768336 memory=3616 CPUtime=3.59 cores=0-7
/proc/3515/task/3530/stat : 3530 (java) S 3513 3513 2945 0 -1 1077944384 17283 0 0 0 356 3 0 0 20 0 28 0 475714323 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875215612016 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3531] ppid=3513 vsize=28768336 memory=55508 CPUtime=4.01 cores=0-7
/proc/3515/task/3531/stat : 3531 (java) S 3513 3513 2945 0 -1 1077944384 23495 0 0 0 397 4 0 0 20 0 28 0 475714323 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875214559472 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3532] ppid=3513 vsize=28768336 memory=1452 CPUtime=0.94 cores=0-7
/proc/3515/task/3532/stat : 3532 (java) S 3513 3513 2945 0 -1 1077944384 17697 0 0 0 91 3 0 0 20 0 28 0 475714323 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875213506928 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3533] ppid=3513 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/3515/task/3533/stat : 3533 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475714324 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875212454624 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3534] ppid=3513 vsize=28768336 memory=2703644 CPUtime=0.85 cores=0-7
/proc/3515/task/3534/stat : 3534 (java) S 3513 3513 2945 0 -1 1077944384 9970 0 0 0 0 85 0 0 20 0 28 0 475714324 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875211402160 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3551] ppid=3513 vsize=28768336 memory=2703644 CPUtime=2477.09 cores=0-7
/proc/3515/task/3551/stat : 3551 (java) R 3513 3513 2945 0 -1 4202560 55604 0 0 0 247675 34 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139875208638264 139876701384405 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3552] ppid=3513 vsize=28768336 memory=988 CPUtime=2477.44 cores=0-7
/proc/3515/task/3552/stat : 3552 (java) R 3513 3513 2945 0 -1 4202560 25028 0 0 0 247735 9 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874886378600 139876701384034 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3553] ppid=3513 vsize=28768336 memory=2024 CPUtime=2478.76 cores=0-7
/proc/3515/task/3553/stat : 3553 (java) R 3513 3513 2945 0 -1 4202560 23064 0 0 0 247870 6 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874888483048 139876710160466 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3554] ppid=3513 vsize=28768336 memory=1452 CPUtime=2474.55 cores=0-7
/proc/3515/task/3554/stat : 3554 (java) R 3513 3513 2945 0 -1 4202560 71737 0 0 0 247246 209 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874892693544 139876710108851 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3555] ppid=3513 vsize=28768336 memory=1452 CPUtime=2473.75 cores=0-7
/proc/3515/task/3555/stat : 3555 (java) R 3513 3513 2945 0 -1 4202560 35303 0 0 0 247328 47 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874891640888 139876707740036 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3556] ppid=3513 vsize=28768336 memory=1452 CPUtime=2474.47 cores=0-7
/proc/3515/task/3556/stat : 3556 (java) R 3513 3513 2945 0 -1 4202560 105287 0 0 0 247307 140 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874889537904 139876701383808 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3557] ppid=3513 vsize=28768336 memory=8112282956445269571 CPUtime=2474.77 cores=0-7
/proc/3515/task/3557/stat : 3557 (java) R 3513 3513 2945 0 -1 4202560 43168 0 0 0 247414 63 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874887430504 139876710160408 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3558] ppid=3513 vsize=28768336 memory=55508 CPUtime=2474.6 cores=0-7
/proc/3515/task/3558/stat : 3558 (java) R 3513 3513 2945 0 -1 4202560 58722 0 0 0 247324 136 0 0 20 0 28 0 475714654 29458776064 675911 33554432000 4194304 4196468 140723125910992 139874890588400 139876707739844 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 19891.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2705096 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.32 8.48 8.31 2/221 3795
/proc/meminfo: memFree=22712664/32770624 swapFree=67002252/67108860
[pid=3513] ppid=3510 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3513/stat : 3513 (xcsp3-exec) S 3510 3513 2945 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475714316 115843072 363 33554432000 4194304 5098028 140722405202560 140722405200664 140334431945340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16814080 140722405208913 140722405209173 140722405209173 140722405212102 0
/proc/3513/statm: 28282 363 304 221 0 87 0
[pid=3515] ppid=3513 vsize=28768336 memory=2717576 CPUtime=20032.4 cores=0-7
/proc/3515/stat : 3515 (java) S 3513 3513 2945 0 -1 1077944320 1182298 0 0 0 2002290 946 0 0 20 0 28 0 475714316 29458776064 679394 33554432000 4194304 4196468 140723125910992 140723125893536 139877092347639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
/proc/3515/statm: 7192084 679394 3559 1 0 7153184 0
[pid=3515/tid=3516] ppid=3513 vsize=28768336 memory=1398720917958146503 CPUtime=2.6 cores=0-7
/proc/3515/task/3516/stat : 3516 (java) S 3513 3513 2945 0 -1 1077944384 11928 0 0 0 249 11 0 0 20 0 28 0 475714316 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877096588416 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3517] ppid=3513 vsize=28768336 memory=4872558044660077418 CPUtime=8.09 cores=0-7
/proc/3515/task/3517/stat : 3517 (java) S 3513 3513 2945 0 -1 1077944384 51416 0 0 0 785 24 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877044968208 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3518] ppid=3513 vsize=28768336 memory=1556 CPUtime=7.99 cores=0-7
/proc/3515/task/3518/stat : 3518 (java) S 3513 3513 2945 0 -1 1077944384 54051 0 0 0 777 22 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877043915664 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3519] ppid=3513 vsize=28768336 memory=500 CPUtime=8.07 cores=0-7
/proc/3515/task/3519/stat : 3519 (java) S 3513 3513 2945 0 -1 1077944384 58566 0 0 0 781 26 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877042863120 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3520] ppid=3513 vsize=28768336 memory=932 CPUtime=8.04 cores=0-7
/proc/3515/task/3520/stat : 3520 (java) S 3513 3513 2945 0 -1 1077944384 55240 0 0 0 782 22 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877041810576 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3521] ppid=3513 vsize=28768336 memory=1808 CPUtime=8.03 cores=0-7
/proc/3515/task/3521/stat : 3521 (java) R 3513 3513 2945 0 -1 1077944384 51424 0 0 0 781 22 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877040757008 139877092357845 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3522] ppid=3513 vsize=28768336 memory=1656 CPUtime=8.09 cores=0-7
/proc/3515/task/3522/stat : 3522 (java) S 3513 3513 2945 0 -1 1077944384 59933 0 0 0 781 28 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877039704464 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3523] ppid=3513 vsize=28768336 memory=804 CPUtime=8.11 cores=0-7
/proc/3515/task/3523/stat : 3523 (java) S 3513 3513 2945 0 -1 1077944384 57175 0 0 0 783 28 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877038651920 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3524] ppid=3513 vsize=28768336 memory=1448 CPUtime=8.11 cores=0-7
/proc/3515/task/3524/stat : 3524 (java) S 3513 3513 2945 0 -1 1077944384 48247 0 0 0 788 23 0 0 20 0 28 0 475714317 29458776064 679394 33554432000 4194304 4196468 140723125910992 139877037599376 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3525] ppid=3513 vsize=28768336 memory=8112282956445269571 CPUtime=3.43 cores=0-7
/proc/3515/task/3525/stat : 3525 (java) S 3513 3513 2945 0 -1 1077944384 214660 0 0 0 261 82 0 0 20 0 28 0 475714318 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875220875760 139877092358786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3526] ppid=3513 vsize=28768336 memory=1656 CPUtime=0 cores=0-7
/proc/3515/task/3526/stat : 3526 (java) S 3513 3513 2945 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 475714319 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875219822048 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3527] ppid=3513 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/3515/task/3527/stat : 3527 (java) S 3513 3513 2945 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 475714319 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875218769408 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3528] ppid=3513 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/3515/task/3528/stat : 3528 (java) S 3513 3513 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475714321 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875217717968 139877092366235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3529] ppid=3513 vsize=28768336 memory=1980 CPUtime=4.13 cores=0-7
/proc/3515/task/3529/stat : 3529 (java) S 3513 3513 2945 0 -1 1077944384 28566 0 0 0 407 6 0 0 20 0 28 0 475714323 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875216664560 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3530] ppid=3513 vsize=28768336 memory=2676 CPUtime=3.59 cores=0-7
/proc/3515/task/3530/stat : 3530 (java) S 3513 3513 2945 0 -1 1077944384 17287 0 0 0 356 3 0 0 20 0 28 0 475714323 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875215612016 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3531] ppid=3513 vsize=28768336 memory=1764 CPUtime=4.01 cores=0-7
/proc/3515/task/3531/stat : 3531 (java) S 3513 3513 2945 0 -1 1077944384 23499 0 0 0 397 4 0 0 20 0 28 0 475714323 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875214559472 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3532] ppid=3513 vsize=28768336 memory=111632 CPUtime=0.94 cores=0-7
/proc/3515/task/3532/stat : 3532 (java) S 3513 3513 2945 0 -1 1077944384 17701 0 0 0 91 3 0 0 20 0 28 0 475714323 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875213506928 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3533] ppid=3513 vsize=28768336 memory=796 CPUtime=0 cores=0-7
/proc/3515/task/3533/stat : 3533 (java) S 3513 3513 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475714324 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875212454624 139877092357845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3534] ppid=3513 vsize=28768336 memory=1804 CPUtime=0.85 cores=0-7
/proc/3515/task/3534/stat : 3534 (java) S 3513 3513 2945 0 -1 1077944384 10023 0 0 0 0 85 0 0 20 0 28 0 475714324 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875211402160 139877092358786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3551] ppid=3513 vsize=28768336 memory=916 CPUtime=2494.49 cores=0-7
/proc/3515/task/3551/stat : 3551 (java) R 3513 3513 2945 0 -1 4202560 55928 0 0 0 249414 35 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139875208637552 139876708321043 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3552] ppid=3513 vsize=28768336 memory=8112282956445269571 CPUtime=2494.91 cores=0-7
/proc/3515/task/3552/stat : 3552 (java) R 3513 3513 2945 0 -1 4202560 25179 0 0 0 249482 9 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874886378464 139876709911115 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3553] ppid=3513 vsize=28768336 memory=288230574492221466 CPUtime=2496.26 cores=0-7
/proc/3515/task/3553/stat : 3553 (java) R 3513 3513 2945 0 -1 4202560 23233 0 0 0 249620 6 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874888482912 139876701384092 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3554] ppid=3513 vsize=28768336 memory=302867320592924983 CPUtime=2492.05 cores=0-7
/proc/3515/task/3554/stat : 3554 (java) R 3513 3513 2945 0 -1 4202560 71969 0 0 0 248996 209 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874892693376 139876710108313 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3555] ppid=3513 vsize=28768336 memory=14689690934577713 CPUtime=2491.23 cores=0-7
/proc/3515/task/3555/stat : 3555 (java) R 3513 3513 2945 0 -1 4202560 35521 0 0 0 249075 48 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874891640752 139876707739826 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3556] ppid=3513 vsize=28768336 memory=1764 CPUtime=2491.86 cores=0-7
/proc/3515/task/3556/stat : 3556 (java) R 3513 3513 2945 0 -1 4202560 105980 0 0 0 249045 141 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874889534832 139876709516523 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3557] ppid=3513 vsize=28768336 memory=111632 CPUtime=2492.26 cores=0-7
/proc/3515/task/3557/stat : 3557 (java) R 3513 3513 2945 0 -1 4202560 43402 0 0 0 249162 64 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874887433280 139876704441297 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
[pid=3515/tid=3558] ppid=3513 vsize=28768336 memory=796 CPUtime=2491.96 cores=0-7
/proc/3515/task/3558/stat : 3558 (java) R 3513 3513 2945 0 -1 1077944384 59360 0 0 0 249058 138 0 0 20 0 28 0 475714654 29458776064 679394 33554432000 4194304 4196468 140723125910992 139874890588384 139877092357845 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 32669696 140723125912534 140723125912710 140723125912710 140723125915599 0
Current children cumulated CPU time: 20032.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2719028 KiB

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

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

[startup+2520.05 s]
# the end of solver process 3515 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20023.1 s, system=9.48354 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.05
CPU time (s): 20032.5
CPU user time (s): 20023.1
CPU system time (s): 9.48354
CPU usage (%): 794.926
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3422116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20023.1
system time used= 9.48354
maximum resident set size= 3422276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1183163
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250700
involuntary context switches= 247648


# summary of solver processes directly reported to runsolver:
#   pid: 3513,3515
#   total CPU time (s): 20032.5
#   total CPU user time (s): 20023.1
#   total CPU system time (s): 9.48354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5458 second user time and 31.1952 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	29.6788
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 4404806

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
