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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	33	2520.57	635.191
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 (15047 MiB free)
  memory of node 1: 16384 MiB (15513 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399381-1568686925/watcher-4399381-1568686925 -o /tmp/evaluation-result-4399381-1568686925/solver-4399381-1568686925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 295755794 HOME/instance-4399381-1568686925.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
Current StackSize limit: 8192 KiB

solver pid=21460, runsolver pid=21457

[startup+0.100058 s]*
/proc/loadavg: 9.83 8.83 8.57 7/234 21476
/proc/meminfo: memFree=31277028/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15144776 memory=30072 CPUtime=0.13 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 5506 0 0 0 12 1 0 0 20 0 15 0 444945584 15508250624 7518 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3786194 7518 3120 1 0 3748377 0
[pid=21462/tid=21463] ppid=21460 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 14983 0 -1 4202560 3396 0 0 0 9 0 0 0 20 0 15 0 444945584 15508250624 7584 33554432000 4194304 4196468 140720659789920 139766198275552 139766186289982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765661627680 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765660575344 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) R 21460 21460 14983 0 -1 4202560 342 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765658470512 139766171885712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) R 21460 21460 14983 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0.02 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 14983 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 7584 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31524 KiB

[startup+0.212137 s]*
/proc/loadavg: 9.83 8.83 8.57 7/234 21476
/proc/meminfo: memFree=31264432/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15144776 memory=41436 CPUtime=0.34 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 9063 0 0 0 31 3 0 0 20 0 15 0 444945584 15508250624 10359 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3786194 10359 3297 1 0 3748377 0
[pid=21462/tid=21463] ppid=21460 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 14983 0 -1 4202560 6214 0 0 0 18 2 0 0 20 0 15 0 444945584 15508250624 10359 33554432000 4194304 4196468 140720659789920 139766198286032 139766178096485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15144776 memory=288370630033364608 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444945585 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765661627680 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444945587 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765660575344 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 14983 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765658470512 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 14983 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15144776 memory=140253881652864 CPUtime=0.08 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) R 21460 21460 14983 0 -1 4202560 697 0 0 0 8 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765656365424 139766194074202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945590 15508250624 10359 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42888 KiB

[startup+0.315566 s]*
/proc/loadavg: 9.83 8.83 8.57 8/234 21476
/proc/meminfo: memFree=31255236/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15149032 memory=50780 CPUtime=0.54 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 10448 0 0 0 50 4 0 0 20 0 15 0 444945584 15512608768 12630 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3787258 12630 3363 1 0 3748377 0
[pid=21462/tid=21463] ppid=21460 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 14983 0 -1 4202560 7419 0 0 0 28 2 0 0 20 0 15 0 444945584 15512608768 12695 33554432000 4194304 4196468 140720659789920 139766198283968 139766194074781 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15149032 memory=288230376155264353 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444945585 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444945587 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444945587 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765661627680 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444945587 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765660575344 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 14983 0 -1 1077944384 677 0 0 0 4 0 0 0 20 0 15 0 444945590 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765658470512 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 14983 0 -1 1077944384 291 0 0 0 5 0 0 0 20 0 15 0 444945590 15512608768 12695 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) R 21460 21460 14983 0 -1 4202560 763 0 0 0 12 0 0 0 20 0 15 0 444945590 15512608768 12704 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15512608768 12704 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945590 15512608768 12704 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52232 KiB

[startup+0.700795 s]
/proc/loadavg: 9.83 8.83 8.57 8/234 21476
/proc/meminfo: memFree=31227536/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15151156 memory=105276 CPUtime=1.7 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 13838 0 0 0 165 5 0 0 20 0 15 0 444945584 15514783744 26319 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3787789 26319 3439 1 0 3748889 0
[pid=21462/tid=21463] ppid=21460 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 14983 0 -1 4202560 7842 0 0 0 64 3 0 0 20 0 15 0 444945584 15514783744 26319 33554432000 4194304 4196468 140720659789920 139766198286416 139765834891098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945585 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444945585 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444945587 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444945587 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765661627680 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444945587 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765660575344 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15151156 memory=1764 CPUtime=0.35 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) R 21460 21460 14983 0 -1 4202560 1534 0 0 0 35 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765658470512 139766178341856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15151156 memory=111628 CPUtime=0.34 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) R 21460 21460 14983 0 -1 4202560 1500 0 0 0 34 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765657417712 139766173299421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15151156 memory=796 CPUtime=0.3 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 14983 0 -1 1077944384 1656 0 0 0 30 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444945590 15514783744 26319 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106728 KiB

[startup+1.5008 s]
/proc/loadavg: 9.83 8.83 8.57 9/234 21476
/proc/meminfo: memFree=31102848/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0

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

