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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	226	253.658	240.026
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 (12497 MiB free)
  memory of node 1: 16384 MiB (10744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284385-1503213685/watcher-4284385-1503213685 -o /tmp/evaluation-result-4284385-1503213685/solver-4284385-1503213685 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 564242179 HOME/instance-4284385-1503213685.xml 

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

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

solver pid=16833, runsolver pid=16830

[startup+0.1001 s]*
/proc/loadavg: 1.77 1.72 1.77 5/217 16849
/proc/meminfo: memFree=23782080/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13978596 memory=28224 CPUtime=0.12 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 15 0 154456136 14314082304 7056 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3494649 7056 2843 1 0 3482966 0
[pid=16835/tid=16836] ppid=16833 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 3493 0 0 0 8 1 0 0 20 0 15 0 154456136 14314082304 7056 33554432000 4194304 4196468 140733037564128 140242134642784 140242130441373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13978596 memory=140570366441088 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13978596 memory=140570366441088 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456138 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456139 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456139 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 154456141 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 154456141 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13978596 memory=140570366441088 CPUtime=0.01 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) R 16833 16833 13358 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 154456141 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241103620848 140242130440794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13978596 memory=140570366441088 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456142 14314082304 7056 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29608 KiB

[startup+0.210652 s]*
/proc/loadavg: 1.77 1.72 1.77 4/217 16849
/proc/meminfo: memFree=23770560/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13982852 memory=40480 CPUtime=0.33 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 8177 0 0 0 31 2 0 0 20 0 15 0 154456136 14318440448 10120 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3495713 10120 3042 1 0 3482966 0
[pid=16835/tid=16836] ppid=16833 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 5293 0 0 0 18 2 0 0 20 0 15 0 154456136 14318440448 10120 33554432000 4194304 4196468 140733037564128 140242134640440 140242130441373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13982852 memory=288370946518152832 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13982852 memory=140570366441088 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456138 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456139 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456139 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 15 0 154456141 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 460 0 0 0 3 0 0 0 20 0 15 0 154456141 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13982852 memory=140570366441088 CPUtime=0.07 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) R 16833 16833 13358 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 15 0 154456141 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241103620848 140242130431382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456142 14318440448 10120 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41864 KiB

[startup+0.316411 s]*
/proc/loadavg: 1.77 1.72 1.77 5/217 16849
/proc/meminfo: memFree=23763612/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13982852 memory=47436 CPUtime=0.53 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 9031 0 0 0 50 3 0 0 20 0 15 0 154456136 14318440448 11859 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3495713 11859 3076 1 0 3482966 0
[pid=16835/tid=16836] ppid=16833 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) S 16833 16833 13358 0 -1 1077944384 5972 0 0 0 28 2 0 0 20 0 15 0 154456136 14318440448 11859 33554432000 4194304 4196468 140733037564128 140242134657056 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456138 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456139 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456139 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) R 16833 16833 13358 0 -1 1077944384 468 0 0 0 3 0 0 0 20 0 15 0 154456141 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) R 16833 16833 13358 0 -1 4202560 460 0 0 0 4 0 0 0 20 0 15 0 154456141 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241104673392 140242113951406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) R 16833 16833 13358 0 -1 4202560 825 0 0 0 13 0 0 0 20 0 15 0 154456141 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241103617848 140242109218064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456142 14318440448 11859 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48820 KiB

[startup+0.701714 s]
/proc/loadavg: 1.77 1.72 1.77 5/217 16849
/proc/meminfo: memFree=23738960/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13984976 memory=85292 CPUtime=1.75 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 12970 0 0 0 171 4 0 0 20 0 15 0 154456136 14320615424 21323 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3496244 21323 3207 1 0 3483478 0
[pid=16835/tid=16836] ppid=16833 vsize=13984976 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 6665 0 0 0 63 3 0 0 20 0 15 0 154456136 14320615424 21323 33554432000 4194304 4196468 140733037564128 140242134656208 140241767697412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456137 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154456138 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13984976 memory=796 CPUtime=0.3 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) R 16833 16833 13358 0 -1 4202560 1530 0 0 0 30 0 0 0 20 0 15 0 154456141 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241105716048 140242115220201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13984976 memory=10088 CPUtime=0.38 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) R 16833 16833 13358 0 -1 4202560 1350 0 0 0 38 0 0 0 20 0 15 0 154456141 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241104662640 140242130440794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13984976 memory=1948 CPUtime=0.39 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) R 16833 16833 13358 0 -1 1077944384 2114 0 0 0 39 0 0 0 20 0 15 0 154456141 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241103615920 140242130429653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 21323 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 86676 KiB

[startup+1.50078 s]
/proc/loadavg: 1.77 1.72 1.77 5/217 16849
/proc/meminfo: memFree=23706948/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0

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

