2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	20	15864.9	2520.15
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 (9397 MiB free)
  memory of node 1: 16384 MiB (11930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297885-1532705227/watcher-4297885-1532705227 -o /tmp/evaluation-result-4297885-1532705227/solver-4297885-1532705227 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580 HOME/xcsp3-exec -seed 1375851528 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297885-1532705227.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 7.54 8.03 8.17 2/199 17555
/proc/meminfo: memFree=21824252/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26104152 memory=27556 CPUtime=0.11 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 5730 0 0 0 9 2 0 0 20 0 20 0 88085854 26730651648 6889 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6526038 6889 3028 1 0 6488315 0
[pid=17536/tid=17537] ppid=17534 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) R 17534 17534 17490 0 -1 4202560 3753 0 0 0 8 1 0 0 20 0 20 0 88085854 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449904154328 140449537685760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26104152 memory=139847390471808 CPUtime=0 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17541] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17541/stat : 17541 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449455446800 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17542] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17542/stat : 17542 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449454394000 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17543] ppid=17534 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17543/stat : 17543 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449453341200 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17544] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17544/stat : 17544 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449452288400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17545] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17545/stat : 17545 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449451235600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17546] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17546/stat : 17546 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085856 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449161542512 140449899944578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17547] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17547/stat : 17547 (java) S 17534 17534 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88085857 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449160488480 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17548] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17548/stat : 17548 (java) S 17534 17534 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88085857 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449159435632 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17549] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17549/stat : 17549 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449158383952 140449899952027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17550] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17550/stat : 17550 (java) S 17534 17534 17490 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449157331312 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17551] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17551/stat : 17551 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449156278512 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17552] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17552/stat : 17552 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449155225712 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17553] ppid=17534 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17536/task/17553/stat : 17553 (java) R 17534 17534 17490 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449154172912 140449899945366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17554] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17554/stat : 17554 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449153121376 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17555] ppid=17534 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17555/stat : 17555 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 6889 33554432000 4194304 4196468 140728329120304 140449152068656 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29008 KiB

[startup+0.210387 s]*
/proc/loadavg: 7.54 8.03 8.17 2/199 17555
/proc/meminfo: memFree=21812600/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26104152 memory=39692 CPUtime=0.33 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 8511 0 0 0 30 3 0 0 20 0 20 0 88085854 26730651648 9923 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6526038 9923 3170 1 0 6488315 0
[pid=17536/tid=17537] ppid=17534 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) R 17534 17534 17490 0 -1 4202560 5599 0 0 0 18 2 0 0 20 0 20 0 88085854 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449904167376 140449882416999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26104152 memory=288370223542183552 CPUtime=0 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17541] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17541/stat : 17541 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449455446800 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17542] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17542/stat : 17542 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449454394000 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17543] ppid=17534 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17543/stat : 17543 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449453341200 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17544] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17544/stat : 17544 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449452288400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17545] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17545/stat : 17545 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449451235600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17546] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17546/stat : 17546 (java) S 17534 17534 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88085856 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449161542512 140449899944578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17547] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17547/stat : 17547 (java) S 17534 17534 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88085857 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449160488480 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17548] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17548/stat : 17548 (java) S 17534 17534 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88085857 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449159435632 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17549] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17549/stat : 17549 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449158383952 140449899952027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17550] ppid=17534 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17536/task/17550/stat : 17550 (java) S 17534 17534 17490 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449157331312 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17551] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17551/stat : 17551 (java) S 17534 17534 17490 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449156278512 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17552] ppid=17534 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/17536/task/17552/stat : 17552 (java) S 17534 17534 17490 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449155225712 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17553] ppid=17534 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/17536/task/17553/stat : 17553 (java) R 17534 17534 17490 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449154172912 140449892170558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17554] ppid=17534 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17554/stat : 17554 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449153121376 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17555] ppid=17534 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17555/stat : 17555 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26730651648 9923 33554432000 4194304 4196468 140728329120304 140449152068656 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41144 KiB

