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 seq (2017-08-18)	SAT (TO)	40	247.353	240.02699
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 (14180 MiB free)
  memory of node 1: 16384 MiB (13486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282858-1503211003/watcher-4282858-1503211003 -o /tmp/evaluation-result-4282858-1503211003/solver-4282858-1503211003 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21931 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 243127618 HOME/instance-4282858-1503211003.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 1.41 1.65 1.55 3/216 22761
/proc/meminfo: memFree=28304348/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13978596 memory=28632 CPUtime=0.12 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 5523 0 0 0 11 1 0 0 20 0 15 0 154188436 14314082304 7158 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3494649 7158 2860 1 0 3482966 0
[pid=22718/tid=22719] ppid=22716 vsize=13978596 memory=4351193298051629962 CPUtime=0.09 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 3530 0 0 0 8 1 0 0 20 0 15 0 154188437 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515500299136 140515496078742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13978596 memory=140356620719744 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188438 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13978596 memory=140356620719744 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188439 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188439 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515036423456 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188440 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515035371120 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13978596 memory=140356620719744 CPUtime=0.01 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13978596 memory=140356620719744 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188442 14314082304 7158 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30016 KiB

[startup+0.210667 s]*
/proc/loadavg: 1.41 1.65 1.55 4/216 22761
/proc/meminfo: memFree=28280312/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13982852 memory=40500 CPUtime=0.34 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 8189 0 0 0 31 3 0 0 20 0 15 0 154188436 14318440448 10125 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3495713 10125 3070 1 0 3482966 0
[pid=22718/tid=22719] ppid=22716 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 1077944384 5329 0 0 0 18 2 0 0 20 0 15 0 154188437 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515500277600 140515488746029 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13982852 memory=8961 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13982884 memory=3473038204197213856 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318473216 10125 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13982852 memory=140356620719744 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188439 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188439 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515036423456 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188440 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515035371120 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13982884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 154188442 14318473216 10125 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 154188442 14318473216 10125 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13982852 memory=140356620719744 CPUtime=0.07 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 717 0 0 0 7 0 0 0 20 0 15 0 154188442 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 10125 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41884 KiB

[startup+0.311975 s]*
/proc/loadavg: 1.41 1.65 1.55 6/216 22761
/proc/meminfo: memFree=28268764/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13982852 memory=47388 CPUtime=0.51 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 9016 0 0 0 48 3 0 0 20 0 15 0 154188436 14318440448 11847 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3495713 11847 3121 1 0 3482966 0
[pid=22718/tid=22719] ppid=22716 vsize=13982852 memory=595678064335126645 CPUtime=0.3 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 5955 0 0 0 28 2 0 0 20 0 15 0 154188437 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515500304816 140515496078742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13982852 memory=302022874271842660 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13982852 memory=775336 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188438 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188439 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188439 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515036423456 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188440 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515035371120 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) R 22716 22716 21899 0 -1 4202560 842 0 0 0 13 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515031157568 140515488303934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188442 14318440448 11847 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48772 KiB

[startup+0.701193 s]
/proc/loadavg: 1.41 1.65 1.55 3/200 22764
/proc/meminfo: memFree=28267388/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13982928 memory=118760 CPUtime=1.69 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 12511 0 0 0 163 6 0 0 20 0 15 0 154188436 14318518272 29690 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3495732 29690 3196 1 0 3482966 0
[pid=22718/tid=22719] ppid=22716 vsize=13982928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 6260 0 0 0 64 3 0 0 20 0 15 0 154188437 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515500302800 140515109477140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188438 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13982928 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188438 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13982928 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154188439 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13982928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188439 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515036423456 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13982928 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188440 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515035371120 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13982928 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13982928 memory=4316 CPUtime=0.35 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) R 22716 22716 21899 0 -1 4202560 1720 0 0 0 35 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515033252312 140515479451447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13982928 memory=2196 CPUtime=0.36 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) R 22716 22716 21899 0 -1 4202560 1747 0 0 0 36 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515032199512 140515479454044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13982928 memory=7784 CPUtime=0.27 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 1474 0 0 0 27 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13982928 memory=832 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13982928 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14318518272 29690 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 120144 KiB

[startup+1.50083 s]
/proc/loadavg: 1.41 1.65 1.55 5/218 22811
/proc/meminfo: memFree=28125180/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0

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

