2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	33	2400.61	605.1
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14286 MiB free)
  memory of node 1: 16384 MiB (15486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394321-1568327689/watcher-4394321-1568327689 -o /tmp/evaluation-result-4394321-1568327689/solver-4394321-1568327689 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2043097622 HOME/instance-4394321-1568327689.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=31399, runsolver pid=31396
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 9.10 8.75 7.82 9/234 31415
/proc/meminfo: memFree=30471832/32770624 swapFree=66933612/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15144768 memory=28336 CPUtime=0.13 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 6022 0 0 0 12 1 0 0 20 0 15 0 409040404 15508242432 7084 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3786192 7084 3142 1 0 3748377 0
[pid=31401/tid=31402] ppid=31399 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) R 31399 31399 25300 0 -1 4202560 3856 0 0 0 8 1 0 0 20 0 15 0 409040404 15508242432 7084 33554432000 4194304 4196468 140731943494640 140459293113184 140459288913053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 7084 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040406 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409040406 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458228966560 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409040407 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458227913456 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) R 31399 31399 25300 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458225810256 140459266723984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) R 31399 31399 25300 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0.02 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) R 31399 31399 25300 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 15 0 409040409 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458223704560 140459281987963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040410 15508242432 7084 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29784 KiB

[startup+0.210882 s]*
/proc/loadavg: 9.10 8.75 7.82 7/234 31415
/proc/meminfo: memFree=30458592/32770624 swapFree=66933612/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15144768 memory=39784 CPUtime=0.34 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 9679 0 0 0 31 3 0 0 20 0 15 0 409040404 15508242432 9946 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3786192 9946 3296 1 0 3748377 0
[pid=31401/tid=31402] ppid=31399 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) R 31399 31399 25300 0 -1 4202560 6698 0 0 0 18 2 0 0 20 0 15 0 409040404 15508242432 9946 33554432000 4194304 4196468 140731943494640 140459293123856 140459272971614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15144768 memory=2964501 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 9946 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15144768 memory=288371076787148416 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409040406 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409040406 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458228966560 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409040407 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458227913456 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) S 31399 31399 25300 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 409040409 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458225810160 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) S 31399 31399 25300 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 409040409 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15144768 memory=140700635436672 CPUtime=0.08 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 895 0 0 0 8 0 0 0 20 0 15 0 409040409 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040410 15508242432 9946 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41232 KiB

[startup+0.310824 s]*
/proc/loadavg: 9.10 8.75 7.82 8/234 31415
/proc/meminfo: memFree=30454996/32770624 swapFree=66933612/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15149024 memory=49288 CPUtime=0.53 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 11140 0 0 0 49 4 0 0 20 0 15 0 409040404 15512600576 12322 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3787256 12322 3363 1 0 3748377 0
[pid=31401/tid=31402] ppid=31399 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) R 31399 31399 25300 0 -1 4202560 7853 0 0 0 27 3 0 0 20 0 15 0 409040404 15512600576 12322 33554432000 4194304 4196468 140731943494640 140459293122240 140459288913053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040405 15512600576 12322 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409040406 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409040406 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458228966560 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409040407 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458227913456 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) R 31399 31399 25300 0 -1 4202560 557 0 0 0 5 0 0 0 20 0 15 0 409040409 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458225800272 140459274017214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) S 31399 31399 25300 0 -1 1077944384 373 0 0 0 4 0 0 0 20 0 15 0 409040409 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 1050 0 0 0 12 0 0 0 20 0 15 0 409040409 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040410 15512600576 12322 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50736 KiB

[startup+0.700814 s]
/proc/loadavg: 9.10 8.75 7.82 8/234 31415
/proc/meminfo: memFree=30425460/32770624 swapFree=66933612/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15151148 memory=102968 CPUtime=1.7 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 14819 0 0 0 165 5 0 0 20 0 15 0 409040404 15514775552 25742 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3787787 25742 3436 1 0 3748889 0
[pid=31401/tid=31402] ppid=31399 vsize=15151148 memory=20180 CPUtime=0.68 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) R 31399 31399 25300 0 -1 4202560 8406 0 0 0 64 4 0 0 20 0 15 0 409040404 15514775552 25742 33554432000 4194304 4196468 140731943494640 140459293125720 140458928476642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040405 15514775552 25742 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15151148 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15151148 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409040405 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15151148 memory=976 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409040406 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409040406 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458228966560 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15151148 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409040407 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458227913456 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15151148 memory=1548 CPUtime=0.35 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) R 31399 31399 25300 0 -1 4202560 1434 0 0 0 35 0 0 0 20 0 15 0 409040409 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458225796224 140459270411940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15151148 memory=1056 CPUtime=0.34 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) R 31399 31399 25300 0 -1 4202560 1602 0 0 0 34 0 0 0 20 0 15 0 409040409 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458224739472 140459273283538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15151148 memory=744 CPUtime=0.3 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 2069 0 0 0 30 0 0 0 20 0 15 0 409040409 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15151148 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409040409 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15151148 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409040410 15514775552 25742 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 104416 KiB

