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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	226	2520.05	2445.4099
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 (14929 MiB free)
  memory of node 1: 16384 MiB (14898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272115-1502817001/watcher-4272115-1502817001 -o /tmp/evaluation-result-4272115-1502817001/solver-4272115-1502817001 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 229850020 HOME/instance-4272115-1502817001.xml 

running on 4 cores: 0,2,4,6

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

solver pid=8707, runsolver pid=8704

[startup+0.100135 s]*
/proc/loadavg: 1.66 1.70 1.73 2/198 8710
/proc/meminfo: memFree=30539976/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13358712 memory=14104 CPUtime=0 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 3310 0 0 0 0 0 0 0 20 0 6 0 83920760 13679321088 3526 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3339678 3526 1892 1 0 3329175 0
[pid=8709/tid=8710] ppid=8707 vsize=13358712 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 2110 0 0 0 0 0 0 0 20 0 6 0 83920760 13679321088 3592 18446744073709551615 4194304 4196468 140729309801264 140296895304272 140296891090077 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13358712 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 83920761 13679321088 3592 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13358712 memory=140598805919041 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 83920761 13679321088 3592 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 83920761 13679321088 3592 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 83920761 13679321088 3592 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15480 KiB

[startup+0.210021 s]*
/proc/loadavg: 1.66 1.70 1.73 3/211 8723
/proc/meminfo: memFree=30529092/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13974352 memory=27216 CPUtime=0.09 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 5201 0 0 0 8 1 0 0 20 0 15 0 83920760 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3493588 6804 2753 1 0 3482964 0
[pid=8709/tid=8710] ppid=8707 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 3350 0 0 0 7 0 0 0 20 0 15 0 83920760 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296895281184 140296891080086 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13974352 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13974352 memory=140598805919041 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13974352 memory=140598805350016 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920762 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83920762 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83920763 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296364943600 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13974352 memory=140598805350016 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) R 8707 8707 897 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296883305278 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13974352 memory=140598805350016 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920770 14309736448 6804 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28592 KiB

[startup+0.314394 s]*
/proc/loadavg: 1.68 1.70 1.74 5/211 8723
/proc/meminfo: memFree=30517320/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13974352 memory=36588 CPUtime=0.28 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 8834 0 0 0 26 2 0 0 20 0 15 0 83920760 14309736448 9147 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3493588 9147 2969 1 0 3482964 0
[pid=8709/tid=8710] ppid=8707 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 6098 0 0 0 16 2 0 0 20 0 15 0 83920760 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296895306448 140296891090077 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920762 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83920762 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83920763 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) R 8707 8707 897 0 -1 4202560 596 0 0 0 2 0 0 0 20 0 15 0 83920765 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296364924616 140296874566694 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) R 8707 8707 897 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 83920765 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13974352 memory=140598805350016 CPUtime=0.06 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) R 8707 8707 897 0 -1 4202560 721 0 0 0 6 0 0 0 20 0 15 0 83920765 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296891080086 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13974352 memory=140598805350016 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920770 14309736448 9725 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37964 KiB

[startup+0.701402 s]
/proc/loadavg: 1.68 1.70 1.74 5/211 8723
/proc/meminfo: memFree=30500124/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13980732 memory=78456 CPUtime=1.38 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 13836 0 0 0 133 5 0 0 20 0 15 0 83920760 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3495183 19614 3167 1 0 3483476 0
[pid=8709/tid=8710] ppid=8707 vsize=13980732 memory=1228 CPUtime=0.55 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 7937 0 0 0 52 3 0 0 20 0 15 0 83920760 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296895305776 140296533077552 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13980732 memory=382 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13980732 memory=323 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=284 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=80 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83920763 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13980732 memory=6657 CPUtime=0.26 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) R 8707 8707 897 0 -1 4202560 1816 0 0 0 26 0 0 0 20 0 15 0 83920765 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296364925136 140296872612240 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13980732 memory=4420 CPUtime=0.22 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) R 8707 8707 897 0 -1 4202560 976 0 0 0 22 0 0 0 20 0 15 0 83920765 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296363876936 140296872612351 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13980732 memory=6628 CPUtime=0.32 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) R 8707 8707 897 0 -1 4202560 1800 0 0 0 32 0 0 0 20 0 15 0 83920765 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296362834368 140296884167998 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13980732 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) R 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920770 14316269568 19614 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79832 KiB