/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154188440 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515035371136 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13984976 memory=1194952 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13984976 memory=164 CPUtime=2.9 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 11630 0 0 0 288 2 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13984976 memory=6944656575208382560 CPUtime=2.96 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 11054 0 0 0 294 2 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13984976 memory=1384 CPUtime=0.66 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 4029 0 0 0 65 1 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13984976 memory=1188120 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13984976 memory=68 CPUtime=0.03 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 615 0 0 0 1 2 0 0 20 0 15 0 154188442 14320615424 298739 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 109.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1196340 KiB

[startup+162.301 s]
/proc/loadavg: 1.86 1.76 1.60 3/217 22814
/proc/meminfo: memFree=26497024/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13984976 memory=1200544 CPUtime=169.55 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 55896 0 0 0 16907 48 0 0 20 0 15 0 154188436 14320615424 300136 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3496244 300136 3273 1 0 3483478 0
[pid=22718/tid=22719] ppid=22716 vsize=13984976 memory=1200544 CPUtime=162.05 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 16234 0 0 0 16187 18 0 0 20 0 15 0 154188437 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515500306464 140515112415133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0.19 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 706 0 0 0 14 5 0 0 20 0 15 0 154188438 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0.19 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1756 0 0 0 14 5 0 0 20 0 15 0 154188438 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0.16 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 1878 0 0 0 12 4 0 0 20 0 15 0 154188438 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13984976 memory=1384 CPUtime=0.17 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 1334 0 0 0 13 4 0 0 20 0 15 0 154188438 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2191 0 0 0 2 0 0 0 20 0 15 0 154188439 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13984976 memory=42856 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188439 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515036423520 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154188440 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515035371136 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13984976 memory=1188120 CPUtime=2.95 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 12930 0 0 0 293 2 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13984976 memory=1944 CPUtime=2.99 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 11945 0 0 0 297 2 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13984976 memory=1384 CPUtime=0.68 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 4979 0 0 0 67 1 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13984976 memory=1200544 CPUtime=0.06 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 627 0 0 0 2 4 0 0 20 0 15 0 154188442 14320615424 300136 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 169.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1201928 KiB

