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)	12	20023.8	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 (7988 MiB free)
  memory of node 1: 16384 MiB (4840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404601-1568994695/watcher-4404601-1568994695 -o /tmp/evaluation-result-4404601-1568994695/solver-4404601-1568994695 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568994624-13980 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2002528074 HOME/instance-4404601-1568994695.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
Current StackSize limit: 8192 KiB
solver pid=14386, runsolver pid=14383


[startup+0.100154 s]*
/proc/loadavg: 4.36 5.16 6.55 4/212 14407
/proc/meminfo: memFree=13120860/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28227396 memory=28956 CPUtime=0.12 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 5719 0 0 0 11 1 0 0 20 0 20 0 475738315 28904853504 7239 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7056849 7239 3099 1 0 7019032 0
[pid=14388/tid=14389] ppid=14386 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) R 14386 14386 13953 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222094699328 140222074512741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28227396 memory=140477046701600 CPUtime=0 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14393] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14393/stat : 14393 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222039931152 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14394] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14394/stat : 14394 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222038879376 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14395] ppid=14386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14395/stat : 14395 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222037826576 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14396] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14396/stat : 14396 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222036773776 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14397] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14397/stat : 14397 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 7239 33554432000 4194304 4196468 140720831423328 140222035720976 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14398] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14398/stat : 14398 (java) S 14386 14386 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475738318 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221273282928 140222090480258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14399] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14399/stat : 14399 (java) S 14386 14386 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475738318 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221272228896 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14400] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14400/stat : 14400 (java) S 14386 14386 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475738319 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221271176048 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14401] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14401/stat : 14401 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221270124368 140222090487707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14402] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14402/stat : 14402 (java) S 14386 14386 13953 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221269072752 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14403] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14403/stat : 14403 (java) R 14386 14386 13953 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221268011456 140222083574828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14404] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14404/stat : 14404 (java) S 14386 14386 13953 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221266967152 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14405] ppid=14386 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14388/task/14405/stat : 14405 (java) R 14386 14386 13953 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221265914352 140222090481046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14406] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14406/stat : 14406 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221264861792 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14407] ppid=14386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14407/stat : 14407 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 7239 33554432000 4194304 4196468 140720831423328 140221263809072 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30408 KiB

[startup+0.210638 s]*
/proc/loadavg: 4.36 5.16 6.55 4/212 14407
/proc/meminfo: memFree=13107508/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28227396 memory=40820 CPUtime=0.33 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 475738315 28904853504 10205 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7056849 10205 3260 1 0 7019032 0
[pid=14388/tid=14389] ppid=14386 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) R 14386 14386 13953 0 -1 4202560 6651 0 0 0 17 2 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222094703808 140222090481046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28227396 memory=3832766647668930208 CPUtime=0 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14393] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14393/stat : 14393 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222039931152 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14394] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14394/stat : 14394 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222038879376 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14395] ppid=14386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14395/stat : 14395 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222037826576 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14396] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14396/stat : 14396 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222036773776 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14397] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14397/stat : 14397 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28904853504 10205 33554432000 4194304 4196468 140720831423328 140222035720976 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14398] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14398/stat : 14398 (java) S 14386 14386 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475738318 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221273282928 140222090480258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14399] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14399/stat : 14399 (java) S 14386 14386 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475738318 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221272228896 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14400] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14400/stat : 14400 (java) S 14386 14386 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475738319 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221271176048 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14401] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14401/stat : 14401 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221270124368 140222090487707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14402] ppid=14386 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14388/task/14402/stat : 14402 (java) S 14386 14386 13953 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221269072752 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14403] ppid=14386 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14388/task/14403/stat : 14403 (java) S 14386 14386 13953 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221268019952 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14404] ppid=14386 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14388/task/14404/stat : 14404 (java) S 14386 14386 13953 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221266967152 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14405] ppid=14386 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/14388/task/14405/stat : 14405 (java) S 14386 14386 13953 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221265914352 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14406] ppid=14386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14406/stat : 14406 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221264861792 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14407] ppid=14386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14407/stat : 14407 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28904853504 10205 33554432000 4194304 4196468 140720831423328 140221263809072 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42272 KiB