[startup+1.50106 s]
/proc/loadavg: 9.10 8.75 7.82 8/234 31415
/proc/meminfo: memFree=30303136/32770624 swapFree=66933612/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0

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

/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 130945 0 0 0 206975 135 0 0 20 0 19 0 409040404 15857680384 947761 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3871504 947761 3530 1 0 3832606 0
[pid=31401/tid=31402] ppid=31399 vsize=15486016 memory=3830544 CPUtime=4.59 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) S 31399 31399 25300 0 -1 1077944384 11377 0 0 0 445 14 0 0 20 0 19 0 409040404 15857680384 947761 33554432000 4194304 4196468 140731943494640 140459293131904 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15486016 memory=3831572 CPUtime=0.52 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 3295 0 0 0 41 11 0 0 20 0 19 0 409040405 15857680384 947761 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15486016 memory=3830544 CPUtime=0.5 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 2939 0 0 0 37 13 0 0 20 0 19 0 409040405 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15486016 memory=3830544 CPUtime=0.49 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2081 0 0 0 38 11 0 0 20 0 19 0 409040405 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15486016 memory=1448 CPUtime=0.52 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 2811 0 0 0 42 10 0 0 20 0 19 0 409040405 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15486016 memory=3830544 CPUtime=0.09 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5237 0 0 0 5 4 0 0 20 0 19 0 409040406 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15486016 memory=3830544 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 409040406 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458228966624 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15486016 memory=3830544 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 409040407 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458227913472 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15486016 memory=6791534058613427641 CPUtime=4.78 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) S 31399 31399 25300 0 -1 1077944384 14408 0 0 0 477 1 0 0 20 0 19 0 409040409 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458225810160 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15486016 memory=1440 CPUtime=5.45 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) S 31399 31399 25300 0 -1 1077944384 22584 0 0 0 543 2 0 0 20 0 19 0 409040409 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15486016 memory=1548 CPUtime=1.05 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 12254 0 0 0 104 1 0 0 20 0 19 0 409040409 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15486016 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15486016 memory=1448 CPUtime=0.19 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1366 0 0 0 0 19 0 0 20 0 19 0 409040410 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31436] ppid=31399 vsize=15486016 memory=1448 CPUtime=498.61 cores=1,3,5,7
/proc/31401/task/31436/stat : 31436 (java) R 31399 31399 25300 0 -1 4202560 2138 0 0 0 49861 0 0 0 20 0 19 0 409042576 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458210282688 140458934513306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31437] ppid=31399 vsize=15486016 memory=0 CPUtime=498.82 cores=1,3,5,7
/proc/31401/task/31437/stat : 31437 (java) R 31399 31399 25300 0 -1 4202560 16986 0 0 0 49863 19 0 0 20 0 19 0 409042576 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458209233808 140458931771278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31438] ppid=31399 vsize=15486016 memory=1448 CPUtime=496.99 cores=1,3,5,7
/proc/31401/task/31438/stat : 31438 (java) R 31399 31399 25300 0 -1 4202560 24241 0 0 0 49661 38 0 0 20 0 19 0 409042576 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458211336192 140458934513245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31439] ppid=31399 vsize=15486016 memory=1448 CPUtime=496.12 cores=1,3,5,7
/proc/31401/task/31439/stat : 31439 (java) R 31399 31399 25300 0 -1 4202560 2077 0 0 0 49611 1 0 0 20 0 19 0 409042576 15857680384 947761 33554432000 4194304 4196468 140731943494640 140458206080800 140458931770799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 2071.1 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3792492 KiB