[startup+222.301 s]
/proc/loadavg: 1.87 1.78 1.62 7/217 22815
/proc/meminfo: memFree=26488656/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13984976 memory=1203952 CPUtime=229.6 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 58599 0 0 0 22910 50 0 0 20 0 15 0 154188436 14320615424 300988 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3496244 300988 3273 1 0 3483478 0
[pid=22718/tid=22719] ppid=22716 vsize=13984976 memory=1203952 CPUtime=222.05 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 17698 0 0 0 22187 18 0 0 20 0 15 0 154188437 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515500306464 140515114514514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13984976 memory=1203952 CPUtime=0.2 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 761 0 0 0 15 5 0 0 20 0 15 0 154188438 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13984976 memory=1384 CPUtime=0.2 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1808 0 0 0 14 6 0 0 20 0 15 0 154188438 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13984976 memory=1384 CPUtime=0.18 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 2168 0 0 0 13 5 0 0 20 0 15 0 154188438 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13984976 memory=1576 CPUtime=0.18 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 1474 0 0 0 13 5 0 0 20 0 15 0 154188438 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13984976 memory=2236 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2413 0 0 0 2 0 0 0 20 0 15 0 154188439 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188439 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515036423520 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154188440 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515035371136 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13984976 memory=1203952 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13984976 memory=1384 CPUtime=2.95 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 12934 0 0 0 293 2 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13984976 memory=1203952 CPUtime=2.99 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 11947 0 0 0 297 2 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13984976 memory=4136 CPUtime=0.68 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 5423 0 0 0 67 1 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13984976 memory=42860 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13984976 memory=1203952 CPUtime=0.07 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 657 0 0 0 3 4 0 0 20 0 15 0 154188442 14320615424 300988 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 229.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1205336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.91 1.80 1.63 3/217 22815
/proc/meminfo: memFree=26473572/32770624 swapFree=67108860/67108860
[pid=22716] ppid=22713 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (xcsp3-exec) S 22713 22716 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154188436 9740288 346 33554432000 4194304 5098028 140728348174336 140728348172440 139930462917244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9412608 140728348181621 140728348181824 140728348181824 140728348184555 0
/proc/22716/statm: 2378 346 289 221 0 87 0
[pid=22718] ppid=22716 vsize=13984976 memory=1200800 CPUtime=247.32 cores=1,3,5,7
/proc/22718/stat : 22718 (java) S 22716 22716 21899 0 -1 1077944320 59262 0 0 0 24681 51 0 0 20 0 15 0 154188436 14320615424 300200 33554432000 4194304 4196468 140726596289120 140726596271664 140515496066807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
/proc/22718/statm: 3496244 300200 3273 1 0 3483478 0
[pid=22718/tid=22719] ppid=22716 vsize=13984976 memory=6791534058613427641 CPUtime=239.75 cores=1,3,5,7
/proc/22718/task/22719/stat : 22719 (java) R 22716 22716 21899 0 -1 4202560 18356 0 0 0 23957 18 0 0 20 0 15 0 154188437 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515500306336 140515114514394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22724] ppid=22716 vsize=13984976 memory=4872558044660077418 CPUtime=0.2 cores=1,3,5,7
/proc/22718/task/22724/stat : 22724 (java) S 22716 22716 21899 0 -1 1077944384 763 0 0 0 15 5 0 0 20 0 15 0 154188438 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515091331472 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22725] ppid=22716 vsize=13984976 memory=4136 CPUtime=0.2 cores=1,3,5,7
/proc/22718/task/22725/stat : 22725 (java) S 22716 22716 21899 0 -1 1077944384 1809 0 0 0 14 6 0 0 20 0 15 0 154188438 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515090278672 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22726] ppid=22716 vsize=13984976 memory=42860 CPUtime=0.18 cores=1,3,5,7
/proc/22718/task/22726/stat : 22726 (java) S 22716 22716 21899 0 -1 1077944384 2169 0 0 0 13 5 0 0 20 0 15 0 154188438 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515089226384 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22727] ppid=22716 vsize=13984976 memory=1296 CPUtime=0.18 cores=1,3,5,7
/proc/22718/task/22727/stat : 22727 (java) S 22716 22716 21899 0 -1 1077944384 1475 0 0 0 13 5 0 0 20 0 15 0 154188438 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515088173584 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22732] ppid=22716 vsize=13984976 memory=2404 CPUtime=0.02 cores=1,3,5,7
/proc/22718/task/22732/stat : 22732 (java) S 22716 22716 21899 0 -1 1077944384 2413 0 0 0 2 0 0 0 20 0 15 0 154188439 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515037477488 140515496077954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22734] ppid=22716 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22734/stat : 22734 (java) S 22716 22716 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188439 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515036423520 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22738] ppid=22716 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22738/stat : 22738 (java) S 22716 22716 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154188440 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515035371136 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22747] ppid=22716 vsize=13984976 memory=1200800 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22747/stat : 22747 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515034319440 140515496085403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22748] ppid=22716 vsize=13984976 memory=2468 CPUtime=2.95 cores=1,3,5,7
/proc/22718/task/22748/stat : 22748 (java) S 22716 22716 21899 0 -1 1077944384 12934 0 0 0 293 2 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515033266288 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22749] ppid=22716 vsize=13984976 memory=928 CPUtime=2.99 cores=1,3,5,7
/proc/22718/task/22749/stat : 22749 (java) S 22716 22716 21899 0 -1 1077944384 11947 0 0 0 297 2 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515032213488 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22750] ppid=22716 vsize=13984976 memory=1576 CPUtime=0.68 cores=1,3,5,7
/proc/22718/task/22750/stat : 22750 (java) S 22716 22716 21899 0 -1 1077944384 5423 0 0 0 67 1 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515031161200 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22751] ppid=22716 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22718/task/22751/stat : 22751 (java) S 22716 22716 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515030108640 140515496077013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
[pid=22718/tid=22752] ppid=22716 vsize=13984976 memory=4316 CPUtime=0.08 cores=1,3,5,7
/proc/22718/task/22752/stat : 22752 (java) S 22716 22716 21899 0 -1 1077944384 657 0 0 0 3 5 0 0 20 0 15 0 154188442 14320615424 300200 33554432000 4194304 4196468 140726596289120 140515029056432 140515496077954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140726596293789 140726596293964 140726596293964 140726596296655 0
Current children cumulated CPU time: 247.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1202184 KiB

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

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

[startup+240.027 s]
# the end of solver process 22718 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.829 s, system=0.524316 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): 240.027
CPU time (s): 247.353
CPU user time (s): 246.829
CPU system time (s): 0.524316
CPU usage (%): 103.052
Max. virtual memory (cumulated for all children) (KiB): 13996360
Max. memory (cumulated for all children) (KiB): 1205336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.829
system time used= 0.524316
maximum resident set size= 1206000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8117
involuntary context switches= 145


# summary of solver processes directly reported to runsolver:
#   pid: 22716,22718
#   total CPU time (s): 247.353
#   total CPU user time (s): 246.829
#   total CPU system time (s): 0.524316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55254 second user time and 2.27662 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 4282858

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