/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 105970 0 0 0 230885 122 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3888147 1043618 3531 1 0 3849247 0
[pid=21462/tid=21463] ppid=21460 vsize=15552588 memory=4176008 CPUtime=4.49 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) S 21460 21460 14983 0 -1 1077944384 10303 0 0 0 434 15 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139766198293632 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15552588 memory=280507536658000 CPUtime=0.45 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 2114 0 0 0 35 10 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 2274 0 0 0 32 8 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 2597 0 0 0 31 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15552588 memory=4176008 CPUtime=0.42 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 1426 0 0 0 33 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15552588 memory=4176008 CPUtime=0.04 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 4093 0 0 0 3 1 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15552588 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765661627744 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15552588 memory=48108 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765660575360 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15552588 memory=745548 CPUtime=4.86 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 14983 0 -1 1077944384 15472 0 0 0 484 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765658470512 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15552588 memory=1452 CPUtime=5.15 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 14983 0 -1 1077944384 17389 0 0 0 511 4 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15552588 memory=3504 CPUtime=0.97 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 14983 0 -1 1077944384 11246 0 0 0 95 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15552588 memory=4176008 CPUtime=0.21 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1541 0 0 0 9 12 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21497] ppid=21460 vsize=15552588 memory=3504 CPUtime=569.34 cores=1,3,5,7
/proc/21462/task/21497/stat : 21497 (java) R 21460 21460 14983 0 -1 4202560 2471 0 0 0 56933 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765641881936 139765838694928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21498] ppid=21460 vsize=15552588 memory=48108 CPUtime=568.53 cores=1,3,5,7
/proc/21462/task/21498/stat : 21498 (java) R 21460 21460 14983 0 -1 4202560 25915 0 0 0 56805 48 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765643989016 139765841111360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21499] ppid=21460 vsize=15552588 memory=3028 CPUtime=571.06 cores=1,3,5,7
/proc/21462/task/21499/stat : 21499 (java) R 21460 21460 14983 0 -1 4202560 2124 0 0 0 57105 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765637681144 139765841076138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21500] ppid=21460 vsize=15552588 memory=14008 CPUtime=571.82 cores=1,3,5,7
/proc/21462/task/21500/stat : 21500 (java) R 21460 21460 14983 0 -1 4202560 3987 0 0 0 57178 4 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765645044528 139765840441499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 2310.07 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4175924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.112 s]
/proc/loadavg: 8.08 8.36 8.47 9/238 21746
/proc/meminfo: memFree=26148280/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15552588 memory=4174472 CPUtime=2520.3 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 108576 0 0 0 251907 123 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3888147 1043618 3531 1 0 3849247 0
[pid=21462/tid=21463] ppid=21460 vsize=15552588 memory=4174472 CPUtime=4.49 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) S 21460 21460 14983 0 -1 1077944384 10303 0 0 0 434 15 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139766198293632 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15552588 memory=1452 CPUtime=0.45 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 2114 0 0 0 35 10 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15552588 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 2274 0 0 0 32 8 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15552588 memory=280507537205600 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 2597 0 0 0 31 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.42 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 1426 0 0 0 33 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.04 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 4106 0 0 0 3 1 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765661627744 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765660575360 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15552588 memory=4174116 CPUtime=4.86 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 14983 0 -1 1077944384 15479 0 0 0 484 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765658470512 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15552588 memory=3844 CPUtime=5.15 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 14983 0 -1 1077944384 17391 0 0 0 511 4 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15552588 memory=2668 CPUtime=0.97 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 14983 0 -1 1077944384 11251 0 0 0 95 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15552588 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15552588 memory=48108 CPUtime=0.24 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1564 0 0 0 10 14 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21497] ppid=21460 vsize=15552588 memory=4174472 CPUtime=622.12 cores=1,3,5,7
/proc/21462/task/21497/stat : 21497 (java) R 21460 21460 14983 0 -1 4202560 2627 0 0 0 62211 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765641881936 139765840535564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21498] ppid=21460 vsize=15552588 memory=1452 CPUtime=621.1 cores=1,3,5,7
/proc/21462/task/21498/stat : 21498 (java) R 21460 21460 14983 0 -1 4202560 27295 0 0 0 62061 49 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765643989016 139765834006866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21499] ppid=21460 vsize=15552588 memory=1452 CPUtime=623.87 cores=1,3,5,7
/proc/21462/task/21499/stat : 21499 (java) R 21460 21460 14983 0 -1 4202560 2290 0 0 0 62386 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765637681144 139765837371905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21500] ppid=21460 vsize=15552588 memory=4174472 CPUtime=623.88 cores=1,3,5,7
/proc/21462/task/21500/stat : 21500 (java) R 21460 21460 14983 0 -1 4202560 4841 0 0 0 62383 5 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765645044528 139765840441323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4175924 KiB

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

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

