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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	10.0415	1.99894
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 (12771 MiB free)
  memory of node 1: 16384 MiB (13975 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281048-1503127701/watcher-4281048-1503127701 -o /tmp/evaluation-result-4281048-1503127701/solver-4281048-1503127701 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 470048823 HOME/instance-4281048-1503127701.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=9628, runsolver pid=9625
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 6.55 7.76 8.05 2/200 9649
/proc/meminfo: memFree=27375308/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=25999808 memory=25616 CPUtime=0.11 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 5320 0 0 0 10 1 0 0 20 0 20 0 145857725 26623803392 6404 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6499952 6404 2856 1 0 6488269 0
[pid=9630/tid=9631] ppid=9628 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) R 9628 9628 4731 0 -1 4202560 3292 0 0 0 8 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505796785968 140505792574621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=25999808 memory=140666393417344 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857727 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857728 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857728 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857729 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) S 9628 9628 4731 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505184197232 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) S 9628 9628 4731 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505183144432 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505182092144 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) R 9628 9628 4731 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505181039344 140505792574042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26623803392 6404 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27000 KiB

[startup+0.210022 s]*
/proc/loadavg: 6.55 7.76 8.05 3/200 9649
/proc/meminfo: memFree=27364192/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26004064 memory=37844 CPUtime=0.33 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 8061 0 0 0 31 2 0 0 20 0 20 0 145857725 26628161536 9461 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6501016 9461 3037 1 0 6488269 0
[pid=9630/tid=9631] ppid=9628 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) S 9628 9628 4731 0 -1 1077944384 5015 0 0 0 18 1 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505796775584 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26004064 memory=3474164443941525152 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857727 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857728 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857728 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857729 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) S 9628 9628 4731 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505184197232 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) S 9628 9628 4731 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505183144432 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) S 9628 9628 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505182092144 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) R 9628 9628 4731 0 -1 4202560 868 0 0 0 7 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505181039344 140505771117676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 9461 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39228 KiB

[startup+0.309434 s]*
/proc/loadavg: 6.55 7.76 8.05 4/200 9649
/proc/meminfo: memFree=27359416/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26004064 memory=43244 CPUtime=0.5 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 8978 0 0 0 47 3 0 0 20 0 20 0 145857725 26628161536 10811 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6501016 10811 3122 1 0 6488269 0
[pid=9630/tid=9631] ppid=9628 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) R 9628 9628 4731 0 -1 4202560 5676 0 0 0 27 2 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505796790592 140505792564630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=26004064 memory=140666285945775 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=26004064 memory=140666285948080 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=26004064 memory=140666285950384 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857727 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857728 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=26004064 memory=281332571907728 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857728 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=26004064 memory=281332571914640 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857729 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=26004064 memory=281332571855920 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=26004064 memory=281332571928464 CPUtime=0.02 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) S 9628 9628 4731 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505184197232 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=26004064 memory=281332571935376 CPUtime=0.03 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) S 9628 9628 4731 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505183144432 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=26004064 memory=281332571933072 CPUtime=0.01 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) S 9628 9628 4731 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505182092144 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=26004064 memory=281332571949232 CPUtime=0.12 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) R 9628 9628 4731 0 -1 4202560 1033 0 0 0 12 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505181039472 140505792564630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857731 26628161536 10811 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44628 KiB

[startup+0.70091 s]
/proc/loadavg: 6.55 7.76 8.05 4/200 9649
/proc/meminfo: memFree=27337432/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26006188 memory=91544 CPUtime=1.95 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 14573 0 0 0 190 5 0 0 20 0 20 0 145857725 26630336512 22886 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6501547 22886 3197 1 0 6488781 0
[pid=9630/tid=9631] ppid=9628 vsize=26006188 memory=281332572307120 CPUtime=0.67 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) R 9628 9628 4731 0 -1 4202560 6392 0 0 0 64 3 0 0 20 0 20 0 145857726 26630336512 22886 33554432000 4194304 4196468 140732387778816 140505796789552 140505431762269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26006188 memory=140666286154608 CPUtime=0 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26630336512 22886 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26630336512 22886 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857726 26630336512 22886 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0

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

