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)	16	2520.13	2505.72
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 (6907 MiB free)
  memory of node 1: 16384 MiB (10222 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307011-1534056987/watcher-4307011-1534056987 -o /tmp/evaluation-result-4307011-1534056987/solver-4307011-1534056987 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534040437-29090 --watchdog 2580 HOME/xcsp3-exec -seed 1752659045 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307011-1534056987.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=31168, runsolver pid=31165
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 1.62 1.53 1.51 3/221 31184
/proc/meminfo: memFree=17524556/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14082940 memory=29012 CPUtime=0.12 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 5502 0 0 0 11 1 0 0 20 0 15 0 223261896 14420930560 7253 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3520735 7253 3060 1 0 3483012 0
[pid=31170/tid=31171] ppid=31168 vsize=14082940 memory=8514701219880730790 CPUtime=0.08 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 3514 0 0 0 8 0 0 0 20 0 15 0 223261896 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569654170496 140569649950102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14082940 memory=3472468588843095248 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223261898 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223261899 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569190298400 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223261899 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569189246064 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0.01 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 223261901 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261902 14420930560 7253 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30464 KiB

[startup+0.210879 s]*
/proc/loadavg: 1.62 1.53 1.51 4/221 31184
/proc/meminfo: memFree=17512648/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14082940 memory=41088 CPUtime=0.33 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 8302 0 0 0 31 2 0 0 20 0 15 0 223261896 14420930560 10272 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3520735 10272 3208 1 0 3483012 0
[pid=31170/tid=31171] ppid=31168 vsize=14082940 memory=5852833025768652961 CPUtime=0.2 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 5418 0 0 0 19 1 0 0 20 0 15 0 223261896 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569654176112 140569649960093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14082940 memory=3472468588843095248 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223261897 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223261898 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223261899 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569190298400 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223261899 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569189246064 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 738 0 0 0 3 0 0 0 20 0 15 0 223261901 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 223261901 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0.07 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 795 0 0 0 7 0 0 0 20 0 15 0 223261901 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14082940 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261902 14420930560 10272 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42540 KiB

[startup+0.310678 s]*
/proc/loadavg: 1.62 1.53 1.51 5/221 31184
/proc/meminfo: memFree=17506832/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14087196 memory=48232 CPUtime=0.53 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 9216 0 0 0 49 4 0 0 20 0 15 0 223261896 14425288704 12058 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3521799 12058 3253 1 0 3483012 0
[pid=31170/tid=31171] ppid=31168 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 6116 0 0 0 27 2 0 0 20 0 15 0 223261896 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569654169280 140569634018654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14087196 memory=3472468588843095248 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14087196 memory=140459947943552 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14087196 memory=20 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14087196 memory=140459792017439 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223261897 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14087196 memory=280919583995648 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223261898 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14087196 memory=140459791994383 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223261899 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569190298400 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14087196 memory=280919739947104 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223261899 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569189246064 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14087196 memory=140459791998991 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 755 0 0 0 4 0 0 0 20 0 15 0 223261901 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) R 31168 31168 27146 0 -1 4202560 154 0 0 0 4 0 0 0 20 0 15 0 223261901 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569186079840 140569627199424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 223261901 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261902 14425288704 12058 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49684 KiB

[startup+0.708464 s]
/proc/loadavg: 1.62 1.53 1.51 6/221 31184
/proc/meminfo: memFree=17485152/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14089320 memory=107608 CPUtime=1.78 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 12853 0 0 0 173 5 0 0 20 0 15 0 223261896 14427463680 26902 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3522330 26902 3350 1 0 3483524 0
[pid=31170/tid=31171] ppid=31168 vsize=14089320 memory=6935650355287975249 CPUtime=0.68 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 6678 0 0 0 65 3 0 0 20 0 15 0 223261896 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569654173232 140569630583078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14089320 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14089320 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14089320 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261897 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14089320 memory=-5345911753256963030 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223261897 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14089320 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223261898 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223261899 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569190298400 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223261899 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569189246064 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14089320 memory=60740 CPUtime=0.37 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) R 31168 31168 27146 0 -1 4202560 1873 0 0 0 37 0 0 0 20 0 15 0 223261901 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569187133584 140569649959514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14089320 memory=1236 CPUtime=0.38 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) R 31168 31168 27146 0 -1 4202560 1153 0 0 0 38 0 0 0 20 0 15 0 223261901 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569186081408 140569649950102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14089320 memory=2444 CPUtime=0.33 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) R 31168 31168 27146 0 -1 1077944384 1841 0 0 0 32 1 0 0 20 0 15 0 223261901 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569185034960 140569649948373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14089320 memory=8025788801293636708 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223261902 14427463680 26902 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 109060 KiB

