2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	OPT	46	26.0945	18.9291
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 (15102 MiB free)
  memory of node 1: 16384 MiB (11460 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301525-1532882411/watcher-4301525-1532882411 -o /tmp/evaluation-result-4301525-1532882411/solver-4301525-1532882411 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 1487970242 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301525-1532882411.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9660, runsolver pid=9657

[startup+0.100116 s]*
/proc/loadavg: 2.04 2.09 2.01 3/218 9676
/proc/meminfo: memFree=27183056/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14082940 memory=29984 CPUtime=0.1 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 5275 0 0 0 9 1 0 0 20 0 15 0 105804338 14420930560 7496 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3520735 7496 3040 1 0 3483012 0
[pid=9662/tid=9663] ppid=9660 vsize=14082940 memory=7829128205697258331 CPUtime=0.08 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 3276 0 0 0 7 1 0 0 20 0 15 0 105804338 14420930560 7496 33554432000 4194304 4196468 140733178730080 140359369942928 140359365743773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 7496 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0.01 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 7496 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31436 KiB

[startup+0.210574 s]*
/proc/loadavg: 2.04 2.09 2.01 3/218 9676
/proc/meminfo: memFree=27172868/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14082940 memory=41300 CPUtime=0.33 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 7859 0 0 0 30 3 0 0 20 0 15 0 105804338 14420930560 10325 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3520735 10325 3180 1 0 3483012 0
[pid=9662/tid=9663] ppid=9660 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 4974 0 0 0 17 2 0 0 20 0 15 0 105804338 14420930560 10325 33554432000 4194304 4196468 140733178730080 140359369958816 140359365733782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 10325 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14082940 memory=140005341029091 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105804341 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14082940 memory=140005341013632 CPUtime=0.07 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) R 9660 9660 7585 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358833584496 140359344843108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804344 14420930560 10325 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42752 KiB

[startup+0.313357 s]*
/proc/loadavg: 2.04 2.09 2.01 3/218 9676
/proc/meminfo: memFree=27166912/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14087196 memory=47384 CPUtime=0.51 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 8503 0 0 0 47 4 0 0 20 0 15 0 105804338 14425288704 11846 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3521799 11846 3234 1 0 3483012 0
[pid=9662/tid=9663] ppid=9660 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 5560 0 0 0 26 3 0 0 20 0 15 0 105804338 14425288704 11846 33554432000 4194304 4196468 140733178730080 140359369952960 140359349802364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14087196 memory=4123401283169797999 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14425288704 11846 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105804341 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105804341 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105804341 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) R 9660 9660 7585 0 -1 4202560 678 0 0 0 4 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358835689584 140359350621222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 184 0 0 0 4 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804344 14425288704 11846 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48836 KiB

[startup+0.700771 s]
/proc/loadavg: 2.04 2.09 2.01 6/218 9676
/proc/meminfo: memFree=27145784/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14089320 memory=96252 CPUtime=1.7 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 12161 0 0 0 164 6 0 0 20 0 15 0 105804338 14427463680 24063 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3522330 24063 3353 1 0 3483524 0
[pid=9662/tid=9663] ppid=9660 vsize=14089320 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 6437 0 0 0 62 4 0 0 20 0 15 0 105804338 14427463680 24063 33554432000 4194304 4196468 140733178730080 140359369957568 140359349802334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14427463680 24065 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14089320 memory=30144 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804339 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105804339 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105804341 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105804341 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105804341 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14089320 memory=756 CPUtime=0.34 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 1579 0 0 0 34 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14089320 memory=1616 CPUtime=0.31 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 1101 0 0 0 31 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14089320 memory=1836 CPUtime=0.35 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) R 9660 9660 7585 0 -1 4202560 1740 0 0 0 35 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358833584496 140359344761304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105804344 14427463680 24065 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 97704 KiB

[startup+1.50131 s]
/proc/loadavg: 2.04 2.09 2.01 5/218 9676
/proc/meminfo: memFree=27066228/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0

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

/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14091368 memory=229680 CPUtime=24.73 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 36309 0 0 0 2460 13 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3522842 57420 3427 1 0 3484036 0
[pid=9662/tid=9663] ppid=9660 vsize=14091368 memory=0 CPUtime=17.53 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 9404 0 0 0 1748 5 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359369958024 140359009371288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14091368 memory=140005197059968 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14091368 memory=280010394032976 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14091368 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14091368 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14091368 memory=0 CPUtime=3.31 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 9084 0 0 0 330 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14091368 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 9241 0 0 0 304 2 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14091368 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 5941 0 0 0 72 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 231132 KiB