/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13984976 memory=56 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13984976 memory=28829630602021044 CPUtime=3.23 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 24149 0 0 0 319 4 0 0 20 0 15 0 154456141 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13984976 memory=288293285494280815 CPUtime=3.45 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 15531 0 0 0 343 2 0 0 20 0 15 0 154456141 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13984976 memory=6791534058613427641 CPUtime=0.77 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) S 16833 16833 13358 0 -1 1077944384 7927 0 0 0 75 2 0 0 20 0 15 0 154456141 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241103620848 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13984976 memory=383708 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13984976 memory=1228 CPUtime=0.05 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 393 0 0 0 3 2 0 0 20 0 15 0 154456142 14320615424 118259 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 112.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 474420 KiB

[startup+162.301 s]
/proc/loadavg: 1.77 1.81 1.80 3/217 16929
/proc/meminfo: memFree=24423060/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13984976 memory=425432 CPUtime=173.94 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 80618 0 0 0 17311 83 0 0 20 0 15 0 154456136 14320615424 106358 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3496244 106358 3284 1 0 3483478 0
[pid=16835/tid=16836] ppid=16833 vsize=13984976 memory=590216 CPUtime=160.72 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 14464 0 0 0 16063 9 0 0 20 0 15 0 154456136 14320615424 106358 33554432000 4194304 4196468 140733037564128 140242134658880 140241775272890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13984976 memory=1384 CPUtime=1.36 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 2747 0 0 0 121 15 0 0 20 0 15 0 154456137 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13984976 memory=425432 CPUtime=1.36 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 2528 0 0 0 121 15 0 0 20 0 15 0 154456137 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13984976 memory=1384 CPUtime=1.38 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 2914 0 0 0 123 15 0 0 20 0 15 0 154456137 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13984976 memory=425432 CPUtime=1.37 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 2259 0 0 0 122 15 0 0 20 0 15 0 154456137 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 4069 0 0 0 7 2 0 0 20 0 15 0 154456138 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13984976 memory=432612 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13984976 memory=432612 CPUtime=3.23 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 24471 0 0 0 319 4 0 0 20 0 15 0 154456141 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13984976 memory=1384 CPUtime=3.49 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 16448 0 0 0 347 2 0 0 20 0 15 0 154456141 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13984976 memory=1384 CPUtime=0.78 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) S 16833 16833 13358 0 -1 1077944384 8938 0 0 0 76 2 0 0 20 0 15 0 154456141 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241103620848 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 425 0 0 0 5 3 0 0 20 0 15 0 154456142 14320615424 106358 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 173.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 426816 KiB

