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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	41	1973.48	252.13499
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 (14311 MiB free)
  memory of node 1: 16384 MiB (14163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271578-1502640302/watcher-4271578-1502640302 -o /tmp/evaluation-result-4271578-1502640302/solver-4271578-1502640302 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1152557093 HOME/instance-4271578-1502640302.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11421, runsolver pid=11418
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.58 8.07 7.67 2/200 11442
/proc/meminfo: memFree=29143252/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=25999808 memory=27044 CPUtime=0.11 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 5634 0 0 0 11 0 0 0 20 0 20 0 97118300 26623803392 6761 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6499952 6761 2863 1 0 6488269 0
[pid=11423/tid=11424] ppid=11421 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) R 11421 11421 3823 0 -1 4202560 3638 0 0 0 8 0 0 0 20 0 20 0 97118300 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901448550032 139901444328854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=25999808 memory=140710798374528 CPUtime=0 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11428] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11428/stat : 11428 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901393779344 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11429] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11429/stat : 11429 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901392726800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11430] ppid=11421 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11430/stat : 11430 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901391674256 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11431] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11431/stat : 11431 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901390621712 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11432] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11432/stat : 11432 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118301 26623803392 6761 33554432000 4194304 4196468 140729486208144 139901389569168 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11433] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11433/stat : 11433 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118302 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900437383152 139901444328066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11434] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11434/stat : 11434 (java) S 11421 11421 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97118303 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900436329376 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11435] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11435/stat : 11435 (java) S 11421 11421 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97118303 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900435276784 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11436] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11436/stat : 11436 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900434225360 139901444335515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11437] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11437/stat : 11437 (java) S 11421 11421 3823 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900433172976 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11438] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11438/stat : 11438 (java) S 11421 11421 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900432120432 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11439] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11439/stat : 11439 (java) R 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900431067888 139901444328066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11440] ppid=11421 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11423/task/11440/stat : 11440 (java) R 11421 11421 3823 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900430015344 139901444328854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11441] ppid=11421 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11441/stat : 11441 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900428962016 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11442] ppid=11421 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11442/stat : 11442 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118306 26623803392 6761 33554432000 4194304 4196468 140729486208144 139900427909552 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28428 KiB

[startup+0.210104 s]*
/proc/loadavg: 7.58 8.07 7.67 2/200 11442
/proc/meminfo: memFree=29129896/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=26004064 memory=38968 CPUtime=0.32 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 8329 0 0 0 31 1 0 0 20 0 20 0 97118300 26628161536 9742 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6501016 9742 3048 1 0 6488269 0
[pid=11423/tid=11424] ppid=11421 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) R 11421 11421 3823 0 -1 4202560 5426 0 0 0 18 1 0 0 20 0 20 0 97118300 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901448537912 139901428397406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=26004064 memory=140710798384868 CPUtime=0 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11428] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11428/stat : 11428 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901393779344 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11429] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11429/stat : 11429 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901392726800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11430] ppid=11421 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11430/stat : 11430 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901391674256 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11431] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11431/stat : 11431 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901390621712 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11432] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11432/stat : 11432 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 9742 33554432000 4194304 4196468 140729486208144 139901389569168 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11433] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11433/stat : 11433 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118302 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900437383152 139901444328066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11434] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11434/stat : 11434 (java) S 11421 11421 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97118303 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900436329376 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11435] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11435/stat : 11435 (java) S 11421 11421 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97118303 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900435276784 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11436] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11436/stat : 11436 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900434225360 139901444335515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11437] ppid=11421 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11423/task/11437/stat : 11437 (java) S 11421 11421 3823 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900433172976 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11438] ppid=11421 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11423/task/11438/stat : 11438 (java) S 11421 11421 3823 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900432120432 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11439] ppid=11421 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/11423/task/11439/stat : 11439 (java) S 11421 11421 3823 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900431067888 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11440] ppid=11421 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/11423/task/11440/stat : 11440 (java) S 11421 11421 3823 0 -1 1077944384 723 0 0 0 7 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900430015344 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11441] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11441/stat : 11441 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900428962016 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11442] ppid=11421 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11442/stat : 11442 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 9742 33554432000 4194304 4196468 140729486208144 139900427909552 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40352 KiB