[startup+18.4007 s]
/proc/loadavg: 2.03 2.08 2.01 3/218 9676
/proc/meminfo: memFree=26984368/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14091368 memory=229680 CPUtime=25.53 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 36347 0 0 0 2540 13 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3522842 57420 3427 1 0 3484036 0
[pid=9662/tid=9663] ppid=9660 vsize=14091368 memory=1452 CPUtime=18.33 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 9442 0 0 0 1828 5 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359369958024 140359010003420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14091368 memory=229680 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14091368 memory=30144 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14091368 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14091368 memory=2260 CPUtime=0.01 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14091368 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14091368 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14091368 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14091368 memory=756 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14091368 memory=1452 CPUtime=3.31 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 9084 0 0 0 330 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14091368 memory=229680 CPUtime=3.06 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 9241 0 0 0 304 2 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14091368 memory=5500 CPUtime=0.73 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 5941 0 0 0 72 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14091368 memory=4460 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14091368 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 231132 KiB

[startup+18.8007 s]
/proc/loadavg: 2.03 2.08 2.01 3/218 9676
/proc/meminfo: memFree=26984368/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14091368 memory=229680 CPUtime=25.93 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 36347 0 0 0 2580 13 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3522842 57420 3427 1 0 3484036 0
[pid=9662/tid=9663] ppid=9660 vsize=14091368 memory=14694093276057955 CPUtime=18.73 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 9442 0 0 0 1868 5 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359369958024 140359009370744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14091368 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14091368 memory=912 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14091368 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14091368 memory=2776 CPUtime=0.01 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14091368 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14091368 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14091368 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14091368 memory=2916 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14091368 memory=1456 CPUtime=3.31 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 9084 0 0 0 330 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14091368 memory=224424 CPUtime=3.06 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 9241 0 0 0 304 2 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14091368 memory=1404 CPUtime=0.73 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 5941 0 0 0 72 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 25.93 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 231132 KiB

[startup+18.9007 s]
/proc/loadavg: 2.03 2.08 2.01 3/218 9676
/proc/meminfo: memFree=26984368/32770624 swapFree=67108496/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105804338 115843072 363 33554432000 4194304 5098028 140730306544384 140730306542488 139714720633468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39092224 140730306552896 140730306553097 140730306553097 140730306555850 0
/proc/9660/statm: 28282 363 305 221 0 87 0
[pid=9662] ppid=9660 vsize=14091368 memory=229680 CPUtime=26.03 cores=0,2,4,6
/proc/9662/stat : 9662 (java) S 9660 9660 7585 0 -1 1077944320 36347 0 0 0 2590 13 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140733178712624 140359365721847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
/proc/9662/statm: 3522842 57420 3427 1 0 3484036 0
[pid=9662/tid=9663] ppid=9660 vsize=14091368 memory=1452 CPUtime=18.83 cores=0,2,4,6
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7585 0 -1 4202560 9442 0 0 0 1878 5 0 0 20 0 15 0 105804338 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359369958024 140359010812371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9664] ppid=9660 vsize=14091368 memory=1 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7585 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140359331002768 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9665] ppid=9660 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7585 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358960920848 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9666] ppid=9660 vsize=14091368 memory=229596 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358959868560 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9667] ppid=9660 vsize=14091368 memory=229556 CPUtime=0.01 cores=0,2,4,6
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7585 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 15 0 105804339 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358958815760 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9668] ppid=9660 vsize=14091368 memory=280010393828608 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7585 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358839900784 140359365732994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9669] ppid=9660 vsize=14091368 memory=7590647174634824555 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358838846752 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9670] ppid=9660 vsize=14091368 memory=7233736994252652628 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105804341 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358837794416 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9671] ppid=9660 vsize=14091368 memory=229596 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358836742736 140359365740443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9672] ppid=9660 vsize=14091368 memory=30144 CPUtime=3.31 cores=0,2,4,6
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7585 0 -1 1077944384 9084 0 0 0 330 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358835689584 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9673] ppid=9660 vsize=14091368 memory=1452 CPUtime=3.06 cores=0,2,4,6
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7585 0 -1 1077944384 9241 0 0 0 304 2 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358834636784 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9674] ppid=9660 vsize=14091368 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7585 0 -1 1077944384 5941 0 0 0 72 1 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358833584496 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9675] ppid=9660 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358832531936 140359365732053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
[pid=9662/tid=9676] ppid=9660 vsize=14091368 memory=229632 CPUtime=0 cores=0,2,4,6
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105804344 14429560832 57420 33554432000 4194304 4196468 140733178730080 140358831479728 140359365732994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140733178737804 140733178737974 140733178737974 140733178740687 0
Current children cumulated CPU time: 26.03 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 231132 KiB

Child status: 0
Real time (s): 18.9291
CPU time (s): 26.0945
CPU user time (s): 25.9509
CPU system time (s): 0.143564
CPU usage (%): 137.854
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 240696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9509
system time used= 0.143564
maximum resident set size= 239244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2806
involuntary context switches= 43


# summary of solver processes directly reported to runsolver:
#   pid: 9660
#   total CPU time (s): 26.0945
#   total CPU user time (s): 25.9509
#   total CPU system time (s): 0.143564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140854 second user time and 0.217601 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.14553
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4301525

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