[startup+1.50081 s]
/proc/loadavg: 1.62 1.53 1.51 5/221 31184
/proc/meminfo: memFree=17397416/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0

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

/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569189246080 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14091368 memory=1452 CPUtime=4.31 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 37263 0 0 0 426 5 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14091368 memory=1452 CPUtime=4.95 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 33689 0 0 0 492 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.91 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 18856 0 0 0 88 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14091368 memory=1744252 CPUtime=1.29 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 2179 0 0 0 67 62 0 0 20 0 15 0 223261902 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 2456.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1745704 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/220 31366
/proc/meminfo: memFree=15087532/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14091368 memory=1744252 CPUtime=2516.69 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 157078 0 0 0 251563 106 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3522842 436063 3441 1 0 3484036 0
[pid=31170/tid=31171] ppid=31168 vsize=14091368 memory=928 CPUtime=2498.96 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 39795 0 0 0 249885 11 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569654176648 140569270369106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.94 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 907 0 0 0 88 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 2624 0 0 0 93 3 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.93 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1230 0 0 0 87 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2139 0 0 0 86 10 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14091368 memory=1452 CPUtime=2.37 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 16986 0 0 0 230 7 0 0 20 0 15 0 223261898 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569190298464 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569189246080 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14091368 memory=1452 CPUtime=4.31 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 37266 0 0 0 426 5 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14091368 memory=1744252 CPUtime=4.95 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 33691 0 0 0 492 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.91 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 18858 0 0 0 88 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14091368 memory=1744252 CPUtime=1.32 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 2201 0 0 0 68 64 0 0 20 0 15 0 223261902 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 2516.69 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1745704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.7 s]
/proc/loadavg: 2.00 2.03 1.95 3/220 31366
/proc/meminfo: memFree=15087532/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14091368 memory=1744252 CPUtime=2520.09 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 157081 0 0 0 251903 106 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3522842 436063 3441 1 0 3484036 0
[pid=31170/tid=31171] ppid=31168 vsize=14091368 memory=1452 CPUtime=2502.35 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 39798 0 0 0 250224 11 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569654176648 140569271872239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.94 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 907 0 0 0 88 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 2624 0 0 0 93 3 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1230 0 0 0 87 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2139 0 0 0 86 10 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14091368 memory=1744252 CPUtime=2.37 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 16986 0 0 0 230 7 0 0 20 0 15 0 223261898 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569190298464 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569189246080 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14091368 memory=1452 CPUtime=4.31 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 37266 0 0 0 426 5 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14091368 memory=15932 CPUtime=4.95 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 33691 0 0 0 492 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14091368 memory=3332 CPUtime=0.91 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 18858 0 0 0 88 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14091368 memory=1452 CPUtime=1.32 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 2201 0 0 0 68 64 0 0 20 0 15 0 223261902 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1745704 KiB

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

[startup+2505.71 s]
# the end of solver process 31168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001071 s, system=0.00151 s

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

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