[startup+222.301 s]
/proc/loadavg: 1.58 1.75 1.78 3/218 16938
/proc/meminfo: memFree=24314500/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13984976 memory=462380 CPUtime=235.53 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 86529 0 0 0 23454 99 0 0 20 0 15 0 154456136 14320615424 115595 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3496244 115595 3285 1 0 3483478 0
[pid=16835/tid=16836] ppid=16833 vsize=13984976 memory=469048 CPUtime=220.11 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 15924 0 0 0 22002 9 0 0 20 0 15 0 154456136 14320615424 115595 33554432000 4194304 4196468 140733037564128 140242134659280 140241773172895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13984976 memory=1384 CPUtime=1.89 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 3197 0 0 0 171 18 0 0 20 0 15 0 154456137 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13984976 memory=1384 CPUtime=1.9 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 3026 0 0 0 171 19 0 0 20 0 15 0 154456137 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13984976 memory=477256 CPUtime=1.89 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 3345 0 0 0 171 18 0 0 20 0 15 0 154456137 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13984976 memory=478796 CPUtime=1.9 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 3018 0 0 0 172 18 0 0 20 0 15 0 154456137 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13984976 memory=2332 CPUtime=0.13 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 6260 0 0 0 10 3 0 0 20 0 15 0 154456138 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13984976 memory=495156 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13984976 memory=469048 CPUtime=3.23 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 24543 0 0 0 319 4 0 0 20 0 15 0 154456141 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13984976 memory=1384 CPUtime=3.49 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 16450 0 0 0 347 2 0 0 20 0 15 0 154456141 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13984976 memory=469048 CPUtime=0.78 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) S 16833 16833 13358 0 -1 1077944384 8955 0 0 0 76 2 0 0 20 0 15 0 154456141 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241103620848 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13984976 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13984976 memory=1384 CPUtime=0.11 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 456 0 0 0 6 5 0 0 20 0 15 0 154456142 14320615424 115595 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 235.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 463764 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.56 1.74 1.77 3/218 16938
/proc/meminfo: memFree=24308880/32770624 swapFree=67108860/67108860
[pid=16833] ppid=16830 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16833/stat : 16833 (xcsp3-exec) S 16830 16833 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456136 9740288 346 33554432000 4194304 5098028 140735458437056 140735458435160 139952097059452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9498624 140735458444405 140735458444608 140735458444608 140735458447339 0
/proc/16833/statm: 2378 346 289 221 0 87 0
[pid=16835] ppid=16833 vsize=13984976 memory=416736 CPUtime=253.62 cores=0,2,4,6
/proc/16835/stat : 16835 (java) S 16833 16833 13358 0 -1 1077944320 87556 0 0 0 25263 99 0 0 20 0 15 0 154456136 14320615424 104184 33554432000 4194304 4196468 140733037564128 140733037546672 140242130419447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
/proc/16835/statm: 3496244 104184 3285 1 0 3483478 0
[pid=16835/tid=16836] ppid=16833 vsize=13984976 memory=8584 CPUtime=237.68 cores=0,2,4,6
/proc/16835/task/16836/stat : 16836 (java) R 16833 16833 13358 0 -1 4202560 16027 0 0 0 23759 9 0 0 20 0 15 0 154456136 14320615424 104184 33554432000 4194304 4196468 140733037564128 140242134659280 140241775272345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16837] ppid=16833 vsize=13984976 memory=4616 CPUtime=2.02 cores=0,2,4,6
/proc/16835/task/16837/stat : 16837 (java) S 16833 16833 13358 0 -1 1077944384 3255 0 0 0 184 18 0 0 20 0 15 0 154456137 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241726057232 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16838] ppid=16833 vsize=13984976 memory=1720 CPUtime=2.03 cores=0,2,4,6
/proc/16835/task/16838/stat : 16838 (java) S 16833 16833 13358 0 -1 1077944384 3052 0 0 0 184 19 0 0 20 0 15 0 154456137 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241725004688 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16839] ppid=16833 vsize=13984976 memory=4872558044660077418 CPUtime=2.02 cores=0,2,4,6
/proc/16835/task/16839/stat : 16839 (java) S 16833 16833 13358 0 -1 1077944384 3383 0 0 0 184 18 0 0 20 0 15 0 154456137 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241723952144 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16840] ppid=16833 vsize=13984976 memory=14 CPUtime=2.03 cores=0,2,4,6
/proc/16835/task/16840/stat : 16840 (java) S 16833 16833 13358 0 -1 1077944384 3066 0 0 0 185 18 0 0 20 0 15 0 154456137 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241722899600 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16841] ppid=16833 vsize=13984976 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/16835/task/16841/stat : 16841 (java) S 16833 16833 13358 0 -1 1077944384 6260 0 0 0 11 3 0 0 20 0 15 0 154456138 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241109936112 140242130430594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16842] ppid=16833 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16842/stat : 16842 (java) S 16833 16833 13358 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241108882336 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16843] ppid=16833 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16843/stat : 16843 (java) S 16833 16833 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154456139 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241107829744 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16844] ppid=16833 vsize=13984976 memory=323 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16844/stat : 16844 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456141 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241106778320 140242130438043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16845] ppid=16833 vsize=13984976 memory=2548 CPUtime=3.23 cores=0,2,4,6
/proc/16835/task/16845/stat : 16845 (java) S 16833 16833 13358 0 -1 1077944384 24543 0 0 0 319 4 0 0 20 0 15 0 154456141 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241105725936 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16846] ppid=16833 vsize=13984976 memory=2712 CPUtime=3.49 cores=0,2,4,6
/proc/16835/task/16846/stat : 16846 (java) S 16833 16833 13358 0 -1 1077944384 16450 0 0 0 347 2 0 0 20 0 15 0 154456141 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241104673392 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16847] ppid=16833 vsize=13984976 memory=4096 CPUtime=0.78 cores=0,2,4,6
/proc/16835/task/16847/stat : 16847 (java) S 16833 16833 13358 0 -1 1077944384 9709 0 0 0 76 2 0 0 20 0 15 0 154456141 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241103620848 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16848] ppid=16833 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/16835/task/16848/stat : 16848 (java) S 16833 16833 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456142 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241102568544 140242130429653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
[pid=16835/tid=16849] ppid=16833 vsize=13984976 memory=3124 CPUtime=0.12 cores=0,2,4,6
/proc/16835/task/16849/stat : 16849 (java) S 16833 16833 13358 0 -1 1077944384 456 0 0 0 6 6 0 0 20 0 15 0 154456142 14320615424 104184 33554432000 4194304 4196468 140733037564128 140241101515056 140242130430594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140733037573277 140733037573452 140733037573452 140733037576143 0
Current children cumulated CPU time: 253.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 418120 KiB

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

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

[startup+240.026 s]
# the end of solver process 16835 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.65 s, system=1.0077 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.026
CPU time (s): 253.658
CPU user time (s): 252.65
CPU system time (s): 1.0077
CPU usage (%): 105.68
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 599752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.65
system time used= 1.0077
maximum resident set size= 601560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10341
involuntary context switches= 817


# summary of solver processes directly reported to runsolver:
#   pid: 16833,16835
#   total CPU time (s): 253.658
#   total CPU user time (s): 252.65
#   total CPU system time (s): 1.0077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52771 second user time and 2.38566 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	211
Best CPU time to get the best result obtained on this benchmark	242.164
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 4284385

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
