2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	66	2520.06	2514.41
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 (3206 MiB free)
  memory of node 1: 16384 MiB (6033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306613-1534047658/watcher-4306613-1534047658 -o /tmp/evaluation-result-4306613-1534047658/solver-4306613-1534047658 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 854320632 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306613-1534047658.xml 

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

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


[startup+0.100118 s]*
/proc/loadavg: 2.10 1.98 1.91 3/200 27107
/proc/meminfo: memFree=9468936/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14082940 memory=28792 CPUtime=0.11 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 5555 0 0 0 10 1 0 0 20 0 15 0 222329124 14420930560 7198 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3520735 7198 3016 1 0 3483012 0
[pid=27093/tid=27094] ppid=27091 vsize=14082940 memory=4134930498285298233 CPUtime=0.09 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 3566 0 0 0 8 1 0 0 20 0 15 0 222329124 14420930560 7198 33554432000 4194304 4196468 140735840117584 140480118566672 140480098387301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14082940 memory=4919771058690863024 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 7198 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 7198 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 7198 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 7198 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329126 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222329127 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222329127 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 222329129 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0.01 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) R 27091 27091 24759 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 222329129 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479086950384 140480114355606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329130 14420930560 7198 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30248 KiB

[startup+0.21017 s]*
/proc/loadavg: 2.10 1.98 1.91 5/199 27119
/proc/meminfo: memFree=9456912/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14082940 memory=40872 CPUtime=0.34 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 8291 0 0 0 32 2 0 0 20 0 15 0 222329124 14420930560 10218 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3520735 10218 3156 1 0 3483012 0
[pid=27093/tid=27094] ppid=27091 vsize=14082940 memory=7681904497038105760 CPUtime=0.2 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 5393 0 0 0 19 1 0 0 20 0 15 0 222329124 14420930560 10218 33554432000 4194304 4196468 140735840117584 140480118581472 140480098424158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14082940 memory=5767624305471740041 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 10218 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 10218 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 10218 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14420930560 10218 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222329126 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222329127 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222329127 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 222329129 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 15 0 222329129 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0.08 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 15 0 222329129 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14082940 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329130 14420930560 10218 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42328 KiB

[startup+0.312064 s]*
/proc/loadavg: 2.10 1.98 1.91 4/199 27128
/proc/meminfo: memFree=9473228/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14087196 memory=48068 CPUtime=0.53 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 9182 0 0 0 51 2 0 0 20 0 15 0 222329124 14425288704 12017 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3521799 12017 3240 1 0 3483012 0
[pid=27093/tid=27094] ppid=27091 vsize=14087196 memory=595 CPUtime=0.29 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 6108 0 0 0 28 1 0 0 20 0 15 0 222329124 14425288704 12017 33554432000 4194304 4196468 140735840117584 140480118577456 140480098424158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14425288704 12017 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14087196 memory=140214313168454 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14425288704 12017 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14087196 memory=140214173538344 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14425288704 12017 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14087196 memory=140214173538255 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14425288704 12017 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14087196 memory=140214313168826 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222329126 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14087196 memory=140214173547471 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222329127 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14087196 memory=280428347101840 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222329127 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14087196 memory=280428347099536 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14087196 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) R 27091 27091 24759 0 -1 4202560 810 0 0 0 6 0 0 0 20 0 15 0 222329129 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479089046368 140480095868486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14087196 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 15 0 222329129 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14087196 memory=140214313166464 CPUtime=0.13 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 835 0 0 0 13 0 0 0 20 0 15 0 222329129 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14087196 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14087196 memory=140214313166464 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329130 14425288704 12017 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49524 KiB

