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	792	4.67704	1.60873
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 (15103 MiB free)
  memory of node 1: 16384 MiB (11422 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301480-1532881671/watcher-4301480-1532881671 -o /tmp/evaluation-result-4301480-1532881671/solver-4301480-1532881671 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 866813374 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301480-1532881671.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
solver pid=9014, runsolver pid=9011
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 1.87 1.79 1.86 4/217 9030
/proc/meminfo: memFree=27146532/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14082940 memory=28320 CPUtime=0.12 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 15 0 105730305 14420930560 7080 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3520735 7080 3000 1 0 3483012 0
[pid=9016/tid=9017] ppid=9014 vsize=14082940 memory=7827719731302077275 CPUtime=0.09 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) R 9014 9014 7585 0 -1 4202560 3507 0 0 0 8 1 0 0 20 0 15 0 105730306 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715826745600 140715806594398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715025987952 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715022829392 140715822532507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) S 9014 9014 7585 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715021777776 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) R 9014 9014 7585 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715020724976 140715822525058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) R 9014 9014 7585 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715019672176 140715822535258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9030] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9030/stat : 9030 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 7080 33554432000 4194304 4196468 140720329164928 140715017566896 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29776 KiB

[startup+0.21201 s]*
/proc/loadavg: 1.87 1.79 1.86 4/217 9030
/proc/meminfo: memFree=27134888/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14082940 memory=41360 CPUtime=0.35 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 8302 0 0 0 32 3 0 0 20 0 15 0 105730305 14420930560 10340 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3520735 10340 3230 1 0 3483012 0
[pid=9016/tid=9017] ppid=9014 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) R 9014 9014 7585 0 -1 4202560 5420 0 0 0 18 2 0 0 20 0 15 0 105730306 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715826748896 140715822535837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14082940 memory=139911816068509 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730306 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715025987952 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105730308 14420930560 10340 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715022829392 140715822532507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) S 9014 9014 7585 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715021777776 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) S 9014 9014 7585 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715020724976 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14082940 memory=139911815571072 CPUtime=0.08 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) S 9014 9014 7585 0 -1 1077944384 794 0 0 0 8 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715019672176 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9030] ppid=9014 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9030/stat : 9030 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730311 14420930560 10404 33554432000 4194304 4196468 140720329164928 140715017566896 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42816 KiB

[startup+0.31582 s]*
/proc/loadavg: 1.87 1.79 1.86 4/217 9030
/proc/meminfo: memFree=27127940/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14087196 memory=48508 CPUtime=0.54 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 9246 0 0 0 50 4 0 0 20 0 15 0 105730305 14425288704 12127 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3521799 12127 3266 1 0 3483012 0
[pid=9016/tid=9017] ppid=9014 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) R 9014 9014 7585 0 -1 4202560 6164 0 0 0 27 2 0 0 20 0 15 0 105730306 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715826750688 140715822535837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730306 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105730308 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715025987952 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105730308 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105730308 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715022829392 140715822532507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) S 9014 9014 7585 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715021777776 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) S 9014 9014 7585 0 -1 1077944384 351 0 0 0 4 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715020724976 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) S 9014 9014 7585 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715019672176 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9030] ppid=9014 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9030/stat : 9030 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730311 14425288704 12127 33554432000 4194304 4196468 140720329164928 140715017566896 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49964 KiB

[startup+0.70087 s]
/proc/loadavg: 1.87 1.79 1.86 6/217 9030
/proc/meminfo: memFree=27104764/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14089320 memory=90992 CPUtime=1.76 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 12882 0 0 0 171 5 0 0 20 0 15 0 105730305 14427463680 22748 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3522330 22748 3363 1 0 3483524 0
[pid=9016/tid=9017] ppid=9014 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) R 9014 9014 7585 0 -1 4202560 6939 0 0 0 64 3 0 0 20 0 15 0 105730306 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715826747392 140715430146631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14089320 memory=30128 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105730306 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730306 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715025987952 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715022829392 140715822532507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14089320 memory=756 CPUtime=0.34 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) R 9014 9014 7585 0 -1 4202560 1277 0 0 0 34 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715021763936 140715822535258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14089320 memory=1616 CPUtime=0.33 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) R 9014 9014 7585 0 -1 4202560 1252 0 0 0 33 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715020706992 140715806040504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14089320 memory=1836 CPUtime=0.38 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) S 9014 9014 7585 0 -1 1077944384 2103 0 0 0 38 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715019672176 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9030] ppid=9014 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9030/stat : 9030 (java) S 9014 9014 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 22748 33554432000 4194304 4196468 140720329164928 140715017566896 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 92448 KiB

