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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	12	2520.57	635.868
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 (14856 MiB free)
  memory of node 1: 16384 MiB (15692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393241-1568313989/watcher-4393241-1568313989 -o /tmp/evaluation-result-4393241-1568313989/solver-4393241-1568313989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1619290652 HOME/instance-4393241-1568313989.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9379, runsolver pid=9376
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 7.91 7.76 6.29 7/233 9395
/proc/meminfo: memFree=31252736/32770624 swapFree=66979388/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15144768 memory=28992 CPUtime=0.13 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 5685 0 0 0 12 1 0 0 20 0 15 0 407661548 15508242432 7248 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3786192 7248 3184 1 0 3748377 0
[pid=9381/tid=9382] ppid=9379 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) R 9379 9379 6753 0 -1 4202560 3568 0 0 0 9 0 0 0 20 0 15 0 407661548 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653935328032 140653923334974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407661550 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407661550 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653097248416 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407661551 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653096195312 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) R 9379 9379 6753 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653094091088 140653931108053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) R 9379 9379 6753 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653093037632 140653908342592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0.02 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) R 9379 9379 6753 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653091985392 140653931108994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 7248 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30440 KiB

[startup+0.210712 s]*
/proc/loadavg: 7.91 7.76 6.29 7/233 9395
/proc/meminfo: memFree=31235104/32770624 swapFree=66979388/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15144768 memory=40552 CPUtime=0.33 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 9346 0 0 0 30 3 0 0 20 0 15 0 407661548 15508242432 10138 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3786192 10138 3301 1 0 3748377 0
[pid=9381/tid=9382] ppid=9379 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) R 9379 9379 6753 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 407661548 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653935335664 140653915178334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15144768 memory=140102485837051 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661549 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407661550 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407661550 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653097248416 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407661551 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653096195312 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) S 9379 9379 6753 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653094090992 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) S 9379 9379 6753 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653093038448 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15144768 memory=140102482691712 CPUtime=0.08 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) R 9379 9379 6753 0 -1 4202560 802 0 0 0 8 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653091985392 140653931109782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661553 15508242432 10138 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42000 KiB

[startup+0.310478 s]*
/proc/loadavg: 7.91 7.76 6.29 7/233 9395
/proc/meminfo: memFree=31227068/32770624 swapFree=66979388/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15149024 memory=50076 CPUtime=0.53 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 10874 0 0 0 49 4 0 0 20 0 15 0 407661548 15512600576 12519 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3787256 12519 3362 1 0 3748377 0
[pid=9381/tid=9382] ppid=9379 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) R 9379 9379 6753 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 15 0 407661548 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653935328960 140653931119773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15149024 memory=3005098 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407661549 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661549 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407661550 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407661550 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653097248416 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407661551 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653096195312 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) S 9379 9379 6753 0 -1 1077944384 419 0 0 0 4 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653094090992 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) S 9379 9379 6753 0 -1 1077944384 363 0 0 0 5 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653093038448 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) S 9379 9379 6753 0 -1 1077944384 971 0 0 0 12 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653091985392 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661553 15512600576 12519 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51524 KiB

[startup+0.708366 s]
/proc/loadavg: 7.91 7.76 6.29 9/233 9395
/proc/meminfo: memFree=31206288/32770624 swapFree=66979388/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15151148 memory=92036 CPUtime=1.77 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 15662 0 0 0 172 5 0 0 20 0 15 0 407661548 15514775552 23009 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3787787 23009 3447 1 0 3748889 0
[pid=9381/tid=9382] ppid=9379 vsize=15151148 memory=1787243267329 CPUtime=0.68 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) R 9379 9379 6753 0 -1 4202560 9148 0 0 0 65 3 0 0 20 0 15 0 407661548 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653935334088 140653553097797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407661549 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661549 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661549 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407661550 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407661550 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653097248416 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407661551 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653096195312 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15151148 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) R 9379 9379 6753 0 -1 4202560 1549 0 0 0 37 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653094072008 140653931111711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15151148 memory=111632 CPUtime=0.28 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) R 9379 9379 6753 0 -1 4202560 1085 0 0 0 28 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653093038448 140653915000904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15151148 memory=804 CPUtime=0.41 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) R 9379 9379 6753 0 -1 4202560 2572 0 0 0 41 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653091985392 140653931111729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15151148 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407661553 15514775552 23009 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93484 KiB