# the end of solver process 9628 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.88771 s, system=0.153754 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60706 s]
/proc/loadavg: 6.55 7.76 8.05 5/200 9649
/proc/meminfo: memFree=27230424/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26538700 memory=219212 CPUtime=7.04 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 28462 0 0 0 691 13 0 0 20 0 28 0 145857725 27175628800 54803 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6634675 54803 3262 1 0 6621909 0
[pid=9630/tid=9631] ppid=9628 vsize=26538700 memory=6656426216303648864 CPUtime=1.18 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) S 9628 9628 4731 0 -1 1077944384 7455 0 0 0 114 4 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505796793472 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26538700 memory=6944656592455359580 CPUtime=0.01 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 107 0 0 0 0 1 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=26538700 memory=40288 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=26538700 memory=2416 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 145857727 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=26538700 memory=8600 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145857729 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=26538700 memory=164 CPUtime=1.02 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) R 9628 9628 4731 0 -1 4202560 5639 0 0 0 101 1 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505184178248 140505776084174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=26538700 memory=-7384994778349281184 CPUtime=1.14 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) R 9628 9628 4731 0 -1 4202560 4695 0 0 0 113 1 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505183143568 140505774096973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=26538700 memory=-7385037615359298921 CPUtime=1.07 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) R 9628 9628 4731 0 -1 4202560 5097 0 0 0 106 1 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505182078168 140505777216758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=26538700 memory=7681905605394137914 CPUtime=0.54 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) R 9628 9628 4731 0 -1 1077944384 3316 0 0 0 54 0 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505181039344 140505792563842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=26538700 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54803 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 220596 KiB

[startup+1.80106 s]
/proc/loadavg: 6.55 7.76 8.05 5/200 9649
/proc/meminfo: memFree=27230424/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26538700 memory=221836 CPUtime=8.59 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 29062 0 0 0 845 14 0 0 20 0 28 0 145857725 27175628800 55459 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6634675 55459 3262 1 0 6621909 0
[pid=9630/tid=9631] ppid=9628 vsize=26538700 memory=-7233780906022726806 CPUtime=1.18 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) S 9628 9628 4731 0 -1 1077944384 7455 0 0 0 114 4 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505796793472 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26538700 memory=8257237230052613020 CPUtime=0.01 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 107 0 0 0 0 1 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26538700 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26538700 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 145857727 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145857729 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=26538700 memory=1008 CPUtime=1.15 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) R 9628 9628 4731 0 -1 4202560 6126 0 0 0 114 1 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505184183256 140505774097337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=26538700 memory=4612 CPUtime=1.25 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) S 9628 9628 4731 0 -1 1077944384 4721 0 0 0 124 1 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505183144432 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=26538700 memory=1428 CPUtime=1.17 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) S 9628 9628 4731 0 -1 1077944384 5149 0 0 0 116 1 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505182092144 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=26538700 memory=1204 CPUtime=0.56 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) S 9628 9628 4731 0 -1 1077944384 3349 0 0 0 56 0 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505181039344 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=26538700 memory=15880 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=26538700 memory=24456 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 55459 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 223220 KiB