[startup+582.301 s]
/proc/loadavg: 8.10 8.41 8.11 9/238 31678
/proc/meminfo: memFree=25958428/32770624 swapFree=66933624/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15486016 memory=3723892 CPUtime=2309.89 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 135797 0 0 0 230852 137 0 0 20 0 19 0 409040404 15857680384 930973 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3871504 930973 3530 1 0 3832606 0
[pid=31401/tid=31402] ppid=31399 vsize=15486016 memory=3723892 CPUtime=4.59 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) S 31399 31399 25300 0 -1 1077944384 11377 0 0 0 445 14 0 0 20 0 19 0 409040404 15857680384 930973 33554432000 4194304 4196468 140731943494640 140459293131904 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15486016 memory=3755144 CPUtime=0.53 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 3430 0 0 0 42 11 0 0 20 0 19 0 409040405 15857680384 930973 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15486016 memory=1448 CPUtime=0.51 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 3368 0 0 0 38 13 0 0 20 0 19 0 409040405 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15486016 memory=3755144 CPUtime=0.5 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2177 0 0 0 39 11 0 0 20 0 19 0 409040405 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15486016 memory=1448 CPUtime=0.54 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 3010 0 0 0 43 11 0 0 20 0 19 0 409040405 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15486016 memory=3755144 CPUtime=0.11 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5532 0 0 0 6 5 0 0 20 0 19 0 409040406 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 409040406 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458228966624 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15486016 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 409040407 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458227913472 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15486016 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15486016 memory=5952 CPUtime=4.78 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) S 31399 31399 25300 0 -1 1077944384 14411 0 0 0 477 1 0 0 20 0 19 0 409040409 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458225810160 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15486016 memory=20204 CPUtime=5.45 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) S 31399 31399 25300 0 -1 1077944384 22592 0 0 0 543 2 0 0 20 0 19 0 409040409 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15486016 memory=984 CPUtime=1.05 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 12258 0 0 0 104 1 0 0 20 0 19 0 409040409 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15486016 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15486016 memory=976 CPUtime=0.22 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1394 0 0 0 0 22 0 0 20 0 19 0 409040410 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31436] ppid=31399 vsize=15486016 memory=3723892 CPUtime=558.56 cores=1,3,5,7
/proc/31401/task/31436/stat : 31436 (java) R 31399 31399 25300 0 -1 4202560 2477 0 0 0 55855 1 0 0 20 0 19 0 409042576 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458210282856 140458934511361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31437] ppid=31399 vsize=15486016 memory=3620 CPUtime=557.95 cores=1,3,5,7
/proc/31401/task/31437/stat : 31437 (java) R 31399 31399 25300 0 -1 4202560 18382 0 0 0 55776 19 0 0 20 0 19 0 409042576 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458209230968 140458932723006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31438] ppid=31399 vsize=15486016 memory=3932 CPUtime=556.93 cores=1,3,5,7
/proc/31401/task/31438/stat : 31438 (java) R 31399 31399 25300 0 -1 4202560 25999 0 0 0 55655 38 0 0 20 0 19 0 409042576 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458211338368 140458930558038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31439] ppid=31399 vsize=15486016 memory=2832 CPUtime=555.79 cores=1,3,5,7
/proc/31401/task/31439/stat : 31439 (java) R 31399 31399 25300 0 -1 4202560 2239 0 0 0 55578 1 0 0 20 0 19 0 409042576 15857680384 930973 33554432000 4194304 4196468 140731943494640 140458206080688 140458931770716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 2309.89 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3725340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+605.008 s]*
/proc/loadavg: 8.07 8.37 8.11 10/238 31679
/proc/meminfo: memFree=25968776/32770624 swapFree=66933624/67108860
[pid=31399] ppid=31396 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (xcsp3-exec) S 31396 31399 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409040403 115843072 362 33554432000 4194304 5098028 140723045125264 140723045123368 140103104565884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25628672 140723045131130 140723045131373 140723045131373 140723045134282 0
/proc/31399/statm: 28282 362 304 221 0 87 0
[pid=31401] ppid=31399 vsize=15486016 memory=3725440 CPUtime=2400.33 cores=1,3,5,7
/proc/31401/stat : 31401 (java) S 31399 31399 25300 0 -1 1077944320 138228 0 0 0 239895 138 0 0 20 0 19 0 409040404 15857680384 931360 33554432000 4194304 4196468 140731943494640 140731943477184 140459288891127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
/proc/31401/statm: 3871504 931360 3530 1 0 3832606 0
[pid=31401/tid=31402] ppid=31399 vsize=15486016 memory=6791534058613427641 CPUtime=4.59 cores=1,3,5,7
/proc/31401/task/31402/stat : 31402 (java) S 31399 31399 25300 0 -1 1077944384 11377 0 0 0 445 14 0 0 20 0 19 0 409040404 15857680384 931360 33554432000 4194304 4196468 140731943494640 140459293131904 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31403] ppid=31399 vsize=15486016 memory=4126316290023845779 CPUtime=0.54 cores=1,3,5,7
/proc/31401/task/31403/stat : 31403 (java) S 31399 31399 25300 0 -1 1077944384 3456 0 0 0 43 11 0 0 20 0 19 0 409040405 15857680384 931360 33554432000 4194304 4196468 140731943494640 140459256450064 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31404] ppid=31399 vsize=15486016 memory=1448 CPUtime=0.52 cores=1,3,5,7
/proc/31401/task/31404/stat : 31404 (java) S 31399 31399 25300 0 -1 1077944384 3699 0 0 0 39 13 0 0 20 0 19 0 409040405 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458880330896 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31405] ppid=31399 vsize=15486016 memory=3725440 CPUtime=0.51 cores=1,3,5,7
/proc/31401/task/31405/stat : 31405 (java) S 31399 31399 25300 0 -1 1077944384 2217 0 0 0 40 11 0 0 20 0 19 0 409040405 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458879277840 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31406] ppid=31399 vsize=15486016 memory=1412 CPUtime=0.55 cores=1,3,5,7
/proc/31401/task/31406/stat : 31406 (java) S 31399 31399 25300 0 -1 1077944384 3052 0 0 0 44 11 0 0 20 0 19 0 409040405 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458878225296 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31407] ppid=31399 vsize=15486016 memory=3252 CPUtime=0.11 cores=1,3,5,7
/proc/31401/task/31407/stat : 31407 (java) S 31399 31399 25300 0 -1 1077944384 5707 0 0 0 6 5 0 0 20 0 19 0 409040406 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458230020336 140459288902274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31408] ppid=31399 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31408/stat : 31408 (java) S 31399 31399 25300 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 409040406 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458228966624 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31409] ppid=31399 vsize=15486016 memory=1590208 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31409/stat : 31409 (java) S 31399 31399 25300 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 409040407 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458227913472 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31410] ppid=31399 vsize=15486016 memory=3725440 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31410/stat : 31410 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458226862032 140459288909723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31411] ppid=31399 vsize=15486016 memory=20204 CPUtime=4.78 cores=1,3,5,7
/proc/31401/task/31411/stat : 31411 (java) S 31399 31399 25300 0 -1 1077944384 14414 0 0 0 477 1 0 0 20 0 19 0 409040409 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458225810160 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31412] ppid=31399 vsize=15486016 memory=984 CPUtime=5.45 cores=1,3,5,7
/proc/31401/task/31412/stat : 31412 (java) S 31399 31399 25300 0 -1 1077944384 22599 0 0 0 543 2 0 0 20 0 19 0 409040409 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458224757616 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31413] ppid=31399 vsize=15486016 memory=2032 CPUtime=1.05 cores=1,3,5,7
/proc/31401/task/31413/stat : 31413 (java) S 31399 31399 25300 0 -1 1077944384 12262 0 0 0 104 1 0 0 20 0 19 0 409040409 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458223704560 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31414] ppid=31399 vsize=15486016 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/31401/task/31414/stat : 31414 (java) S 31399 31399 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409040409 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458222652256 140459288901333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31415] ppid=31399 vsize=15486016 memory=1564 CPUtime=0.22 cores=1,3,5,7
/proc/31401/task/31415/stat : 31415 (java) S 31399 31399 25300 0 -1 1077944384 1413 0 0 0 0 22 0 0 20 0 19 0 409040410 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458221599280 140459288902274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31436] ppid=31399 vsize=15486016 memory=976 CPUtime=581.13 cores=1,3,5,7
/proc/31401/task/31436/stat : 31436 (java) R 31399 31399 25300 0 -1 4202560 2612 0 0 0 58112 1 0 0 20 0 19 0 409042576 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458210283096 140458934513240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31437] ppid=31399 vsize=15486016 memory=772 CPUtime=580.65 cores=1,3,5,7
/proc/31401/task/31437/stat : 31437 (java) R 31399 31399 25300 0 -1 4202560 18694 0 0 0 58046 19 0 0 20 0 19 0 409042576 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458209231000 140458932722919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31438] ppid=31399 vsize=15486016 memory=3932 CPUtime=579.62 cores=1,3,5,7
/proc/31401/task/31438/stat : 31438 (java) R 31399 31399 25300 0 -1 4202560 27293 0 0 0 57924 38 0 0 20 0 19 0 409042576 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458211338320 140458934511405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
[pid=31401/tid=31439] ppid=31399 vsize=15486016 memory=2832 CPUtime=578.23 cores=1,3,5,7
/proc/31401/task/31439/stat : 31439 (java) R 31399 31399 25300 0 -1 4202560 2282 0 0 0 57822 1 0 0 20 0 19 0 409042576 15857680384 931360 33554432000 4194304 4196468 140731943494640 140458206080688 140458931770898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31391744 140731943502831 140731943503002 140731943503002 140731943505871 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3726888 KiB

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

[startup+605.04 s]
# the end of solver process 31399 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001127 s, system=0.001127 s

[startup+605.1 s]
# the end of solver process 31401 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.2 s, system=1.40327 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): 605.1
CPU time (s): 2400.61
CPU user time (s): 2399.2
CPU system time (s): 1.40327
CPU usage (%): 396.729
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 4176268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.2
system time used= 1.40327
maximum resident set size= 4176000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17228
involuntary context switches= 40590


# summary of solver processes directly reported to runsolver:
#   pid: 31399,31401
#   total CPU time (s): 2400.61
#   total CPU user time (s): 2399.2
#   total CPU system time (s): 1.40327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80031 second user time and 7.12339 second system time

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

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