[startup+2505.7 s]
/proc/loadavg: 2.00 2.03 1.95 3/220 31366
/proc/meminfo: memFree=15087532/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (xcsp3-exec) S 31165 31168 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223261895 115843072 363 33554432000 4194304 5098028 140735605489472 140735605487576 139882604769916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31305728 140735605494842 140735605495044 140735605495044 140735605497802 0
/proc/31168/statm: 28282 363 305 221 0 87 0
[pid=31170] ppid=31168 vsize=14091368 memory=1744252 CPUtime=2520.09 cores=0,2,4,6
/proc/31170/stat : 31170 (java) S 31168 31168 27146 0 -1 1077944320 157081 0 0 0 251903 106 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140735807562224 140569649938167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
/proc/31170/statm: 3522842 436063 3441 1 0 3484036 0
[pid=31170/tid=31171] ppid=31168 vsize=14091368 memory=1452 CPUtime=2502.35 cores=0,2,4,6
/proc/31170/task/31171/stat : 31171 (java) R 31168 31168 27146 0 -1 4202560 39798 0 0 0 250224 11 0 0 20 0 15 0 223261896 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569654176648 140569271872239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31172] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.94 cores=0,2,4,6
/proc/31170/task/31172/stat : 31172 (java) S 31168 31168 27146 0 -1 1077944384 907 0 0 0 88 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569587538832 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31173] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31173/stat : 31173 (java) S 31168 31168 27146 0 -1 1077944384 2624 0 0 0 93 3 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569586486032 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31174] ppid=31168 vsize=14091368 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/31170/task/31174/stat : 31174 (java) S 31168 31168 27146 0 -1 1077944384 1230 0 0 0 87 6 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569585433744 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31175] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0.96 cores=0,2,4,6
/proc/31170/task/31175/stat : 31175 (java) S 31168 31168 27146 0 -1 1077944384 2139 0 0 0 86 10 0 0 20 0 15 0 223261897 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569584380944 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31176] ppid=31168 vsize=14091368 memory=1744252 CPUtime=2.37 cores=0,2,4,6
/proc/31170/task/31176/stat : 31176 (java) S 31168 31168 27146 0 -1 1077944384 16986 0 0 0 230 7 0 0 20 0 15 0 223261898 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569191352432 140569649949314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31177] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31177/stat : 31177 (java) S 31168 31168 27146 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569190298464 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31178] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31178/stat : 31178 (java) S 31168 31168 27146 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 223261899 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569189246080 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31179] ppid=31168 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31179/stat : 31179 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569188194384 140569649956763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31180] ppid=31168 vsize=14091368 memory=1452 CPUtime=4.31 cores=0,2,4,6
/proc/31170/task/31180/stat : 31180 (java) S 31168 31168 27146 0 -1 1077944384 37266 0 0 0 426 5 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569187142256 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31181] ppid=31168 vsize=14091368 memory=15932 CPUtime=4.95 cores=0,2,4,6
/proc/31170/task/31181/stat : 31181 (java) S 31168 31168 27146 0 -1 1077944384 33691 0 0 0 492 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569186089456 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31182] ppid=31168 vsize=14091368 memory=3332 CPUtime=0.91 cores=0,2,4,6
/proc/31170/task/31182/stat : 31182 (java) S 31168 31168 27146 0 -1 1077944384 18858 0 0 0 88 3 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569185037168 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31183] ppid=31168 vsize=14091368 memory=1744252 CPUtime=0 cores=0,2,4,6
/proc/31170/task/31183/stat : 31183 (java) S 31168 31168 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223261901 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569183984608 140569649948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
[pid=31170/tid=31184] ppid=31168 vsize=14091368 memory=1452 CPUtime=1.32 cores=0,2,4,6
/proc/31170/task/31184/stat : 31184 (java) S 31168 31168 27146 0 -1 1077944384 2201 0 0 0 68 64 0 0 20 0 15 0 223261902 14429560832 436063 33554432000 4194304 4196468 140735807579680 140569182931376 140569649949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17526784 140735807583366 140735807583537 140735807583537 140735807586255 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1745704 KiB

Child status: 143
Real time (s): 2505.72
CPU time (s): 2520.13
CPU user time (s): 2519.05
CPU system time (s): 1.07969
CPU usage (%): 100.575
Max. virtual memory (cumulated for all children) (KiB): 14206340
Max. memory (cumulated for all children) (KiB): 1745704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.07969
maximum resident set size= 1744916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58093
involuntary context switches= 1256


# summary of solver processes directly reported to runsolver:
#   pid: 31168,31170
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2519.05
#   total CPU system time (s): 1.07969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5371 second user time and 24.8921 second system time

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

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