[startup+0.317929 s]*
/proc/loadavg: 4.36 5.16 6.55 3/212 14407
/proc/meminfo: memFree=13100112/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28231652 memory=50540 CPUtime=0.53 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 11038 0 0 0 49 4 0 0 20 0 20 0 475738315 28909211648 12635 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7057913 12635 3346 1 0 7019032 0
[pid=14388/tid=14389] ppid=14386 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) R 14386 14386 13953 0 -1 4202560 7916 0 0 0 27 3 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222094705936 140222074549598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14393] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14393/stat : 14393 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222039931152 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14394] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14394/stat : 14394 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222038879376 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14395] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14395/stat : 14395 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222037826576 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14396] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14396/stat : 14396 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222036773776 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14397] ppid=14386 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/14388/task/14397/stat : 14397 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28909211648 12635 33554432000 4194304 4196468 140720831423328 140222035720976 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14398] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14398/stat : 14398 (java) S 14386 14386 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475738318 28909211648 12635 33554432000 4194304 4196468 140720831423328 140221273282928 140222090480258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14399] ppid=14386 vsize=28231652 memory=280953809476992 CPUtime=0 cores=0-7
/proc/14388/task/14399/stat : 14399 (java) S 14386 14386 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475738318 28909211648 12635 33554432000 4194304 4196468 140720831423328 140221272228896 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14400] ppid=14386 vsize=28231652 memory=280953809481600 CPUtime=0 cores=0-7
/proc/14388/task/14400/stat : 14400 (java) S 14386 14386 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475738319 28909211648 12635 33554432000 4194304 4196468 140720831423328 140221271176048 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14401] ppid=14386 vsize=28231652 memory=280953809486208 CPUtime=0 cores=0-7
/proc/14388/task/14401/stat : 14401 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28909211648 12635 33554432000 4194304 4196468 140720831423328 140221270124368 140222090487707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14402] ppid=14386 vsize=28231652 memory=280953809490816 CPUtime=0.02 cores=0-7
/proc/14388/task/14402/stat : 14402 (java) S 14386 14386 13953 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 20 0 475738321 28909211648 12635 33554432000 4194304 4196468 140720831423328 140221269072752 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14403] ppid=14386 vsize=28231652 memory=280953809495424 CPUtime=0.03 cores=0-7
/proc/14388/task/14403/stat : 14403 (java) S 14386 14386 13953 0 -1 1077944384 326 0 0 0 3 0 0 0 20 0 20 0 475738321 28909211648 12643 33554432000 4194304 4196468 140720831423328 140221268019952 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14404] ppid=14386 vsize=28231652 memory=280953809500032 CPUtime=0.02 cores=0-7
/proc/14388/task/14404/stat : 14404 (java) S 14386 14386 13953 0 -1 1077944384 317 0 0 0 2 0 0 0 20 0 20 0 475738321 28909211648 12643 33554432000 4194304 4196468 140720831423328 140221266967152 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14405] ppid=14386 vsize=28231652 memory=280953809504640 CPUtime=0.12 cores=0-7
/proc/14388/task/14405/stat : 14405 (java) S 14386 14386 13953 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 475738321 28909211648 12643 33554432000 4194304 4196468 140720831423328 140221265914352 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14406] ppid=14386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14406/stat : 14406 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475738321 28909211648 12643 33554432000 4194304 4196468 140720831423328 140221264861792 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14407] ppid=14386 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14388/task/14407/stat : 14407 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738321 28909211648 12643 33554432000 4194304 4196468 140720831423328 140221263809072 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51992 KiB

[startup+0.700988 s]
/proc/loadavg: 4.36 5.16 6.55 4/212 14407
/proc/meminfo: memFree=13080416/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28233776 memory=95880 CPUtime=1.8 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 16173 0 0 0 173 7 0 0 20 0 20 0 475738315 28911386624 23970 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7058444 23970 3451 1 0 7019544 0
[pid=14388/tid=14389] ppid=14386 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) R 14386 14386 13953 0 -1 4202560 9227 0 0 0 63 4 0 0 20 0 20 0 475738316 28911386624 23970 33554432000 4194304 4196468 140720831423328 140222094705552 140222090481046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475738316 28911386624 23970 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28911386624 23970 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475738316 28911386624 23970 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0

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