[startup+0.310286 s]*
/proc/loadavg: 7.54 8.03 8.17 3/199 17555
/proc/meminfo: memFree=21806520/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26108408 memory=46468 CPUtime=0.51 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 9300 0 0 0 47 4 0 0 20 0 20 0 88085854 26735009792 11617 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6527102 11617 3238 1 0 6488315 0
[pid=17536/tid=17537] ppid=17534 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) R 17534 17534 17490 0 -1 4202560 6217 0 0 0 26 3 0 0 20 0 20 0 88085854 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449904167216 140449881519031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17541] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17541/stat : 17541 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449455446800 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17542] ppid=17534 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17536/task/17542/stat : 17542 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449454394000 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17543] ppid=17534 vsize=26108408 memory=139847289369519 CPUtime=0 cores=0-7
/proc/17536/task/17543/stat : 17543 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449453341200 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17544] ppid=17534 vsize=26108408 memory=139847289371824 CPUtime=0 cores=0-7
/proc/17536/task/17544/stat : 17544 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449452288400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17545] ppid=17534 vsize=26108408 memory=139847289374128 CPUtime=0 cores=0-7
/proc/17536/task/17545/stat : 17545 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449451235600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17546] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17546/stat : 17546 (java) S 17534 17534 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88085856 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449161542512 140449899944578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17547] ppid=17534 vsize=26108408 memory=279694578755216 CPUtime=0 cores=0-7
/proc/17536/task/17547/stat : 17547 (java) S 17534 17534 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88085857 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449160488480 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17548] ppid=17534 vsize=26108408 memory=279694578762128 CPUtime=0 cores=0-7
/proc/17536/task/17548/stat : 17548 (java) S 17534 17534 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88085857 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449159435632 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17549] ppid=17534 vsize=26108408 memory=279694578703408 CPUtime=0 cores=0-7
/proc/17536/task/17549/stat : 17549 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449158383952 140449899952027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17550] ppid=17534 vsize=26108408 memory=279694578775952 CPUtime=0.02 cores=0-7
/proc/17536/task/17550/stat : 17550 (java) R 17534 17534 17490 0 -1 4202560 547 0 0 0 2 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449157331312 140449884330580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17551] ppid=17534 vsize=26108408 memory=279694578782864 CPUtime=0.01 cores=0-7
/proc/17536/task/17551/stat : 17551 (java) S 17534 17534 17490 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449156278512 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17552] ppid=17534 vsize=26108408 memory=279694578780560 CPUtime=0.03 cores=0-7
/proc/17536/task/17552/stat : 17552 (java) S 17534 17534 17490 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449155225712 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17553] ppid=17534 vsize=26108408 memory=279694578796720 CPUtime=0.12 cores=0-7
/proc/17536/task/17553/stat : 17553 (java) S 17534 17534 17490 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449154172912 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17554] ppid=17534 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17554/stat : 17554 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449153121376 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17555] ppid=17534 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17536/task/17555/stat : 17555 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085860 26735009792 11617 33554432000 4194304 4196468 140728329120304 140449152068656 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47920 KiB

[startup+0.70099 s]
/proc/loadavg: 7.54 8.03 8.17 6/199 17555
/proc/meminfo: memFree=21784376/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26110532 memory=107424 CPUtime=1.96 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 13827 0 0 0 190 6 0 0 20 0 20 0 88085854 26737184768 26856 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6527633 26856 3354 1 0 6488827 0
[pid=17536/tid=17537] ppid=17534 vsize=26110532 memory=279694579154608 CPUtime=0.67 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) R 17534 17534 17490 0 -1 4202560 6890 0 0 0 64 3 0 0 20 0 20 0 88085854 26737184768 26856 33554432000 4194304 4196468 140728329120304 140449904159360 140449536711479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26110532 memory=139847289578352 CPUtime=0 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26737184768 26856 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88085855 26737184768 26856 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26110532 memory=10612 CPUtime=0 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88085855 26737184768 26856 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0

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