[startup+1.50079 s]
/proc/loadavg: 1.68 1.70 1.74 5/211 8723
/proc/meminfo: memFree=30458248/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13980732 memory=137792 CPUtime=4.02 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 25833 0 0 0 395 7 0 0 20 0 15 0 83920760 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3495183 34448 3197 1 0 3483476 0
[pid=8709/tid=8710] ppid=8707 vsize=13980732 memory=1228 CPUtime=1.35 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 9594 0 0 0 131 4 0 0 20 0 15 0 83920760 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296895306464 140296891080086 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13980732 memory=45 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83920761 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=46 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 34448 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=1376 CPUtime=1.28 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 36665 0 0 0 105 23 0 0 20 0 15 0 83920762 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=557032 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 83920763 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13980732 memory=524712 CPUtime=4.77 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 897 0 -1 1077944384 30337 0 0 0 473 4 0 0 20 0 15 0 83920765 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296364943600 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13980732 memory=1376 CPUtime=4.26 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 897 0 -1 1077944384 17785 0 0 0 423 3 0 0 20 0 15 0 83920765 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13980732 memory=524712 CPUtime=0.89 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 897 0 -1 1077944384 11756 0 0 0 86 3 0 0 20 0 15 0 83920765 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13980732 memory=1376 CPUtime=1.27 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1466 0 0 0 55 72 0 0 20 0 15 0 83920770 14316269568 128870 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 2393.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 516856 KiB

[startup+2382.3 s]
/proc/loadavg: 1.58 1.59 1.53 3/211 8964
/proc/meminfo: memFree=30109044/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13980732 memory=549320 CPUtime=2455.22 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 236662 0 0 0 245025 497 0 0 20 0 15 0 83920760 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3495183 137330 3255 1 0 3483476 0
[pid=8709/tid=8710] ppid=8707 vsize=13980732 memory=1376 CPUtime=2359.43 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 71173 0 0 0 235920 23 0 0 20 0 15 0 83920760 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296895307824 140296540006388 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13980732 memory=1376 CPUtime=20.79 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 15668 0 0 0 1982 97 0 0 20 0 15 0 83920761 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13980732 memory=516480 CPUtime=20.78 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 17493 0 0 0 1983 95 0 0 20 0 15 0 83920761 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13980732 memory=534940 CPUtime=20.79 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 15716 0 0 0 1983 96 0 0 20 0 15 0 83920761 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13980732 memory=1376 CPUtime=20.79 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 16644 0 0 0 1982 97 0 0 20 0 15 0 83920761 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=796 CPUtime=1.31 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 37275 0 0 0 107 24 0 0 20 0 15 0 83920762 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=281197414821632 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 83920763 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13980732 memory=1376 CPUtime=4.77 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 897 0 -1 1077944384 30337 0 0 0 473 4 0 0 20 0 15 0 83920765 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296364943600 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13980732 memory=549320 CPUtime=4.26 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 897 0 -1 1077944384 17785 0 0 0 423 3 0 0 20 0 15 0 83920765 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13980732 memory=534940 CPUtime=0.89 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 897 0 -1 1077944384 11756 0 0 0 86 3 0 0 20 0 15 0 83920765 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13980732 memory=1376 CPUtime=1.3 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1470 0 0 0 57 73 0 0 20 0 15 0 83920770 14316269568 137330 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 2455.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 550696 KiB