[startup+1.50137 s]
/proc/loadavg: 7.91 7.76 6.29 8/233 9395
/proc/meminfo: memFree=31130088/32770624 swapFree=66979388/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0

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

/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 92807 0 0 0 230731 72 0 0 20 0 19 0 407661548 15790571520 117287 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3855120 117287 3534 1 0 3816222 0
[pid=9381/tid=9382] ppid=9379 vsize=15420480 memory=14689690934577591 CPUtime=1.23 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) S 9379 9379 6753 0 -1 1077944384 10642 0 0 0 119 4 0 0 20 0 19 0 407661548 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653935338624 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15420480 memory=1060 CPUtime=1.53 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 3102 0 0 0 141 12 0 0 20 0 19 0 407661549 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15420480 memory=2828 CPUtime=1.51 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 3215 0 0 0 139 12 0 0 20 0 19 0 407661549 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15420480 memory=756 CPUtime=1.53 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 5144 0 0 0 141 12 0 0 20 0 19 0 407661549 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15420480 memory=1548 CPUtime=1.52 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3297 0 0 0 141 11 0 0 20 0 19 0 407661549 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15420480 memory=7968 CPUtime=0.77 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 10711 0 0 0 69 8 0 0 20 0 19 0 407661550 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15420480 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407661550 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653097248480 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15420480 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407661551 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653096195328 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15420480 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15420480 memory=2120 CPUtime=2.47 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) S 9379 9379 6753 0 -1 1077944384 13139 0 0 0 246 1 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653094090992 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15420480 memory=11976 CPUtime=2.48 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) S 9379 9379 6753 0 -1 1077944384 12372 0 0 0 247 1 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653093038448 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15420480 memory=5700 CPUtime=0.79 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) S 9379 9379 6753 0 -1 1077944384 11790 0 0 0 78 1 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653091985392 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15420480 memory=-9123011406877529180 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15420480 memory=4638778398332967010 CPUtime=0.11 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 552 0 0 0 0 11 0 0 20 0 19 0 407661553 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9408] ppid=9379 vsize=15420480 memory=3470692292451393600 CPUtime=573.91 cores=1,3,5,7
/proc/9381/task/9408/stat : 9408 (java) R 9379 9379 6753 0 -1 4202560 1919 0 0 0 57389 2 0 0 20 0 19 0 407661710 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653078564504 140653559374543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9409] ppid=9379 vsize=15420480 memory=5787178479732678720 CPUtime=572.97 cores=1,3,5,7
/proc/9381/task/9409/stat : 9409 (java) R 9379 9379 6753 0 -1 4202560 5111 0 0 0 57295 2 0 0 20 0 19 0 407661710 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653077514720 140653559470389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9410] ppid=9379 vsize=15420480 memory=7236547281622689387 CPUtime=573.7 cores=1,3,5,7
/proc/9381/task/9410/stat : 9410 (java) R 9379 9379 6753 0 -1 4202560 1965 0 0 0 57368 2 0 0 20 0 19 0 407661710 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653079618056 140653915436636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9411] ppid=9379 vsize=15420480 memory=280204742508608 CPUtime=572.69 cores=1,3,5,7
/proc/9381/task/9411/stat : 9411 (java) R 9379 9379 6753 0 -1 4202560 8066 0 0 0 57266 3 0 0 20 0 19 0 407661710 15790571520 117287 33554432000 4194304 4196468 140728269743392 140653074362592 140653559494091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 2308.03 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 470596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.801 s]
/proc/loadavg: 8.45 8.26 7.33 11/237 9791
/proc/meminfo: memFree=30994864/32770624 swapFree=66979392/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15420480 memory=532652 CPUtime=2520.31 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 94115 0 0 0 251954 77 0 0 20 0 19 0 407661548 15790571520 133163 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3855120 133163 3534 1 0 3816222 0
[pid=9381/tid=9382] ppid=9379 vsize=15420480 memory=533164 CPUtime=1.23 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) S 9379 9379 6753 0 -1 1077944384 10642 0 0 0 119 4 0 0 20 0 19 0 407661548 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653935338624 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15420480 memory=533164 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 3248 0 0 0 166 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15420480 memory=532652 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 3668 0 0 0 165 13 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15420480 memory=1448 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 5247 0 0 0 166 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15420480 memory=7378973520667699562 CPUtime=1.79 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3414 0 0 0 167 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15420480 memory=7237398200207235428 CPUtime=0.84 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 10808 0 0 0 75 9 0 0 20 0 19 0 407661550 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407661550 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653097248480 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407661551 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653096195328 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15420480 memory=1448 CPUtime=2.47 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) S 9379 9379 6753 0 -1 1077944384 13141 0 0 0 246 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653094090992 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15420480 memory=3620 CPUtime=2.48 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) S 9379 9379 6753 0 -1 1077944384 12374 0 0 0 247 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653093038448 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15420480 memory=16644 CPUtime=0.79 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) S 9379 9379 6753 0 -1 1077944384 11792 0 0 0 78 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653091985392 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15420480 memory=533676 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15420480 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 558 0 0 0 0 12 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9408] ppid=9379 vsize=15420480 memory=1448 CPUtime=626.81 cores=1,3,5,7
/proc/9381/task/9408/stat : 9408 (java) R 9379 9379 6753 0 -1 4202560 1994 0 0 0 62679 2 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653078564504 140653559372675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9409] ppid=9379 vsize=15420480 memory=534704 CPUtime=625.76 cores=1,3,5,7
/proc/9381/task/9409/stat : 9409 (java) R 9379 9379 6753 0 -1 4202560 5235 0 0 0 62573 3 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653077514720 140653559470393 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9410] ppid=9379 vsize=15420480 memory=451564 CPUtime=626.34 cores=1,3,5,7
/proc/9381/task/9410/stat : 9410 (java) R 9379 9379 6753 0 -1 4202560 2051 0 0 0 62632 2 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653079618056 140653559372675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9411] ppid=9379 vsize=15420480 memory=451128 CPUtime=625.52 cores=1,3,5,7
/proc/9381/task/9411/stat : 9411 (java) R 9379 9379 6753 0 -1 4202560 8161 0 0 0 62548 4 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653074362880 140653560738627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 534100 KiB

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

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