[pid=14388/tid=14447] ppid=14386 vsize=28768336 memory=1536 CPUtime=2413.86 cores=0-7
/proc/14388/task/14447/stat : 14447 (java) R 14386 14386 13953 0 -1 4202560 63863 0 0 0 241259 127 0 0 20 0 28 0 475738542 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221251669704 140221714686939 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 19407.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2998624 KiB

[startup+2502.3 s]
/proc/loadavg: 8.56 8.39 8.21 9/220 14656
/proc/meminfo: memFree=10147960/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28768336 memory=2997172 CPUtime=19882.8 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 1437684 0 0 0 1986736 1548 0 0 20 0 28 0 475738315 29458776064 749293 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7192084 749293 3547 1 0 7153184 0
[pid=14388/tid=14389] ppid=14386 vsize=28768336 memory=280953811335744 CPUtime=1.44 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) S 14386 14386 13953 0 -1 1077944384 10559 0 0 0 138 6 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222094709888 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28768336 memory=2997172 CPUtime=10.67 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 57811 0 0 0 1009 58 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28768336 memory=1452 CPUtime=10.7 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 57030 0 0 0 1009 61 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28768336 memory=2997172 CPUtime=10.58 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 53044 0 0 0 1006 52 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14393] ppid=14386 vsize=28768336 memory=3520 CPUtime=10.64 cores=0-7
/proc/14388/task/14393/stat : 14393 (java) S 14386 14386 13953 0 -1 1077944384 50575 0 0 0 1011 53 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222039931152 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14394] ppid=14386 vsize=28768336 memory=1976 CPUtime=10.63 cores=0-7
/proc/14388/task/14394/stat : 14394 (java) S 14386 14386 13953 0 -1 1077944384 52551 0 0 0 1011 52 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222038879376 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14395] ppid=14386 vsize=28768336 memory=3520 CPUtime=10.59 cores=0-7
/proc/14388/task/14395/stat : 14395 (java) S 14386 14386 13953 0 -1 1077944384 55572 0 0 0 1004 55 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222037826576 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14396] ppid=14386 vsize=28768336 memory=1976 CPUtime=10.7 cores=0-7
/proc/14388/task/14396/stat : 14396 (java) S 14386 14386 13953 0 -1 1077944384 56865 0 0 0 1015 55 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222036773776 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14397] ppid=14386 vsize=28768336 memory=2512 CPUtime=10.63 cores=0-7
/proc/14388/task/14397/stat : 14397 (java) S 14386 14386 13953 0 -1 1077944384 50498 0 0 0 1010 53 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222035720976 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14398] ppid=14386 vsize=28768336 memory=4156 CPUtime=3.94 cores=0-7
/proc/14388/task/14398/stat : 14398 (java) S 14386 14386 13953 0 -1 1077944384 236214 0 0 0 296 98 0 0 20 0 28 0 475738318 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221273282928 140222090480258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14399] ppid=14386 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/14388/task/14399/stat : 14399 (java) S 14386 14386 13953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475738318 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221272228960 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14400] ppid=14386 vsize=28768336 memory=3836 CPUtime=0 cores=0-7
/proc/14388/task/14400/stat : 14400 (java) S 14386 14386 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475738319 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221271176064 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14401] ppid=14386 vsize=28768336 memory=2997172 CPUtime=0 cores=0-7
/proc/14388/task/14401/stat : 14401 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221270124368 140222090487707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14402] ppid=14386 vsize=28768336 memory=1452 CPUtime=3.35 cores=0-7
/proc/14388/task/14402/stat : 14402 (java) S 14386 14386 13953 0 -1 1077944384 20401 0 0 0 330 5 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221269072752 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14403] ppid=14386 vsize=28768336 memory=1452 CPUtime=2.97 cores=0-7
/proc/14388/task/14403/stat : 14403 (java) S 14386 14386 13953 0 -1 1077944384 14480 0 0 0 294 3 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221268019952 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14404] ppid=14386 vsize=28768336 memory=326 CPUtime=3.26 cores=0-7
/proc/14388/task/14404/stat : 14404 (java) S 14386 14386 13953 0 -1 1077944384 20033 0 0 0 322 4 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221266967152 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14405] ppid=14386 vsize=28768336 memory=98 CPUtime=0.98 cores=0-7
/proc/14388/task/14405/stat : 14405 (java) S 14386 14386 13953 0 -1 1077944384 15036 0 0 0 94 4 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221265914352 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14406] ppid=14386 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14388/task/14406/stat : 14406 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221264861792 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14407] ppid=14386 vsize=28768336 memory=988 CPUtime=0.79 cores=0-7
/proc/14388/task/14407/stat : 14407 (java) S 14386 14386 13953 0 -1 1077944384 8239 0 0 0 14 65 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221263809072 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14440] ppid=14386 vsize=28768336 memory=2024 CPUtime=2475.34 cores=0-7
/proc/14388/task/14440/stat : 14440 (java) R 14386 14386 13953 0 -1 4202560 50537 0 0 0 247483 51 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221249563184 140221714480033 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14441] ppid=14386 vsize=28768336 memory=1384 CPUtime=2472.59 cores=0-7
/proc/14388/task/14441/stat : 14441 (java) R 14386 14386 13953 0 -1 4202560 42550 0 0 0 247222 37 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221254828488 140221714686865 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14442] ppid=14386 vsize=28768336 memory=3696 CPUtime=2473.11 cores=0-7
/proc/14388/task/14442/stat : 14442 (java) R 14386 14386 13953 0 -1 4202560 81960 0 0 0 247218 93 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221253775976 140221714685637 0 4 0 16800975 0 0 0 -1 0 0 0 64 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14443] ppid=14386 vsize=28768336 memory=30408 CPUtime=2467.98 cores=0-7
/proc/14388/task/14443/stat : 14443 (java) R 14386 14386 13953 0 -1 4202560 72633 0 0 0 246674 124 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221250617664 140221715516207 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14444] ppid=14386 vsize=28768336 memory=14068 CPUtime=2470.48 cores=0-7
/proc/14388/task/14444/stat : 14444 (java) R 14386 14386 13953 0 -1 4202560 69712 0 0 0 246947 101 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221252725920 140221714083424 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14445] ppid=14386 vsize=28768336 memory=524 CPUtime=2473.48 cores=0-7
/proc/14388/task/14445/stat : 14445 (java) R 14386 14386 13953 0 -1 4202560 209895 0 0 0 246978 370 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221247459672 140221715515616 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14446] ppid=14386 vsize=28768336 memory=1568 CPUtime=2471.42 cores=0-7
/proc/14388/task/14446/stat : 14446 (java) R 14386 14386 13953 0 -1 4202560 83950 0 0 0 247043 99 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221248511312 140221713340141 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14447] ppid=14386 vsize=28768336 memory=1452 CPUtime=2473.09 cores=0-7
/proc/14388/task/14447/stat : 14447 (java) R 14386 14386 13953 0 -1 4202560 65352 0 0 0 247181 128 0 0 20 0 28 0 475738542 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221251670352 140221715516139 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 19882.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2998624 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.40 8.37 8.20 9/220 14659
/proc/meminfo: memFree=10147740/32770624 swapFree=66959628/67108860
[pid=14386] ppid=14383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14386/stat : 14386 (xcsp3-exec) S 14383 14386 13953 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475738315 115843072 363 33554432000 4194304 5098028 140725909371792 140725909369896 140616494543484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9515008 140725909377909 140725909378153 140725909378153 140725909381066 0
/proc/14386/statm: 28282 363 305 221 0 87 0
[pid=14388] ppid=14386 vsize=28768336 memory=2997172 CPUtime=20023.2 cores=0-7
/proc/14388/stat : 14388 (java) S 14386 14386 13953 0 -1 1077944320 1439758 0 0 0 2000765 1550 0 0 20 0 28 0 475738315 29458776064 749293 33554432000 4194304 4196468 140720831423328 140720831405872 140222090469111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
/proc/14388/statm: 7192084 749293 3547 1 0 7153184 0
[pid=14388/tid=14389] ppid=14386 vsize=28768336 memory=620 CPUtime=1.44 cores=0-7
/proc/14388/task/14389/stat : 14389 (java) S 14386 14386 13953 0 -1 1077944384 10559 0 0 0 138 6 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222094709888 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14390] ppid=14386 vsize=28768336 memory=8317482817917895235 CPUtime=10.75 cores=0-7
/proc/14388/task/14390/stat : 14390 (java) S 14386 14386 13953 0 -1 1077944384 57892 0 0 0 1017 58 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222043089552 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14391] ppid=14386 vsize=28768336 memory=3696 CPUtime=10.77 cores=0-7
/proc/14388/task/14391/stat : 14391 (java) S 14386 14386 13953 0 -1 1077944384 57066 0 0 0 1016 61 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222042036752 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14392] ppid=14386 vsize=28768336 memory=1056 CPUtime=10.64 cores=0-7
/proc/14388/task/14392/stat : 14392 (java) S 14386 14386 13953 0 -1 1077944384 53322 0 0 0 1012 52 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222040983952 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14393] ppid=14386 vsize=28768336 memory=1188 CPUtime=10.72 cores=0-7
/proc/14388/task/14393/stat : 14393 (java) S 14386 14386 13953 0 -1 1077944384 50722 0 0 0 1018 54 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222039931152 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14394] ppid=14386 vsize=28768336 memory=1536 CPUtime=10.7 cores=0-7
/proc/14388/task/14394/stat : 14394 (java) S 14386 14386 13953 0 -1 1077944384 52615 0 0 0 1018 52 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222038879376 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14395] ppid=14386 vsize=28768336 memory=9592 CPUtime=10.66 cores=0-7
/proc/14388/task/14395/stat : 14395 (java) S 14386 14386 13953 0 -1 1077944384 55659 0 0 0 1011 55 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222037826576 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14396] ppid=14386 vsize=28768336 memory=2828 CPUtime=10.77 cores=0-7
/proc/14388/task/14396/stat : 14396 (java) S 14386 14386 13953 0 -1 1077944384 57285 0 0 0 1021 56 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222036773776 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14397] ppid=14386 vsize=28768336 memory=780 CPUtime=10.7 cores=0-7
/proc/14388/task/14397/stat : 14397 (java) S 14386 14386 13953 0 -1 1077944384 50529 0 0 0 1017 53 0 0 20 0 28 0 475738316 29458776064 749293 33554432000 4194304 4196468 140720831423328 140222035720976 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14398] ppid=14386 vsize=28768336 memory=620 CPUtime=3.98 cores=0-7
/proc/14388/task/14398/stat : 14398 (java) S 14386 14386 13953 0 -1 1077944384 236434 0 0 0 300 98 0 0 20 0 28 0 475738318 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221273282928 140222090480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14399] ppid=14386 vsize=28768336 memory=1496 CPUtime=0 cores=0-7
/proc/14388/task/14399/stat : 14399 (java) S 14386 14386 13953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475738318 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221272228960 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14400] ppid=14386 vsize=28768336 memory=1016 CPUtime=0 cores=0-7
/proc/14388/task/14400/stat : 14400 (java) S 14386 14386 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475738319 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221271176064 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14401] ppid=14386 vsize=28768336 memory=1496 CPUtime=0 cores=0-7
/proc/14388/task/14401/stat : 14401 (java) S 14386 14386 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221270124368 140222090487707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14402] ppid=14386 vsize=28768336 memory=1016 CPUtime=3.35 cores=0-7
/proc/14388/task/14402/stat : 14402 (java) S 14386 14386 13953 0 -1 1077944384 20405 0 0 0 330 5 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221269072752 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14403] ppid=14386 vsize=28768336 memory=6044 CPUtime=2.97 cores=0-7
/proc/14388/task/14403/stat : 14403 (java) S 14386 14386 13953 0 -1 1077944384 14484 0 0 0 294 3 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221268019952 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14404] ppid=14386 vsize=28768336 memory=14012 CPUtime=3.26 cores=0-7
/proc/14388/task/14404/stat : 14404 (java) S 14386 14386 13953 0 -1 1077944384 20037 0 0 0 322 4 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221266967152 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14405] ppid=14386 vsize=28768336 memory=2116 CPUtime=0.98 cores=0-7
/proc/14388/task/14405/stat : 14405 (java) S 14386 14386 13953 0 -1 1077944384 15040 0 0 0 94 4 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221265914352 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14406] ppid=14386 vsize=28768336 memory=30408 CPUtime=0 cores=0-7
/proc/14388/task/14406/stat : 14406 (java) S 14386 14386 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221264861792 140222090479317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14407] ppid=14386 vsize=28768336 memory=14068 CPUtime=0.79 cores=0-7
/proc/14388/task/14407/stat : 14407 (java) S 14386 14386 13953 0 -1 1077944384 8252 0 0 0 14 65 0 0 20 0 28 0 475738321 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221263809072 140222090480258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14440] ppid=14386 vsize=28768336 memory=524 CPUtime=2492.83 cores=0-7
/proc/14388/task/14440/stat : 14440 (java) R 14386 14386 13953 0 -1 4202560 50621 0 0 0 249232 51 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221249564184 140221714685752 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14441] ppid=14386 vsize=28768336 memory=1568 CPUtime=2490.13 cores=0-7
/proc/14388/task/14441/stat : 14441 (java) R 14386 14386 13953 0 -1 4202560 42634 0 0 0 248976 37 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221254827504 140221714480033 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14442] ppid=14386 vsize=28768336 memory=928 CPUtime=2490.6 cores=0-7
/proc/14388/task/14442/stat : 14442 (java) R 14386 14386 13953 0 -1 4202560 82053 0 0 0 248967 93 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221253774720 140221715745226 0 4 0 16800975 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14443] ppid=14386 vsize=28768336 memory=3520 CPUtime=2485.53 cores=0-7
/proc/14388/task/14443/stat : 14443 (java) R 14386 14386 13953 0 -1 4202560 72714 0 0 0 248429 124 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221250618432 140221715125338 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14444] ppid=14386 vsize=28768336 memory=8317482817917895235 CPUtime=2487.94 cores=0-7
/proc/14388/task/14444/stat : 14444 (java) R 14386 14386 13953 0 -1 4202560 69797 0 0 0 248693 101 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221252722976 140221714083354 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14445] ppid=14386 vsize=28768336 memory=14068 CPUtime=2490.76 cores=0-7
/proc/14388/task/14445/stat : 14445 (java) R 14386 14386 13953 0 -1 4202560 209999 0 0 0 248706 370 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221247459320 140221707949650 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14446] ppid=14386 vsize=28768336 memory=1764 CPUtime=2488.88 cores=0-7
/proc/14388/task/14446/stat : 14446 (java) R 14386 14386 13953 0 -1 4202560 84022 0 0 0 248789 99 0 0 20 0 28 0 475738541 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221248514344 140221707523687 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
[pid=14388/tid=14447] ppid=14386 vsize=28768336 memory=111632 CPUtime=2490.52 cores=0-7
/proc/14388/task/14447/stat : 14447 (java) R 14386 14386 13953 0 -1 4202560 65430 0 0 0 248924 128 0 0 20 0 28 0 475738542 29458776064 749293 33554432000 4194304 4196468 140720831423328 140221251673344 140221714083408 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 23351296 140720831427562 140720831427734 140720831427734 140720831430607 0
Current children cumulated CPU time: 20023.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2998624 KiB

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

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

[startup+2520.11 s]
# the end of solver process 14388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20008.3 s, system=15.5253 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): 20023.8
CPU user time (s): 20008.3
CPU system time (s): 15.5253
CPU usage (%): 794.562
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3368468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20008.3
system time used= 15.5253
maximum resident set size= 3396788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1440613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267063
involuntary context switches= 250206


# summary of solver processes directly reported to runsolver:
#   pid: 14386,14388
#   total CPU time (s): 20023.8
#   total CPU user time (s): 20008.3
#   total CPU system time (s): 15.5253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.7032 second user time and 25.5922 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404601

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