[startup+2442.3 s]
/proc/loadavg: 1.79 1.63 1.55 3/211 8966
/proc/meminfo: memFree=30113760/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13980732 memory=560604 CPUtime=2516.85 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 239122 0 0 0 251176 509 0 0 20 0 15 0 83920760 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3495183 140151 3255 1 0 3483476 0
[pid=8709/tid=8710] ppid=8707 vsize=13980732 memory=560604 CPUtime=2418.85 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 71903 0 0 0 241862 23 0 0 20 0 15 0 83920760 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296895307504 140296538240548 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13980732 memory=568300 CPUtime=21.33 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 15944 0 0 0 2034 99 0 0 20 0 15 0 83920761 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13980732 memory=557504 CPUtime=21.32 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 17869 0 0 0 2034 98 0 0 20 0 15 0 83920761 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13980732 memory=568300 CPUtime=21.32 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 15867 0 0 0 2033 99 0 0 20 0 15 0 83920761 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13980732 memory=560604 CPUtime=21.33 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 16800 0 0 0 2033 100 0 0 20 0 15 0 83920761 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=1376 CPUtime=1.35 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 38004 0 0 0 110 25 0 0 20 0 15 0 83920762 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=544292 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 83920763 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13980732 memory=568300 CPUtime=4.77 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 897 0 -1 1077944384 30339 0 0 0 473 4 0 0 20 0 15 0 83920765 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296364943600 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13980732 memory=568300 CPUtime=4.26 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 897 0 -1 1077944384 17787 0 0 0 423 3 0 0 20 0 15 0 83920765 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13980732 memory=1376 CPUtime=0.89 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 897 0 -1 1077944384 11765 0 0 0 86 3 0 0 20 0 15 0 83920765 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13980732 memory=568300 CPUtime=1.33 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1499 0 0 0 58 75 0 0 20 0 15 0 83920770 14316269568 140151 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 2516.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 561980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445.4 s]
/proc/loadavg: 1.79 1.63 1.55 3/211 8966
/proc/meminfo: memFree=30116500/32770624 swapFree=67108860/67108860
[pid=8707] ppid=8704 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 83920750 9740288 344 18446744073709551615 4194304 5098028 140734570036336 140734570034440 140601056002684 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 21864448 140734570041721 140734570041925 140734570041925 140734570045419 0
/proc/8707/statm: 2378 344 289 221 0 87 0
[pid=8709] ppid=8707 vsize=13980732 memory=552908 CPUtime=2520.02 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 897 0 -1 1077944320 239128 0 0 0 251493 509 0 0 20 0 15 0 83920760 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140729309783808 140296891068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
/proc/8709/statm: 3495183 138227 3255 1 0 3483476 0
[pid=8709/tid=8710] ppid=8707 vsize=13980732 memory=7680170660397595203 CPUtime=2421.9 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 897 0 -1 4202560 71905 0 0 0 242167 23 0 0 20 0 15 0 83920760 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296895307888 140296540727772 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8711] ppid=8707 vsize=13980732 memory=1228 CPUtime=21.36 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 897 0 -1 1077944384 15945 0 0 0 2037 99 0 0 20 0 15 0 83920761 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296491297296 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8712] ppid=8707 vsize=13980732 memory=796 CPUtime=21.35 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 897 0 -1 1077944384 17870 0 0 0 2037 98 0 0 20 0 15 0 83920761 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296490244752 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8713] ppid=8707 vsize=13980732 memory=5788 CPUtime=21.35 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 897 0 -1 1077944384 15869 0 0 0 2036 99 0 0 20 0 15 0 83920761 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296489191696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8714] ppid=8707 vsize=13980732 memory=1712 CPUtime=21.35 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 897 0 -1 1077944384 16800 0 0 0 2035 100 0 0 20 0 15 0 83920761 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296488139152 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8715] ppid=8707 vsize=13980732 memory=4616 CPUtime=1.35 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 897 0 -1 1077944384 38004 0 0 0 110 25 0 0 20 0 15 0 83920762 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296369154800 140296891079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8716] ppid=8707 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 83920762 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296368101024 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8717] ppid=8707 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 83920763 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296367047920 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8718] ppid=8707 vsize=13980732 memory=568300 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296365996496 140296891086747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8719] ppid=8707 vsize=13980732 memory=511456 CPUtime=4.77 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 897 0 -1 1077944384 30339 0 0 0 473 4 0 0 20 0 15 0 83920765 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296364943600 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8720] ppid=8707 vsize=13980732 memory=1292 CPUtime=4.26 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 897 0 -1 1077944384 17787 0 0 0 423 3 0 0 20 0 15 0 83920765 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296363891056 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8721] ppid=8707 vsize=13980732 memory=2316 CPUtime=0.89 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 897 0 -1 1077944384 11765 0 0 0 86 3 0 0 20 0 15 0 83920765 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296362838000 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8722] ppid=8707 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83920765 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296361785696 140296891078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
[pid=8709/tid=8723] ppid=8707 vsize=13980732 memory=1728 CPUtime=1.33 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 897 0 -1 1077944384 1499 0 0 0 58 75 0 0 20 0 15 0 83920770 14316269568 138227 18446744073709551615 4194304 4196468 140729309801264 140296360733744 140296891079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 13578240 140729309802929 140729309803105 140729309803105 140729309806543 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 554284 KiB

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

[startup+2445.41 s]
# the end of solver process 8707 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.95 s, system=5.10303 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2445.41
CPU time (s): 2520.05
CPU user time (s): 2514.95
CPU system time (s): 5.10303
CPU usage (%): 103.052
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 654324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.10303
maximum resident set size= 658076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78402
involuntary context switches= 4359


# summary of solver processes directly reported to runsolver:
#   pid: 8707
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2514.95
#   total CPU system time (s): 5.10303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2558 second user time and 23.8004 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	202
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4272115

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