[startup+635.868 s]
# the end of solver process 9381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.79 s, system=0.780698 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

[startup+635.801 s]
/proc/loadavg: 8.45 8.26 7.33 11/237 9791
/proc/meminfo: memFree=30994864/32770624 swapFree=66979392/67108860
[pid=9379] ppid=9376 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (xcsp3-exec) S 9376 9379 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407661547 115843072 362 33554432000 4194304 5098028 140737152483456 140737152481560 140209972302460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21204992 140737152492410 140737152492653 140737152492653 140737152495562 0
/proc/9379/statm: 28282 362 304 221 0 87 0
[pid=9381] ppid=9379 vsize=15420480 memory=532652 CPUtime=2520.31 cores=1,3,5,7
/proc/9381/stat : 9381 (java) S 9379 9379 6753 0 -1 1077944320 94115 0 0 0 251954 77 0 0 20 0 19 0 407661548 15790571520 133163 33554432000 4194304 4196468 140728269743392 140728269725936 140653931097847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
/proc/9381/statm: 3855120 133163 3534 1 0 3816222 0
[pid=9381/tid=9382] ppid=9379 vsize=15420480 memory=533164 CPUtime=1.23 cores=1,3,5,7
/proc/9381/task/9382/stat : 9382 (java) S 9379 9379 6753 0 -1 1077944384 10642 0 0 0 119 4 0 0 20 0 19 0 407661548 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653935338624 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9383] ppid=9379 vsize=15420480 memory=533164 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9383/stat : 9383 (java) S 9379 9379 6753 0 -1 1077944384 3248 0 0 0 166 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653883718160 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9384] ppid=9379 vsize=15420480 memory=532652 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9384/stat : 9384 (java) S 9379 9379 6753 0 -1 1077944384 3668 0 0 0 165 13 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653882665616 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9385] ppid=9379 vsize=15420480 memory=1448 CPUtime=1.78 cores=1,3,5,7
/proc/9381/task/9385/stat : 9385 (java) S 9379 9379 6753 0 -1 1077944384 5247 0 0 0 166 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653881612560 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9386] ppid=9379 vsize=15420480 memory=7378973520667699562 CPUtime=1.79 cores=1,3,5,7
/proc/9381/task/9386/stat : 9386 (java) S 9379 9379 6753 0 -1 1077944384 3414 0 0 0 167 12 0 0 20 0 19 0 407661549 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653880560016 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9387] ppid=9379 vsize=15420480 memory=7237398200207235428 CPUtime=0.84 cores=1,3,5,7
/proc/9381/task/9387/stat : 9387 (java) S 9379 9379 6753 0 -1 1077944384 10808 0 0 0 75 9 0 0 20 0 19 0 407661550 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653098302192 140653931108994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9388] ppid=9379 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9388/stat : 9388 (java) S 9379 9379 6753 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407661550 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653097248480 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9389] ppid=9379 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9389/stat : 9389 (java) S 9379 9379 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407661551 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653096195328 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9390] ppid=9379 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9390/stat : 9390 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653095143888 140653931116443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9391] ppid=9379 vsize=15420480 memory=1448 CPUtime=2.47 cores=1,3,5,7
/proc/9381/task/9391/stat : 9391 (java) S 9379 9379 6753 0 -1 1077944384 13141 0 0 0 246 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653094090992 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9392] ppid=9379 vsize=15420480 memory=3620 CPUtime=2.48 cores=1,3,5,7
/proc/9381/task/9392/stat : 9392 (java) S 9379 9379 6753 0 -1 1077944384 12374 0 0 0 247 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653093038448 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9393] ppid=9379 vsize=15420480 memory=16644 CPUtime=0.79 cores=1,3,5,7
/proc/9381/task/9393/stat : 9393 (java) S 9379 9379 6753 0 -1 1077944384 11792 0 0 0 78 1 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653091985392 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9394] ppid=9379 vsize=15420480 memory=533676 CPUtime=0 cores=1,3,5,7
/proc/9381/task/9394/stat : 9394 (java) S 9379 9379 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653090933088 140653931108053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9395] ppid=9379 vsize=15420480 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/9381/task/9395/stat : 9395 (java) S 9379 9379 6753 0 -1 1077944384 558 0 0 0 0 12 0 0 20 0 19 0 407661553 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653089881136 140653931108994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9408] ppid=9379 vsize=15420480 memory=1448 CPUtime=626.81 cores=1,3,5,7
/proc/9381/task/9408/stat : 9408 (java) R 9379 9379 6753 0 -1 4202560 1994 0 0 0 62679 2 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653078564504 140653559372675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9409] ppid=9379 vsize=15420480 memory=534704 CPUtime=625.76 cores=1,3,5,7
/proc/9381/task/9409/stat : 9409 (java) R 9379 9379 6753 0 -1 4202560 5235 0 0 0 62573 3 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653077514720 140653559470393 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9410] ppid=9379 vsize=15420480 memory=451564 CPUtime=626.34 cores=1,3,5,7
/proc/9381/task/9410/stat : 9410 (java) R 9379 9379 6753 0 -1 4202560 2051 0 0 0 62632 2 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653079618056 140653559372675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
[pid=9381/tid=9411] ppid=9379 vsize=15420480 memory=451128 CPUtime=625.52 cores=1,3,5,7
/proc/9381/task/9411/stat : 9411 (java) R 9379 9379 6753 0 -1 4202560 8161 0 0 0 62548 4 0 0 20 0 19 0 407661710 15790571520 133163 33554432000 4194304 4196468 140728269743392 140653074362880 140653560738627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17821696 140728269747183 140728269747354 140728269747354 140728269750223 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 534100 KiB

Child status: 143
Real time (s): 635.868
CPU time (s): 2520.57
CPU user time (s): 2519.79
CPU system time (s): 0.780698
CPU usage (%): 396.398
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 597532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.780698
maximum resident set size= 598656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48393
involuntary context switches= 51398


# summary of solver processes directly reported to runsolver:
#   pid: 9379,9381
#   total CPU time (s): 2520.57
#   total CPU user time (s): 2519.79
#   total CPU system time (s): 0.780698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0266 second user time and 6.83493 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 4393241

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