[startup+1.5008 s]
/proc/loadavg: 1.87 1.79 1.86 5/217 9030
/proc/meminfo: memFree=27009832/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14089320 memory=224352 CPUtime=4.35 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 29018 0 0 0 425 10 0 0 20 0 15 0 105730305 14427463680 56088 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3522330 56088 3400 1 0 3483524 0
[pid=9016/tid=9017] ppid=9014 vsize=14089320 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) R 9014 9014 7585 0 -1 4202560 9645 0 0 0 140 5 0 0 20 0 15 0 105730306 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715826752080 140715426675130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 15 0 105730306 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14089320 memory=9168 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 15 0 105730306 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14089320 memory=22823 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 105730306 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105730306 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715025987952 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105730308 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715022829392 140715822532507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14089320 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) R 9014 9014 7585 0 -1 4202560 6250 0 0 0 109 1 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715021767696 140715808569102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14089320 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) R 9014 9014 7585 0 -1 4202560 6651 0 0 0 109 1 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715020718000 140715807419253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14089320 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) S 9014 9014 7585 0 -1 1077944384 4415 0 0 0 61 0 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715019672176 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9030] ppid=9014 vsize=14089320 memory=8027455660837334120 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9030/stat : 9030 (java) S 9014 9014 7585 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105730311 14427463680 56088 33554432000 4194304 4196468 140720329164928 140715017566896 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 225808 KiB

[startup+1.60869 s]
# the end of solver process 9014 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.56078 s, system=0.116251 s

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

[startup+1.60097 s]
/proc/loadavg: 1.87 1.79 1.86 5/217 9030
/proc/meminfo: memFree=27009832/32770624 swapFree=67108496/67108860
[pid=9014] ppid=9011 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9014/stat : 9014 (xcsp3-exec) S 9011 9014 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105730305 115843072 364 33554432000 4194304 5098028 140729795864816 140729795862920 139720526164604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13910016 140729795871809 140729795872009 140729795872009 140729795874762 0
/proc/9014/statm: 28282 364 306 221 0 87 0
[pid=9016] ppid=9014 vsize=14089320 memory=224580 CPUtime=4.66 cores=0,2,4,6
/proc/9016/stat : 9016 (java) S 9014 9014 7585 0 -1 1077944320 29196 0 0 0 455 11 0 0 20 0 14 0 105730305 14427463680 56145 33554432000 4194304 4196468 140720329164928 140720329147472 140715822513911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
/proc/9016/statm: 3522330 56145 3404 1 0 3483524 0
[pid=9016/tid=9017] ppid=9014 vsize=14089320 memory=201246247 CPUtime=1.54 cores=0,2,4,6
/proc/9016/task/9017/stat : 9017 (java) S 9014 9014 7585 0 -1 1077944384 9684 0 0 0 149 5 0 0 20 0 14 0 105730306 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715826756752 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9018] ppid=9014 vsize=14089320 memory=139911713913034 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9018/stat : 9018 (java) S 9014 9014 7585 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 14 0 105730306 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715752602768 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9019] ppid=9014 vsize=14089320 memory=279823427808624 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9019/stat : 9019 (java) S 9014 9014 7585 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 14 0 105730306 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715751549968 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9020] ppid=9014 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9016/task/9020/stat : 9020 (java) S 9014 9014 7585 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 14 0 105730306 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715750497168 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9021] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9021/stat : 9021 (java) S 9014 9014 7585 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 14 0 105730306 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715749444368 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9022] ppid=9014 vsize=14089320 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9022/stat : 9022 (java) S 9014 9014 7585 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 105730308 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715025988160 140715822525058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9023] ppid=9014 vsize=14089320 memory=825241649 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9023/stat : 9023 (java) S 9014 9014 7585 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 14 0 105730308 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715024933920 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9024] ppid=9014 vsize=14089320 memory=279823427653152 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9024/stat : 9024 (java) S 9014 9014 7585 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 105730308 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715023881072 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9025] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9025/stat : 9025 (java) S 9014 9014 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 105730311 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715022829040 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9026] ppid=9014 vsize=14089320 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/9016/task/9026/stat : 9026 (java) S 9014 9014 7585 0 -1 1077944384 6289 0 0 0 118 1 0 0 20 0 14 0 105730311 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715021756784 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9027] ppid=9014 vsize=14089320 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/9016/task/9027/stat : 9027 (java) S 9014 9014 7585 0 -1 1077944384 6683 0 0 0 118 1 0 0 20 0 14 0 105730311 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715020709488 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9028] ppid=9014 vsize=14089320 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/9016/task/9028/stat : 9028 (java) S 9014 9014 7585 0 -1 1077944384 4471 0 0 0 64 0 0 0 20 0 14 0 105730311 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715019672176 140715822525058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
[pid=9016/tid=9029] ppid=9014 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9016/task/9029/stat : 9029 (java) S 9014 9014 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105730311 14427463680 56145 33554432000 4194304 4196468 140720329164928 140715018619616 140715822524117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37621760 140720329168012 140720329168182 140720329168182 140720329170895 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 226036 KiB

Child status: 0
Real time (s): 1.60873
CPU time (s): 4.67704
CPU user time (s): 4.56078
CPU system time (s): 0.116251
CPU usage (%): 290.728
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 226036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.56079
system time used= 0.116251
maximum resident set size= 225132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1892
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 9014
#   total CPU time (s): 4.67704
#   total CPU user time (s): 4.56078
#   total CPU system time (s): 0.116251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037679 second user time and 0.055472 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.47416
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301480

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