[startup+0.700769 s]
/proc/loadavg: 2.10 1.98 1.91 7/218 27154
/proc/meminfo: memFree=9413064/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14089320 memory=107460 CPUtime=1.75 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 12754 0 0 0 171 4 0 0 20 0 15 0 222329124 14427463680 26865 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3522330 26865 3355 1 0 3483524 0
[pid=27093/tid=27094] ppid=27091 vsize=14089320 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) D 27091 27091 24759 0 -1 1077944384 6751 0 0 0 65 2 0 0 20 0 15 0 222329124 14427463680 26865 33554432000 4194304 4196468 140735840117584 140480118559968 140480107022893 0 4 0 16800975 18446744072101727780 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14427463680 26865 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14427463680 26865 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329125 14427463680 26865 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14089320 memory=1640 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222329125 14427463680 26865 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14089352 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222329126 14427496448 26865 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14089352 memory=4744 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222329127 14427496448 26865 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14089320 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14089320 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14089320 memory=1800 CPUtime=0.37 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) R 27091 27091 24759 0 -1 4202560 1803 0 0 0 37 0 0 0 20 0 15 0 222329129 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479089043536 140480094005889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14089320 memory=1264 CPUtime=0.34 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) R 27091 27091 24759 0 -1 4202560 1096 0 0 0 34 0 0 0 20 0 15 0 222329129 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479087989872 140480097840193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14089320 memory=7076 CPUtime=0.32 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 1795 0 0 0 32 0 0 0 20 0 15 0 222329129 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14427463680 26865 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14089352 memory=872 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222329130 14427496448 26865 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 108916 KiB

[startup+1.50077 s]
/proc/loadavg: 2.10 1.98 1.91 3/203 27170
/proc/meminfo: memFree=9361936/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0

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

[pid=27093/tid=27099] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.46 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 3367 0 0 0 40 6 0 0 20 0 15 0 222329126 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14089320 memory=178416 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14089320 memory=178416 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14089320 memory=1456 CPUtime=1.79 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 10004 0 0 0 178 1 0 0 20 0 15 0 222329129 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14089320 memory=178416 CPUtime=1.48 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 7415 0 0 0 147 1 0 0 20 0 15 0 222329129 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14089320 memory=2192 CPUtime=0.62 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 7142 0 0 0 61 1 0 0 20 0 15 0 222329129 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14089320 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14089320 memory=2420 CPUtime=0.52 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1242 0 0 0 20 32 0 0 20 0 15 0 222329130 14427463680 44604 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 2387.9 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 179872 KiB

[startup+2442.3 s]
/proc/loadavg: 1.91 1.82 1.85 3/218 27350
/proc/meminfo: memFree=8590336/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14089320 memory=178552 CPUtime=2447.91 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 59059 0 0 0 244735 56 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3522330 44638 3414 1 0 3483524 0
[pid=27093/tid=27094] ppid=27091 vsize=14089320 memory=178552 CPUtime=2440.71 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 17702 0 0 0 244065 6 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480118583408 140479746900346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 1730 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 2852 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.55 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 2056 0 0 0 51 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.54 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 4151 0 0 0 49 5 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.46 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 3390 0 0 0 40 6 0 0 20 0 15 0 222329126 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14089320 memory=1456 CPUtime=1.79 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 10006 0 0 0 178 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14089320 memory=1456 CPUtime=1.48 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 7417 0 0 0 147 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.62 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 7144 0 0 0 61 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.54 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1248 0 0 0 21 33 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 2447.91 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 180008 KiB