[startup+635.191 s]
# the end of solver process 21462 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.31 s, system=1.25863 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.112 s]
/proc/loadavg: 8.08 8.36 8.47 9/238 21746
/proc/meminfo: memFree=26148280/32770624 swapFree=66997372/67108860
[pid=21460] ppid=21457 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444945584 115843072 363 33554432000 4194304 5098028 140721466246256 140721466244360 140595149046396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30334976 140721466254203 140721466254445 140721466254445 140721466257354 0
/proc/21460/statm: 28282 363 304 221 0 87 0
[pid=21462] ppid=21460 vsize=15552588 memory=4174472 CPUtime=2520.3 cores=1,3,5,7
/proc/21462/stat : 21462 (java) S 21460 21460 14983 0 -1 1077944320 108576 0 0 0 251907 123 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 140720659772464 139766194052855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
/proc/21462/statm: 3888147 1043618 3531 1 0 3849247 0
[pid=21462/tid=21463] ppid=21460 vsize=15552588 memory=4174472 CPUtime=4.49 cores=1,3,5,7
/proc/21462/task/21463/stat : 21463 (java) S 21460 21460 14983 0 -1 1077944384 10303 0 0 0 434 15 0 0 20 0 19 0 444945584 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139766198293632 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21464] ppid=21460 vsize=15552588 memory=1452 CPUtime=0.45 cores=1,3,5,7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 14983 0 -1 1077944384 2114 0 0 0 35 10 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765786581392 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21465] ppid=21460 vsize=15552588 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 14983 0 -1 1077944384 2274 0 0 0 32 8 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765785528592 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21466] ppid=21460 vsize=15552588 memory=280507537205600 CPUtime=0.4 cores=1,3,5,7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 14983 0 -1 1077944384 2597 0 0 0 31 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765784476304 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21467] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.42 cores=1,3,5,7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 14983 0 -1 1077944384 1426 0 0 0 33 9 0 0 20 0 19 0 444945585 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765783423504 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21468] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0.04 cores=1,3,5,7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 14983 0 -1 1077944384 4106 0 0 0 3 1 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765662681712 139766194064002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21469] ppid=21460 vsize=15552588 memory=4174472 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 14983 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765661627744 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21470] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444945587 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765660575360 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21471] ppid=21460 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765659523664 139766194071451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21472] ppid=21460 vsize=15552588 memory=4174116 CPUtime=4.86 cores=1,3,5,7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 14983 0 -1 1077944384 15479 0 0 0 484 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765658470512 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21473] ppid=21460 vsize=15552588 memory=3844 CPUtime=5.15 cores=1,3,5,7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 14983 0 -1 1077944384 17391 0 0 0 511 4 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765657417712 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21474] ppid=21460 vsize=15552588 memory=2668 CPUtime=0.97 cores=1,3,5,7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 14983 0 -1 1077944384 11251 0 0 0 95 2 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765656365424 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21475] ppid=21460 vsize=15552588 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765655312864 139766194063061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21476] ppid=21460 vsize=15552588 memory=48108 CPUtime=0.24 cores=1,3,5,7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 14983 0 -1 1077944384 1564 0 0 0 10 14 0 0 20 0 19 0 444945590 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765654260656 139766194064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21497] ppid=21460 vsize=15552588 memory=4174472 CPUtime=622.12 cores=1,3,5,7
/proc/21462/task/21497/stat : 21497 (java) R 21460 21460 14983 0 -1 4202560 2627 0 0 0 62211 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765641881936 139765840535564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21498] ppid=21460 vsize=15552588 memory=1452 CPUtime=621.1 cores=1,3,5,7
/proc/21462/task/21498/stat : 21498 (java) R 21460 21460 14983 0 -1 4202560 27295 0 0 0 62061 49 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765643989016 139765834006866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21499] ppid=21460 vsize=15552588 memory=1452 CPUtime=623.87 cores=1,3,5,7
/proc/21462/task/21499/stat : 21499 (java) R 21460 21460 14983 0 -1 4202560 2290 0 0 0 62386 1 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765637681144 139765837371905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
[pid=21462/tid=21500] ppid=21460 vsize=15552588 memory=4174472 CPUtime=623.88 cores=1,3,5,7
/proc/21462/task/21500/stat : 21500 (java) R 21460 21460 14983 0 -1 4202560 4841 0 0 0 62383 5 0 0 20 0 19 0 444946471 15925850112 1043618 33554432000 4194304 4196468 140720659789920 139765645044528 139765840441323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39407616 140720659792879 140720659793050 140720659793050 140720659795919 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4175924 KiB

Child status: 143
Real time (s): 635.191
CPU time (s): 2520.57
CPU user time (s): 2519.31
CPU system time (s): 1.25863
CPU usage (%): 396.821
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 4177460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.31
system time used= 1.25863
maximum resident set size= 4176676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17225
involuntary context switches= 34365


# summary of solver processes directly reported to runsolver:
#   pid: 21460,21462
#   total CPU time (s): 2520.57
#   total CPU user time (s): 2519.31
#   total CPU system time (s): 1.25863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39079 second user time and 7.19098 second system time

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

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