/proc/meminfo: memFree=14947928/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26645092 memory=6893716 CPUtime=15722.8 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 691732 0 0 0 1570770 1508 0 0 20 0 28 0 88085854 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6661273 1723429 3470 1 0 6622467 0
[pid=17536/tid=17537] ppid=17534 vsize=26645092 memory=6893716 CPUtime=4.17 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) S 17534 17534 17490 0 -1 1077944384 13973 0 0 0 402 15 0 0 20 0 28 0 88085854 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449904174208 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26645092 memory=6887668 CPUtime=6.86 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 15119 0 0 0 655 31 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26645092 memory=1452 CPUtime=6.83 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 14304 0 0 0 648 35 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26645092 memory=6893716 CPUtime=6.81 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 12882 0 0 0 647 34 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17541] ppid=17534 vsize=26645092 memory=6893716 CPUtime=6.9 cores=0-7
/proc/17536/task/17541/stat : 17541 (java) S 17534 17534 17490 0 -1 1077944384 17441 0 0 0 651 39 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449455446800 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17542] ppid=17534 vsize=26645092 memory=6893716 CPUtime=6.82 cores=0-7
/proc/17536/task/17542/stat : 17542 (java) S 17534 17534 17490 0 -1 1077944384 13015 0 0 0 636 46 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449454394000 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17543] ppid=17534 vsize=26645092 memory=1452 CPUtime=6.83 cores=0-7
/proc/17536/task/17543/stat : 17543 (java) S 17534 17534 17490 0 -1 1077944384 19171 0 0 0 629 54 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449453341200 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17544] ppid=17534 vsize=26645092 memory=279694578551464 CPUtime=6.88 cores=0-7
/proc/17536/task/17544/stat : 17544 (java) S 17534 17534 17490 0 -1 1077944384 13740 0 0 0 658 30 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449452288400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17545] ppid=17534 vsize=26645092 memory=6893716 CPUtime=6.84 cores=0-7
/proc/17536/task/17545/stat : 17545 (java) S 17534 17534 17490 0 -1 1077944384 13584 0 0 0 643 41 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449451235600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17546] ppid=17534 vsize=26645092 memory=1452 CPUtime=10.58 cores=0-7
/proc/17536/task/17546/stat : 17546 (java) S 17534 17534 17490 0 -1 1077944384 34919 0 0 0 962 96 0 0 20 0 28 0 88085856 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449161542512 140449899944578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17547] ppid=17534 vsize=26645092 memory=1796 CPUtime=0 cores=0-7
/proc/17536/task/17547/stat : 17547 (java) S 17534 17534 17490 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 88085857 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449160488544 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17548] ppid=17534 vsize=26645092 memory=636 CPUtime=0 cores=0-7
/proc/17536/task/17548/stat : 17548 (java) S 17534 17534 17490 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 88085857 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449159435648 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17549] ppid=17534 vsize=26645092 memory=6828484 CPUtime=0 cores=0-7
/proc/17536/task/17549/stat : 17549 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449158383952 140449899952027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17550] ppid=17534 vsize=26645092 memory=2372 CPUtime=6.42 cores=0-7
/proc/17536/task/17550/stat : 17550 (java) S 17534 17534 17490 0 -1 1077944384 58269 0 0 0 633 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449157331312 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17551] ppid=17534 vsize=26645092 memory=14892 CPUtime=5.78 cores=0-7
/proc/17536/task/17551/stat : 17551 (java) S 17534 17534 17490 0 -1 1077944384 55955 0 0 0 568 10 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449156278512 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17552] ppid=17534 vsize=26645092 memory=4048 CPUtime=5.99 cores=0-7
/proc/17536/task/17552/stat : 17552 (java) S 17534 17534 17490 0 -1 1077944384 52659 0 0 0 590 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449155225712 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17553] ppid=17534 vsize=26645092 memory=5408 CPUtime=1.27 cores=0-7
/proc/17536/task/17553/stat : 17553 (java) S 17534 17534 17490 0 -1 1077944384 44460 0 0 0 118 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449154172912 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17554] ppid=17534 vsize=26645092 memory=1008 CPUtime=0 cores=0-7
/proc/17536/task/17554/stat : 17554 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449153121376 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17555] ppid=17534 vsize=26645092 memory=1452 CPUtime=1.11 cores=0-7
/proc/17536/task/17555/stat : 17555 (java) S 17534 17534 17490 0 -1 1077944384 10354 0 0 0 50 61 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449152068656 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17727] ppid=17534 vsize=26645092 memory=6828576 CPUtime=87.18 cores=0-7
/proc/17536/task/17727/stat : 17727 (java) R 17534 17534 17490 0 -1 4202560 962 0 0 0 8717 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449134869720 140449548597271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17728] ppid=17534 vsize=26645092 memory=1452 CPUtime=86.29 cores=0-7
/proc/17536/task/17728/stat : 17728 (java) R 17534 17534 17490 0 -1 4202560 691 0 0 0 8629 0 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449133818120 140449548597660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17729] ppid=17534 vsize=26645092 memory=6893716 CPUtime=87.16 cores=0-7
/proc/17536/task/17729/stat : 17729 (java) R 17534 17534 17490 0 -1 4202560 1080 0 0 0 8715 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449141186600 140449548597196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17730] ppid=17534 vsize=26645092 memory=1452 CPUtime=87.16 cores=0-7
/proc/17536/task/17730/stat : 17730 (java) R 17534 17534 17490 0 -1 4202560 6493 0 0 0 8705 11 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449139083952 140449549571692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17731] ppid=17534 vsize=26645092 memory=1452 CPUtime=87.15 cores=0-7
/proc/17536/task/17731/stat : 17731 (java) R 17534 17534 17490 0 -1 4202560 781 0 0 0 8713 2 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449138028112 140449548597237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17732] ppid=17534 vsize=26645092 memory=1452 CPUtime=87.14 cores=0-7
/proc/17536/task/17732/stat : 17732 (java) R 17534 17534 17490 0 -1 4202560 697 0 0 0 8714 0 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449136975624 140449547006177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17733] ppid=17534 vsize=26645092 memory=6893716 CPUtime=86.98 cores=0-7
/proc/17536/task/17733/stat : 17733 (java) R 17534 17534 17490 0 -1 4202560 2818 0 0 0 8695 3 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449140134472 140449547164801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17734] ppid=17534 vsize=26645092 memory=1452 CPUtime=86.4 cores=0-7
/proc/17536/task/17734/stat : 17734 (java) R 17534 17534 17490 0 -1 4202560 1143 0 0 0 8639 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449135923624 140449547164828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
Current children cumulated CPU time: 15722.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 6895168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.84 8.04 7.38 9/207 17734
/proc/meminfo: memFree=14948424/32770624 swapFree=67108860/67108860
[pid=17534] ppid=17531 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17534/stat : 17534 (xcsp3-exec) S 17531 17534 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88085854 115843072 363 33554432000 4194304 5098028 140727788905520 140727788903624 140123846197884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16736256 140727788909621 140727788909824 140727788909824 140727788912586 0
/proc/17534/statm: 28282 363 305 221 0 87 0
[pid=17536] ppid=17534 vsize=26645092 memory=6893716 CPUtime=15864.1 cores=0-7
/proc/17536/stat : 17536 (java) S 17534 17534 17490 0 -1 1077944320 695062 0 0 0 1584897 1510 0 0 20 0 28 0 88085854 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140728329102848 140449899933431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
/proc/17536/statm: 6661273 1723429 3470 1 0 6622467 0
[pid=17536/tid=17537] ppid=17534 vsize=26645092 memory=6893716 CPUtime=4.17 cores=0-7
/proc/17536/task/17537/stat : 17537 (java) S 17534 17534 17490 0 -1 1077944384 13973 0 0 0 402 15 0 0 20 0 28 0 88085854 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449904174208 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17538] ppid=17534 vsize=26645092 memory=25552 CPUtime=6.86 cores=0-7
/proc/17536/task/17538/stat : 17538 (java) S 17534 17534 17490 0 -1 1077944384 15119 0 0 0 655 31 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449860893840 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17539] ppid=17534 vsize=26645092 memory=4872558044660077418 CPUtime=6.83 cores=0-7
/proc/17536/task/17539/stat : 17539 (java) S 17534 17534 17490 0 -1 1077944384 14304 0 0 0 648 35 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449457552400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17540] ppid=17534 vsize=26645092 memory=796 CPUtime=6.81 cores=0-7
/proc/17536/task/17540/stat : 17540 (java) S 17534 17534 17490 0 -1 1077944384 12882 0 0 0 647 34 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449456499600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17541] ppid=17534 vsize=26645092 memory=5408 CPUtime=6.9 cores=0-7
/proc/17536/task/17541/stat : 17541 (java) S 17534 17534 17490 0 -1 1077944384 17441 0 0 0 651 39 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449455446800 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17542] ppid=17534 vsize=26645092 memory=1008 CPUtime=6.82 cores=0-7
/proc/17536/task/17542/stat : 17542 (java) S 17534 17534 17490 0 -1 1077944384 13015 0 0 0 636 46 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449454394000 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17543] ppid=17534 vsize=26645092 memory=9992 CPUtime=6.83 cores=0-7
/proc/17536/task/17543/stat : 17543 (java) S 17534 17534 17490 0 -1 1077944384 19171 0 0 0 629 54 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449453341200 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17544] ppid=17534 vsize=26645092 memory=1228 CPUtime=6.88 cores=0-7
/proc/17536/task/17544/stat : 17544 (java) S 17534 17534 17490 0 -1 1077944384 13740 0 0 0 658 30 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449452288400 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17545] ppid=17534 vsize=26645092 memory=1952 CPUtime=6.84 cores=0-7
/proc/17536/task/17545/stat : 17545 (java) S 17534 17534 17490 0 -1 1077944384 13584 0 0 0 643 41 0 0 20 0 28 0 88085855 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449451235600 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17546] ppid=17534 vsize=26645092 memory=1452 CPUtime=10.58 cores=0-7
/proc/17536/task/17546/stat : 17546 (java) S 17534 17534 17490 0 -1 1077944384 34919 0 0 0 962 96 0 0 20 0 28 0 88085856 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449161542512 140449899944578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17547] ppid=17534 vsize=26645092 memory=6893716 CPUtime=0 cores=0-7
/proc/17536/task/17547/stat : 17547 (java) S 17534 17534 17490 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 88085857 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449160488544 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17548] ppid=17534 vsize=26645092 memory=16412 CPUtime=0 cores=0-7
/proc/17536/task/17548/stat : 17548 (java) S 17534 17534 17490 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 88085857 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449159435648 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17549] ppid=17534 vsize=26645092 memory=14892 CPUtime=0 cores=0-7
/proc/17536/task/17549/stat : 17549 (java) S 17534 17534 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449158383952 140449899952027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17550] ppid=17534 vsize=26645092 memory=4048 CPUtime=6.42 cores=0-7
/proc/17536/task/17550/stat : 17550 (java) S 17534 17534 17490 0 -1 1077944384 58269 0 0 0 633 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449157331312 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17551] ppid=17534 vsize=26645092 memory=1796 CPUtime=5.79 cores=0-7
/proc/17536/task/17551/stat : 17551 (java) S 17534 17534 17490 0 -1 1077944384 57537 0 0 0 569 10 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449156278512 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17552] ppid=17534 vsize=26645092 memory=636 CPUtime=5.99 cores=0-7
/proc/17536/task/17552/stat : 17552 (java) S 17534 17534 17490 0 -1 1077944384 52659 0 0 0 590 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449155225712 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17553] ppid=17534 vsize=26645092 memory=960 CPUtime=1.27 cores=0-7
/proc/17536/task/17553/stat : 17553 (java) S 17534 17534 17490 0 -1 1077944384 44460 0 0 0 118 9 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449154172912 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17554] ppid=17534 vsize=26645092 memory=1200 CPUtime=0 cores=0-7
/proc/17536/task/17554/stat : 17554 (java) S 17534 17534 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449153121376 140449899943637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17555] ppid=17534 vsize=26645092 memory=10612 CPUtime=1.12 cores=0-7
/proc/17536/task/17555/stat : 17555 (java) S 17534 17534 17490 0 -1 1077944384 10359 0 0 0 50 62 0 0 20 0 28 0 88085860 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449152068656 140449899944578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17727] ppid=17534 vsize=26645092 memory=4616 CPUtime=104.88 cores=0-7
/proc/17536/task/17727/stat : 17727 (java) R 17534 17534 17490 0 -1 4202560 968 0 0 0 10487 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449134869720 140449547006202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17728] ppid=17534 vsize=26645092 memory=1428 CPUtime=103.99 cores=0-7
/proc/17536/task/17728/stat : 17728 (java) R 17534 17534 17490 0 -1 4202560 696 0 0 0 10399 0 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449133818120 140449548597271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17729] ppid=17534 vsize=26645092 memory=15876 CPUtime=104.87 cores=0-7
/proc/17536/task/17729/stat : 17729 (java) R 17534 17534 17490 0 -1 4202560 1085 0 0 0 10486 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449141186600 140449548597886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17730] ppid=17534 vsize=26645092 memory=16412 CPUtime=104.87 cores=0-7
/proc/17536/task/17730/stat : 17730 (java) R 17534 17534 17490 0 -1 4202560 7260 0 0 0 10475 12 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449139083952 140449547530823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17731] ppid=17534 vsize=26645092 memory=14892 CPUtime=104.86 cores=0-7
/proc/17536/task/17731/stat : 17731 (java) R 17534 17534 17490 0 -1 4202560 789 0 0 0 10484 2 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449138028112 140449548597294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17732] ppid=17534 vsize=26645092 memory=4048 CPUtime=104.84 cores=0-7
/proc/17536/task/17732/stat : 17732 (java) R 17534 17534 17490 0 -1 4202560 702 0 0 0 10484 0 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449136975624 140449548597237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17733] ppid=17534 vsize=26645092 memory=1452 CPUtime=104.69 cores=0-7
/proc/17536/task/17733/stat : 17733 (java) R 17534 17534 17490 0 -1 4202560 3671 0 0 0 10465 4 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449140134472 140449547240159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
[pid=17536/tid=17734] ppid=17534 vsize=26645092 memory=1452 CPUtime=103.73 cores=0-7
/proc/17536/task/17734/stat : 17734 (java) R 17534 17534 17490 0 -1 4202560 1237 0 0 0 10372 1 0 0 20 0 28 0 88327350 27284574208 1723429 33554432000 4194304 4196468 140728329120304 140449135923896 140449549640049 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140728329127041 140728329127213 140728329127213 140728329129935 0
Current children cumulated CPU time: 15864.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 6895168 KiB

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

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