[startup+1.90606 s]
/proc/loadavg: 6.55 7.76 8.05 5/200 9649
/proc/meminfo: memFree=27230424/32770624 swapFree=67108860/67108860
[pid=9628] ppid=9625 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9628/stat : 9628 (xcsp3-exec) S 9625 9628 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857725 9740288 346 33554432000 4194304 5098028 140731039242864 140731039240968 139826441876092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35110912 140731039245413 140731039245623 140731039245623 140731039248363 0
/proc/9628/statm: 2378 346 289 221 0 87 0
[pid=9630] ppid=9628 vsize=26538700 memory=218728 CPUtime=9.43 cores=0-7
/proc/9630/stat : 9630 (java) S 9628 9628 4731 0 -1 1077944320 29177 0 0 0 929 14 0 0 20 0 28 0 145857725 27175628800 54682 33554432000 4194304 4196468 140732387778816 140732387761360 140505792552695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
/proc/9630/statm: 6634675 54682 3262 1 0 6621909 0
[pid=9630/tid=9631] ppid=9628 vsize=26538700 memory=6943526294502006880 CPUtime=1.18 cores=0-7
/proc/9630/task/9631/stat : 9631 (java) S 9628 9628 4731 0 -1 1077944384 7455 0 0 0 114 4 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505796793472 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9632] ppid=9628 vsize=26538700 memory=6944656592455097440 CPUtime=0.01 cores=0-7
/proc/9630/task/9632/stat : 9632 (java) S 9628 9628 4731 0 -1 1077944384 107 0 0 0 0 1 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505350482320 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9633] ppid=9628 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (java) S 9628 9628 4731 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505349429520 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9634] ppid=9628 vsize=26538700 memory=13821 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (java) S 9628 9628 4731 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505348377232 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9635] ppid=9628 vsize=26538700 memory=26780 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (java) S 9628 9628 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505347324432 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9636] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9636/stat : 9636 (java) S 9628 9628 4731 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505346272144 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9637] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (java) S 9628 9628 4731 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505345219344 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9638] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9638/stat : 9638 (java) S 9628 9628 4731 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 145857726 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505344167056 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9639] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9639/stat : 9639 (java) S 9628 9628 4731 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 145857727 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505343114256 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9640] ppid=9628 vsize=26538700 memory=281332572580880 CPUtime=0 cores=0-7
/proc/9630/task/9640/stat : 9640 (java) S 9628 9628 4731 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505188407408 140505792563842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9641] ppid=9628 vsize=26538700 memory=140666286291488 CPUtime=0 cores=0-7
/proc/9630/task/9641/stat : 9641 (java) S 9628 9628 4731 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 145857728 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505187353376 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9642] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9642/stat : 9642 (java) S 9628 9628 4731 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145857729 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505186301040 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9643] ppid=9628 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9630/task/9643/stat : 9643 (java) S 9628 9628 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505185249360 140505792571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9644] ppid=9628 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7
/proc/9630/task/9644/stat : 9644 (java) S 9628 9628 4731 0 -1 1077944384 6213 0 0 0 121 1 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505184197232 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9645] ppid=9628 vsize=26538700 memory=0 CPUtime=1.3 cores=0-7
/proc/9630/task/9645/stat : 9645 (java) R 9628 9628 4731 0 -1 4202560 4727 0 0 0 129 1 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505183132672 140505776046931 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9646] ppid=9628 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/9630/task/9646/stat : 9646 (java) R 9628 9628 4731 0 -1 4202560 5154 0 0 0 118 1 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505182092144 140505771771327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9647] ppid=9628 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7
/proc/9630/task/9647/stat : 9647 (java) S 9628 9628 4731 0 -1 1077944384 3364 0 0 0 57 0 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505181039344 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9648] ppid=9628 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9630/task/9648/stat : 9648 (java) S 9628 9628 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505179986272 140505792562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
[pid=9630/tid=9649] ppid=9628 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/9630/task/9649/stat : 9649 (java) S 9628 9628 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145857731 27175628800 54682 33554432000 4194304 4196468 140732387778816 140505178933552 140505792563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140732387783826 140732387784003 140732387784003 140732387786703 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 220112 KiB

Child status: 0
Real time (s): 1.99894
CPU time (s): 10.0415
CPU user time (s): 9.88771
CPU system time (s): 0.153754
CPU usage (%): 502.341
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 223220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.88771
system time used= 0.153754
maximum resident set size= 222164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2995
involuntary context switches= 212


# summary of solver processes directly reported to runsolver:
#   pid: 9628
#   total CPU time (s): 10.0415
#   total CPU user time (s): 9.88771
#   total CPU system time (s): 0.153754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02633 second user time and 0.064272 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.484846
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4281048

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