[startup+0.368514 s]*
/proc/loadavg: 7.58 8.07 7.67 5/200 11442
/proc/meminfo: memFree=29116116/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=26004064 memory=57396 CPUtime=0.75 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 11104 0 0 0 72 3 0 0 20 0 20 0 97118300 26628161536 14349 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6501016 14349 3145 1 0 6488269 0
[pid=11423/tid=11424] ppid=11421 vsize=26004064 memory=6791534058613427641 CPUtime=0.34 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) R 11421 11421 3823 0 -1 4202560 6105 0 0 0 33 1 0 0 20 0 20 0 97118300 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901448552976 139901444338845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11428] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11428/stat : 11428 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901393779344 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11429] ppid=11421 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11423/task/11429/stat : 11429 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901392726800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11430] ppid=11421 vsize=26004064 memory=140710644904879 CPUtime=0 cores=0-7
/proc/11423/task/11430/stat : 11430 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901391674256 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11431] ppid=11421 vsize=26004064 memory=140710644907184 CPUtime=0 cores=0-7
/proc/11423/task/11431/stat : 11431 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901390621712 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11432] ppid=11421 vsize=26004064 memory=140710644909488 CPUtime=0 cores=0-7
/proc/11423/task/11432/stat : 11432 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118301 26628161536 14415 33554432000 4194304 4196468 140729486208144 139901389569168 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11433] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11433/stat : 11433 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118302 26628161536 14415 33554432000 4194304 4196468 140729486208144 139900437383152 139901444328066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11434] ppid=11421 vsize=26004064 memory=281421289825936 CPUtime=0 cores=0-7
/proc/11423/task/11434/stat : 11434 (java) S 11421 11421 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97118303 26628161536 14415 33554432000 4194304 4196468 140729486208144 139900436329376 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11435] ppid=11421 vsize=26004064 memory=281421289832848 CPUtime=0 cores=0-7
/proc/11423/task/11435/stat : 11435 (java) S 11421 11421 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97118303 26628161536 14481 33554432000 4194304 4196468 140729486208144 139900435276784 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11436] ppid=11421 vsize=26004064 memory=281421289774128 CPUtime=0 cores=0-7
/proc/11423/task/11436/stat : 11436 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 14481 33554432000 4194304 4196468 140729486208144 139900434225360 139901444335515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11437] ppid=11421 vsize=26004064 memory=281421289846672 CPUtime=0.06 cores=0-7
/proc/11423/task/11437/stat : 11437 (java) R 11421 11421 3823 0 -1 4202560 1029 0 0 0 6 0 0 0 20 0 20 0 97118306 26628161536 14481 33554432000 4194304 4196468 140729486208144 139900433159760 139901425017216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11438] ppid=11421 vsize=26004064 memory=281421289853584 CPUtime=0.07 cores=0-7
/proc/11423/task/11438/stat : 11438 (java) R 11421 11421 3823 0 -1 4202560 695 0 0 0 7 0 0 0 20 0 20 0 97118306 26628161536 14547 33554432000 4194304 4196468 140729486208144 139900432105896 139901425861008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11439] ppid=11421 vsize=26004064 memory=281421289851280 CPUtime=0.08 cores=0-7
/proc/11423/task/11439/stat : 11439 (java) R 11421 11421 3823 0 -1 4202560 863 0 0 0 8 0 0 0 20 0 20 0 97118306 26628161536 14547 33554432000 4194304 4196468 140729486208144 139900431048904 139901437413771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11440] ppid=11421 vsize=26004064 memory=281421289867440 CPUtime=0.16 cores=0-7
/proc/11423/task/11440/stat : 11440 (java) S 11421 11421 3823 0 -1 1077944384 1227 0 0 0 16 0 0 0 20 0 20 0 97118306 26628161536 14547 33554432000 4194304 4196468 140729486208144 139900430015344 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11441] ppid=11421 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11441/stat : 11441 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 14547 33554432000 4194304 4196468 140729486208144 139900428962016 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11442] ppid=11421 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11423/task/11442/stat : 11442 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118306 26628161536 14547 33554432000 4194304 4196468 140729486208144 139900427909552 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 58780 KiB