[startup+2502.3 s]
/proc/loadavg: 1.83 1.82 1.85 3/218 27351
/proc/meminfo: memFree=8590032/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14089320 memory=178552 CPUtime=2507.93 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 59417 0 0 0 250736 57 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3522330 44638 3414 1 0 3483524 0
[pid=27093/tid=27094] ppid=27091 vsize=14089320 memory=178552 CPUtime=2500.7 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 17834 0 0 0 250064 6 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480118582992 140479745698681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 1752 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 2858 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 2065 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14089320 memory=6003408728562035810 CPUtime=0.54 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 4165 0 0 0 49 5 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14089320 memory=7013037437024955244 CPUtime=0.46 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 3545 0 0 0 40 6 0 0 20 0 15 0 222329126 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14089320 memory=60576 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14089320 memory=60576 CPUtime=1.79 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 10007 0 0 0 178 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14089320 memory=178552 CPUtime=1.48 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 7417 0 0 0 147 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 7144 0 0 0 61 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14089320 memory=178552 CPUtime=0.55 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1267 0 0 0 21 34 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 2507.93 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 180008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.4 s]
/proc/loadavg: 1.95 1.85 1.86 5/216 27382
/proc/meminfo: memFree=9111144/32770624 swapFree=67108792/67108860
[pid=27091] ppid=27088 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27091/stat : 27091 (xcsp3-exec) S 27088 27091 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222329123 115843072 364 33554432000 4194304 5098028 140735410939088 140735410937192 139748310811260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40677376 140735410947131 140735410947332 140735410947332 140735410950090 0
/proc/27091/statm: 28282 364 306 221 0 87 0
[pid=27093] ppid=27091 vsize=14089320 memory=178552 CPUtime=2520.04 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27091 24759 0 -1 1077944320 59422 0 0 0 251947 57 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140735840100128 140480114343671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
/proc/27093/statm: 3522330 44638 3414 1 0 3483524 0
[pid=27093/tid=27094] ppid=27091 vsize=14089320 memory=2380 CPUtime=2512.79 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27091 24759 0 -1 4202560 17835 0 0 0 251273 6 0 0 20 0 15 0 222329124 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480118583072 140479745475629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27095] ppid=27091 vsize=14089320 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (java) S 27091 27091 24759 0 -1 1077944384 1752 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480066963984 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27096] ppid=27091 vsize=14089320 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27091 24759 0 -1 1077944384 2859 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480065911440 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27097] ppid=27091 vsize=14089320 memory=1800 CPUtime=0.56 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27091 24759 0 -1 1077944384 2066 0 0 0 52 4 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480064858384 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27098] ppid=27091 vsize=14089320 memory=1264 CPUtime=0.54 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27091 24759 0 -1 1077944384 4165 0 0 0 49 5 0 0 20 0 15 0 222329125 14427463680 44638 33554432000 4194304 4196468 140735840117584 140480063805840 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27099] ppid=27091 vsize=14089320 memory=7084 CPUtime=0.46 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27091 24759 0 -1 1077944384 3545 0 0 0 40 6 0 0 20 0 15 0 222329126 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479093267184 140480114354818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27100] ppid=27091 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27091 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479092213408 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27101] ppid=27091 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27091 24759 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 222329127 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479091160304 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27102] ppid=27091 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479090108880 140480114362267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27103] ppid=27091 vsize=14089320 memory=-7003737579269690708 CPUtime=1.79 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27091 24759 0 -1 1077944384 10007 0 0 0 178 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479089055984 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27104] ppid=27091 vsize=14089320 memory=7300704776819335744 CPUtime=1.48 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27091 24759 0 -1 1077944384 7417 0 0 0 147 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479088003440 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27105] ppid=27091 vsize=14089320 memory=7156872240273834084 CPUtime=0.62 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27091 24759 0 -1 1077944384 7144 0 0 0 61 1 0 0 20 0 15 0 222329129 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479086950384 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27106] ppid=27091 vsize=14089320 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27091 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479085898080 140480114353877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
[pid=27093/tid=27107] ppid=27091 vsize=14089320 memory=7156872240273834084 CPUtime=0.55 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27091 24759 0 -1 1077944384 1269 0 0 0 21 34 0 0 20 0 15 0 222329130 14427463680 44638 33554432000 4194304 4196468 140735840117584 140479084846128 140480114354818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 30371840 140735840121990 140735840122161 140735840122161 140735840124879 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 180008 KiB

Sending SIGTERM to process tree (bottom up)

[startup+2514.41 s]
# the end of solver process 27091 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.48 s, system=0.577465 s

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

Child status: 143
Real time (s): 2514.41
CPU time (s): 2520.06
CPU user time (s): 2519.48
CPU system time (s): 0.577465
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 14204176
Max. memory (cumulated for all children) (KiB): 215252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.577465
maximum resident set size= 213796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68595
involuntary context switches= 3183


# summary of solver processes directly reported to runsolver:
#   pid: 27091
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.48
#   total CPU system time (s): 0.577465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6398 second user time and 21.7225 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4306613

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