[startup+2520.15 s]
# the end of solver process 17536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15849.7 s, system=15.1471 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

[startup+2520.13 s]*
/proc/loadavg: 7.84 8.04 7.38 2/180 17736
/proc/meminfo: memFree=19722124/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002288 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 15864.9
CPU user time (s): 15849.7
CPU system time (s): 15.1471
CPU usage (%): 629.522
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 6895168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15849.7
system time used= 15.1471
maximum resident set size= 6894004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68396
involuntary context switches= 156669


# summary of solver processes directly reported to runsolver:
#   pid: 17534,17536
#   total CPU time (s): 15864.9
#   total CPU user time (s): 15849.7
#   total CPU system time (s): 15.1471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.2847 second user time and 31.4678 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml
MD5SUM	2ee48e6c5f3b799813662dbb853aaebc
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20
Best CPU time to get the best result obtained on this benchmark	15864.9
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5548
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree	2
Maximum variable degree	62
Distribution of variable degrees	[{"degree":2,"count":12},{"degree":3,"count":2},{"degree":4,"count":38},{"degree":5,"count":25},{"degree":6,"count":95},{"degree":7,"count":25},{"degree":8,"count":106},{"degree":9,"count":20},{"degree":10,"count":111},{"degree":11,"count":39},{"degree":12,"count":56},{"degree":13,"count":41},{"degree":14,"count":47},{"degree":15,"count":30},{"degree":16,"count":41},{"degree":17,"count":19},{"degree":18,"count":32},{"degree":19,"count":15},{"degree":20,"count":27},{"degree":21,"count":21},{"degree":22,"count":8},{"degree":23,"count":11},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":7},{"degree":27,"count":7},{"degree":28,"count":7},{"degree":29,"count":7},{"degree":30,"count":7},{"degree":31,"count":6},{"degree":32,"count":4},{"degree":33,"count":2},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":3},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5548}]
Number of extensional constraints	0
Number of intensional constraints	5548
Distribution of constraint types	[{"type":"intension","count":5548}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4297885

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