[startup+0.700886 s]
/proc/loadavg: 7.58 8.07 7.67 5/200 11442
/proc/meminfo: memFree=29096028/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=26004140 memory=132644 CPUtime=1.87 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 13949 0 0 0 182 5 0 0 20 0 20 0 97118300 26628239360 33161 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6501035 33161 3199 1 0 6488269 0
[pid=11423/tid=11424] ppid=11421 vsize=26004140 memory=281421290225328 CPUtime=0.67 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) R 11421 11421 3823 0 -1 4202560 6418 0 0 0 64 3 0 0 20 0 20 0 97118300 26628239360 33161 33554432000 4194304 4196468 140729486208144 139901448551896 139901063822319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=26004140 memory=140710645113712 CPUtime=0 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628239360 33161 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97118301 26628239360 33161 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=26004140 memory=5296 CPUtime=0 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97118301 26628239360 33161 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0

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

[pid=11423/tid=11594] ppid=11421 vsize=26538700 memory=14698478437665088 CPUtime=126.32 cores=0-7
/proc/11423/task/11594/stat : 11594 (java) R 11421 11421 3823 0 -1 4202560 4955 0 0 0 12612 20 0 0 20 0 28 0 97121873 27175628800 1459739 33554432000 4194304 4196468 140729486208144 139900416741024 139901068088846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 1256.98 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5840340 KiB

[startup+222.302 s]
/proc/loadavg: 8.24 8.17 7.78 9/208 11594
/proc/meminfo: memFree=22402316/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=26538700 memory=6760584 CPUtime=1735.68 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 127735 0 0 0 173118 450 0 0 20 0 28 0 97118300 27175628800 1690146 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6634675 1690146 3295 1 0 6621909 0
[pid=11423/tid=11424] ppid=11421 vsize=26538700 memory=1384 CPUtime=4.29 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) S 11421 11421 3823 0 -1 1077944384 7991 0 0 0 411 18 0 0 20 0 28 0 97118300 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901448557696 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=26538700 memory=164 CPUtime=1.03 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 1616 0 0 0 81 22 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1413 0 0 0 79 23 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=26538700 memory=6760584 CPUtime=1.04 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 1407 0 0 0 80 24 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11428] ppid=11421 vsize=26538700 memory=1384 CPUtime=1.05 cores=0-7
/proc/11423/task/11428/stat : 11428 (java) S 11421 11421 3823 0 -1 1077944384 1158 0 0 0 81 24 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901393779344 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11429] ppid=11421 vsize=26538700 memory=5838956 CPUtime=0.98 cores=0-7
/proc/11423/task/11429/stat : 11429 (java) S 11421 11421 3823 0 -1 1077944384 1623 0 0 0 76 22 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901392726800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11430] ppid=11421 vsize=26538700 memory=6944656592455360604 CPUtime=1.03 cores=0-7
/proc/11423/task/11430/stat : 11430 (java) S 11421 11421 3823 0 -1 1077944384 1245 0 0 0 80 23 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901391674256 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11431] ppid=11421 vsize=26538700 memory=1384 CPUtime=1.02 cores=0-7
/proc/11423/task/11431/stat : 11431 (java) S 11421 11421 3823 0 -1 1077944384 2602 0 0 0 79 23 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901390621712 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11432] ppid=11421 vsize=26538700 memory=6760584 CPUtime=1.02 cores=0-7
/proc/11423/task/11432/stat : 11432 (java) S 11421 11421 3823 0 -1 1077944384 951 0 0 0 80 22 0 0 20 0 28 0 97118301 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139901389569168 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11433] ppid=11421 vsize=26538700 memory=4730 CPUtime=0.26 cores=0-7
/proc/11423/task/11433/stat : 11433 (java) S 11421 11421 3823 0 -1 1077944384 8831 0 0 0 25 1 0 0 20 0 28 0 97118302 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900437383152 139901444328066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11434] ppid=11421 vsize=26538700 memory=4742 CPUtime=0 cores=0-7
/proc/11423/task/11434/stat : 11434 (java) S 11421 11421 3823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97118303 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900436329440 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11435] ppid=11421 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/11423/task/11435/stat : 11435 (java) S 11421 11421 3823 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97118303 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900435276800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11436] ppid=11421 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/11423/task/11436/stat : 11436 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900434225360 139901444335515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11437] ppid=11421 vsize=26538700 memory=0 CPUtime=2.96 cores=0-7
/proc/11423/task/11437/stat : 11437 (java) S 11421 11421 3823 0 -1 1077944384 10912 0 0 0 294 2 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900433172976 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11438] ppid=11421 vsize=26538700 memory=37070 CPUtime=2.93 cores=0-7
/proc/11423/task/11438/stat : 11438 (java) S 11421 11421 3823 0 -1 1077944384 9973 0 0 0 291 2 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900432120432 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11439] ppid=11421 vsize=26538700 memory=3644708 CPUtime=2.86 cores=0-7
/proc/11423/task/11439/stat : 11439 (java) S 11421 11421 3823 0 -1 1077944384 9055 0 0 0 285 1 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900431067888 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11440] ppid=11421 vsize=26538700 memory=1384 CPUtime=0.89 cores=0-7
/proc/11423/task/11440/stat : 11440 (java) S 11421 11421 3823 0 -1 1077944384 7621 0 0 0 87 2 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900430015344 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11441] ppid=11421 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/11423/task/11441/stat : 11441 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900428962016 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11442] ppid=11421 vsize=26538700 memory=5792100 CPUtime=0.08 cores=0-7
/proc/11423/task/11442/stat : 11442 (java) S 11421 11421 3823 0 -1 1077944384 1226 0 0 0 5 3 0 0 20 0 28 0 97118306 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900427909552 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11587] ppid=11421 vsize=26538700 memory=1384 CPUtime=185.92 cores=0-7
/proc/11423/task/11587/stat : 11587 (java) R 11421 11421 3823 0 -1 4202560 1106 0 0 0 18592 0 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900419898328 139901063456308 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11588] ppid=11421 vsize=26538700 memory=6760584 CPUtime=186.43 cores=0-7
/proc/11423/task/11588/stat : 11588 (java) R 11421 11421 3823 0 -1 4202560 926 0 0 0 18642 1 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900415689304 139901068836437 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11589] ppid=11421 vsize=26538700 memory=6760584 CPUtime=186.35 cores=0-7
/proc/11423/task/11589/stat : 11589 (java) R 11421 11421 3823 0 -1 4202560 11529 0 0 0 18602 33 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900418846072 139901062549927 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11590] ppid=11421 vsize=26538700 memory=27772 CPUtime=185.1 cores=0-7
/proc/11423/task/11590/stat : 11590 (java) R 11421 11421 3823 0 -1 4202560 2003 0 0 0 18503 7 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900414636376 139901062456474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11591] ppid=11421 vsize=26538700 memory=6760584 CPUtime=185.8 cores=0-7
/proc/11423/task/11591/stat : 11591 (java) R 11421 11421 3823 0 -1 4202560 7234 0 0 0 18530 50 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900417795032 139901063456557 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11592] ppid=11421 vsize=26538700 memory=4140 CPUtime=185.16 cores=0-7
/proc/11423/task/11592/stat : 11592 (java) R 11421 11421 3823 0 -1 4202560 766 0 0 0 18515 1 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900412531032 139901068432841 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11593] ppid=11421 vsize=26538700 memory=6760584 CPUtime=186.39 cores=0-7
/proc/11423/task/11593/stat : 11593 (java) R 11421 11421 3823 0 -1 4202560 13522 0 0 0 18591 48 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900413582816 139901068861989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11594] ppid=11421 vsize=26538700 memory=4140 CPUtime=186.28 cores=0-7
/proc/11423/task/11594/stat : 11594 (java) R 11421 11421 3823 0 -1 4202560 7026 0 0 0 18596 32 0 0 20 0 28 0 97121873 27175628800 1690146 33554432000 4194304 4196468 140729486208144 139900416743872 139901070065251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 1735.68 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6761968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.15 8.15 7.79 9/208 11594
/proc/meminfo: memFree=22353304/32770624 swapFree=67108860/67108860
[pid=11421] ppid=11418 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11421/stat : 11421 (xcsp3-exec) S 11418 11421 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97118300 9740288 346 33554432000 4194304 5098028 140736577591328 140736577589432 140248642667132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13594624 140736577598570 140736577598780 140736577598780 140736577601515 0
/proc/11421/statm: 2378 346 289 221 0 87 0
[pid=11423] ppid=11421 vsize=26538700 memory=6809584 CPUtime=1972.7 cores=0-7
/proc/11423/stat : 11423 (java) S 11421 11421 3823 0 -1 1077944320 134955 0 0 0 196807 463 0 0 20 0 28 0 97118300 27175628800 1702396 33554432000 4194304 4196468 140729486208144 140729486190688 139901444316919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
/proc/11423/statm: 6634675 1702396 3295 1 0 6621909 0
[pid=11423/tid=11424] ppid=11421 vsize=26538700 memory=1692 CPUtime=4.29 cores=0-7
/proc/11423/task/11424/stat : 11424 (java) S 11421 11421 3823 0 -1 1077944384 7991 0 0 0 411 18 0 0 20 0 28 0 97118300 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901448557696 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11425] ppid=11421 vsize=26538700 memory=4126316290023845779 CPUtime=1.03 cores=0-7
/proc/11423/task/11425/stat : 11425 (java) S 11421 11421 3823 0 -1 1077944384 1648 0 0 0 81 22 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901396936976 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11426] ppid=11421 vsize=26538700 memory=4044 CPUtime=1.03 cores=0-7
/proc/11423/task/11426/stat : 11426 (java) S 11421 11421 3823 0 -1 1077944384 1458 0 0 0 80 23 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901395884432 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11427] ppid=11421 vsize=26538700 memory=1792 CPUtime=1.04 cores=0-7
/proc/11423/task/11427/stat : 11427 (java) S 11421 11421 3823 0 -1 1077944384 1792 0 0 0 80 24 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901394831888 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11428] ppid=11421 vsize=26538700 memory=636 CPUtime=1.05 cores=0-7
/proc/11423/task/11428/stat : 11428 (java) S 11421 11421 3823 0 -1 1077944384 1186 0 0 0 81 24 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901393779344 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11429] ppid=11421 vsize=26538700 memory=956 CPUtime=0.99 cores=0-7
/proc/11423/task/11429/stat : 11429 (java) S 11421 11421 3823 0 -1 1077944384 1651 0 0 0 77 22 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901392726800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11430] ppid=11421 vsize=26538700 memory=2340 CPUtime=1.03 cores=0-7
/proc/11423/task/11430/stat : 11430 (java) S 11421 11421 3823 0 -1 1077944384 1334 0 0 0 80 23 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901391674256 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11431] ppid=11421 vsize=26538700 memory=1236 CPUtime=1.03 cores=0-7
/proc/11423/task/11431/stat : 11431 (java) S 11421 11421 3823 0 -1 1077944384 2712 0 0 0 79 24 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901390621712 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11432] ppid=11421 vsize=26538700 memory=2240 CPUtime=1.03 cores=0-7
/proc/11423/task/11432/stat : 11432 (java) S 11421 11421 3823 0 -1 1077944384 1056 0 0 0 80 23 0 0 20 0 28 0 97118301 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139901389569168 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11433] ppid=11421 vsize=26538700 memory=4128 CPUtime=0.26 cores=0-7
/proc/11423/task/11433/stat : 11433 (java) S 11421 11421 3823 0 -1 1077944384 9169 0 0 0 25 1 0 0 20 0 28 0 97118302 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900437383152 139901444328066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11434] ppid=11421 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/11423/task/11434/stat : 11434 (java) S 11421 11421 3823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97118303 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900436329440 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11435] ppid=11421 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/11423/task/11435/stat : 11435 (java) S 11421 11421 3823 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97118303 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900435276800 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11436] ppid=11421 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/11423/task/11436/stat : 11436 (java) S 11421 11421 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900434225360 139901444335515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11437] ppid=11421 vsize=26538700 memory=6809584 CPUtime=2.96 cores=0-7
/proc/11423/task/11437/stat : 11437 (java) S 11421 11421 3823 0 -1 1077944384 10915 0 0 0 294 2 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900433172976 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11438] ppid=11421 vsize=26538700 memory=1224 CPUtime=2.93 cores=0-7
/proc/11423/task/11438/stat : 11438 (java) S 11421 11421 3823 0 -1 1077944384 9976 0 0 0 291 2 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900432120432 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11439] ppid=11421 vsize=26538700 memory=6791534058613427641 CPUtime=2.89 cores=0-7
/proc/11423/task/11439/stat : 11439 (java) S 11421 11421 3823 0 -1 1077944384 10525 0 0 0 287 2 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900431067888 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11440] ppid=11421 vsize=26538700 memory=4126316290023845779 CPUtime=0.89 cores=0-7
/proc/11423/task/11440/stat : 11440 (java) S 11421 11421 3823 0 -1 1077944384 7625 0 0 0 87 2 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900430015344 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11441] ppid=11421 vsize=26538700 memory=5296 CPUtime=0 cores=0-7
/proc/11423/task/11441/stat : 11441 (java) S 11421 11421 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900428962016 139901444327125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11442] ppid=11421 vsize=26538700 memory=1196 CPUtime=0.08 cores=0-7
/proc/11423/task/11442/stat : 11442 (java) S 11421 11421 3823 0 -1 1077944384 1252 0 0 0 5 3 0 0 20 0 28 0 97118306 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900427909552 139901444328066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11587] ppid=11421 vsize=26538700 memory=4612 CPUtime=215.62 cores=0-7
/proc/11423/task/11587/stat : 11587 (java) R 11421 11421 3823 0 -1 4202560 1191 0 0 0 21562 0 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900419898328 139901063456230 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11588] ppid=11421 vsize=26538700 memory=15872 CPUtime=216.12 cores=0-7
/proc/11423/task/11588/stat : 11588 (java) R 11421 11421 3823 0 -1 4202560 984 0 0 0 21611 1 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900415688792 139901063455855 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11589] ppid=11421 vsize=26538700 memory=18448 CPUtime=216.04 cores=0-7
/proc/11423/task/11589/stat : 11589 (java) R 11421 11421 3823 0 -1 4202560 12706 0 0 0 21570 34 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900418846544 139901063456080 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11590] ppid=11421 vsize=26538700 memory=15756 CPUtime=214.2 cores=0-7
/proc/11423/task/11590/stat : 11590 (java) R 11421 11421 3823 0 -1 4202560 2077 0 0 0 21412 8 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900414636456 139901063456074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11591] ppid=11421 vsize=26538700 memory=6791534058613427641 CPUtime=215.5 cores=0-7
/proc/11423/task/11591/stat : 11591 (java) R 11421 11421 3823 0 -1 4202560 7509 0 0 0 21498 52 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900417794520 139901068836392 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11592] ppid=11421 vsize=26538700 memory=1420 CPUtime=214.85 cores=0-7
/proc/11423/task/11592/stat : 11592 (java) R 11421 11421 3823 0 -1 4202560 835 0 0 0 21484 1 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900412531288 139901068860756 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11593] ppid=11421 vsize=26538700 memory=1384 CPUtime=216.09 cores=0-7
/proc/11423/task/11593/stat : 11593 (java) R 11421 11421 3823 0 -1 4202560 15700 0 0 0 21556 53 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900413582600 139901069842240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
[pid=11423/tid=11594] ppid=11421 vsize=26538700 memory=6809584 CPUtime=215.96 cores=0-7
/proc/11423/task/11594/stat : 11594 (java) R 11421 11421 3823 0 -1 4202560 7665 0 0 0 21563 33 0 0 20 0 28 0 97121873 27175628800 1702396 33554432000 4194304 4196468 140729486208144 139900416740832 139901070064735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140729486210200 140729486210376 140729486210376 140729486213071 0
Current children cumulated CPU time: 1972.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6810968 KiB

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

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

[startup+252.135 s]
# the end of solver process 11423 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1968.82 s, system=4.6626 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): 252.135
CPU time (s): 1973.48
CPU user time (s): 1968.82
CPU system time (s): 4.6626
CPU usage (%): 782.71
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 6810968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1968.82
system time used= 4.6626
maximum resident set size= 6810080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13109
involuntary context switches= 20592


# summary of solver processes directly reported to runsolver:
#   pid: 11421,11423
#   total CPU time (s): 1973.48
#   total CPU user time (s): 1968.82
#   total CPU system time (s): 4.6626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01197 second user time and 3.16647 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4271578

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
