2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	14	2400.06	2386.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 (14307 MiB free)
  memory of node 1: 16384 MiB (13757 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292722-1532291337/watcher-4292722-1532291337 -o /tmp/evaluation-result-4292722-1532291337/solver-4292722-1532291337 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532288873-2251 --watchdog 2560 HOME/xcsp3-exec -seed 3321135 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292722-1532291337.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2706, runsolver pid=2703
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 2.25 2.07 1.98 4/217 2722
/proc/meminfo: memFree=28717960/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14082840 memory=28476 CPUtime=0.12 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 5466 0 0 0 11 1 0 0 20 0 15 0 46696938 14420828160 7119 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3520710 7119 3012 1 0 3483008 0
[pid=2708/tid=2709] ppid=2706 vsize=14082840 memory=7898910893248706067 CPUtime=0.08 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 3481 0 0 0 8 0 0 0 20 0 15 0 46696938 14420828160 7184 33554432000 4194304 4196468 140725282945360 139831473661008 139831469456790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14082840 memory=3472468069268337872 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14420828160 7184 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14082840 memory=139940373186176 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14420828160 7184 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14420828160 7184 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46696939 14420828160 7184 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46696940 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46696940 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830942443040 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46696941 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830941390192 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14082840 memory=139940373186176 CPUtime=0.01 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) R 2706 2706 30989 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830937180272 139831448743847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14082840 memory=139940373186176 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696943 14420828160 7184 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29932 KiB

[startup+0.210472 s]*
/proc/loadavg: 2.25 2.07 1.98 4/217 2722
/proc/meminfo: memFree=28706580/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14082840 memory=40740 CPUtime=0.34 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 8192 0 0 0 32 2 0 0 20 0 15 0 46696938 14420828160 10185 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3520710 10185 3201 1 0 3483008 0
[pid=2708/tid=2709] ppid=2706 vsize=14087096 memory=7898910893248706067 CPUtime=0.2 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 5419 0 0 0 19 1 0 0 20 0 15 0 46696938 14425186304 10243 33554432000 4194304 4196468 140725282945360 139831473665848 139830930922272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14087096 memory=3472468069268337872 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 10243 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14087096 memory=139940373186176 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 10243 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 10243 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 10243 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14087096 memory=139940373186176 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46696940 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46696940 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830942443040 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46696941 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830941390192 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14087096 memory=139940373186176 CPUtime=0.08 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14087096 memory=139940373186176 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 10243 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42196 KiB

[startup+0.312064 s]*
/proc/loadavg: 2.25 2.07 1.98 4/217 2722
/proc/meminfo: memFree=28699244/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14087096 memory=48268 CPUtime=0.53 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 9190 0 0 0 50 3 0 0 20 0 15 0 46696938 14425186304 12067 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3521774 12067 3244 1 0 3483008 0
[pid=2708/tid=2709] ppid=2706 vsize=14087096 memory=279880470102256 CPUtime=0.3 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 6136 0 0 0 28 2 0 0 20 0 15 0 46696938 14425186304 12067 33554432000 4194304 4196468 140725282945360 139831473673056 139831453525342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14087096 memory=6055707664168806735 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 12067 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14087096 memory=279880608346240 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 12067 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14087096 memory=279880470331648 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 12067 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14087096 memory=139940235157775 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46696939 14425186304 12067 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14087096 memory=279880608350848 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46696940 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14087096 memory=139940235162383 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46696940 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830942443040 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14087096 memory=139940235167032 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46696941 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830941390192 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14087096 memory=139940235169529 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 687 0 0 0 4 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 153 0 0 0 4 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14087096 memory=139940373186176 CPUtime=0.12 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14087096 memory=139940373187632 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696943 14425186304 12067 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49724 KiB

[startup+0.702896 s]
/proc/loadavg: 2.25 2.07 1.98 6/217 2722
/proc/meminfo: memFree=28676436/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14089220 memory=102384 CPUtime=1.76 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 12651 0 0 0 171 5 0 0 20 0 15 0 46696938 14427361280 25596 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3522305 25596 3331 1 0 3483520 0
[pid=2708/tid=2709] ppid=2706 vsize=14089220 memory=7379826758870984815 CPUtime=0.67 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 1077944384 6826 0 0 0 64 3 0 0 20 0 15 0 46696938 14427361280 25596 33554432000 4194304 4196468 140725282945360 139831473671232 139831469455061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14089220 memory=6298654963654613345 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14427361280 25596 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14089220 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14427361280 25596 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14089220 memory=-8382737541924953461 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696939 14427361280 25596 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14089220 memory=7100839887182984304 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46696939 14427361280 25596 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46696940 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46696940 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830942443040 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14089220 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46696941 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830941390192 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14089220 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14089220 memory=1004 CPUtime=0.33 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) R 2706 2706 30989 0 -1 4202560 1485 0 0 0 33 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830939272376 139831448763034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14089220 memory=14004 CPUtime=0.37 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 1040 0 0 0 37 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14089220 memory=796 CPUtime=0.35 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 1994 0 0 0 35 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14089220 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14089220 memory=1956 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46696943 14427361280 25596 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 103840 KiB

[startup+1.5011 s]
/proc/loadavg: 2.25 2.07 1.98 5/217 2722
/proc/meminfo: memFree=28580748/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0

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

[pid=2708/tid=2714] ppid=2706 vsize=14091268 memory=883496 CPUtime=0.75 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 9583 0 0 0 70 5 0 0 20 0 15 0 46696940 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 46696940 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830942443104 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 46696941 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830941390208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14091268 memory=883496 CPUtime=4.97 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 43782 0 0 0 492 5 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14091268 memory=932 CPUtime=5.41 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 38876 0 0 0 538 3 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14091268 memory=1568 CPUtime=0.86 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 13217 0 0 0 85 1 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14091268 memory=883496 CPUtime=0.9 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 2046 0 0 0 47 43 0 0 20 0 15 0 46696943 14429458432 220874 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 2275.67 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 884952 KiB

[startup+2322.3 s]
/proc/loadavg: 1.54 1.73 1.76 3/217 2894
/proc/meminfo: memFree=27677220/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14091268 memory=885544 CPUtime=2335.74 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 141837 0 0 0 233490 84 0 0 20 0 15 0 46696938 14429458432 221386 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3522817 221386 3427 1 0 3484032 0
[pid=2708/tid=2709] ppid=2706 vsize=14091268 memory=885544 CPUtime=2321.04 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 27972 0 0 0 232092 12 0 0 20 0 15 0 46696938 14429458432 221386 33554432000 4194304 4196468 140725282945360 139831473681560 139831073250463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14091268 memory=883496 CPUtime=0.4 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 807 0 0 0 35 5 0 0 20 0 15 0 46696939 14429458432 221386 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.4 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1803 0 0 0 36 4 0 0 20 0 15 0 46696939 14429458432 221386 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.41 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 990 0 0 0 39 2 0 0 20 0 15 0 46696939 14429458432 221386 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.4 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 1021 0 0 0 34 6 0 0 20 0 15 0 46696939 14429458432 221386 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14091268 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 9588 0 0 0 70 5 0 0 20 0 15 0 46696940 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14091268 memory=885544 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 46696940 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830942443104 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14091268 memory=885544 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 46696941 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830941390208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14091268 memory=885544 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14091268 memory=885544 CPUtime=4.97 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 43784 0 0 0 492 5 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14091268 memory=1456 CPUtime=5.45 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 39190 0 0 0 542 3 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14091268 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 13219 0 0 0 85 1 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14091268 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14091268 memory=14004 CPUtime=0.93 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 2072 0 0 0 49 44 0 0 20 0 15 0 46696943 14429458432 221386 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 2335.74 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 887000 KiB

[startup+2382.3 s]
/proc/loadavg: 1.57 1.70 1.75 3/217 2895
/proc/meminfo: memFree=27607284/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14091268 memory=955248 CPUtime=2395.93 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 143202 0 0 0 239507 86 0 0 20 0 15 0 46696938 14429458432 238812 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3522817 238812 3427 1 0 3484032 0
[pid=2708/tid=2709] ppid=2706 vsize=14091268 memory=955248 CPUtime=2380.98 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 28305 0 0 0 238086 12 0 0 20 0 15 0 46696938 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831473684104 139831075261645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14091268 memory=955248 CPUtime=0.45 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1085 0 0 0 40 5 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.46 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1970 0 0 0 41 5 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.47 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1150 0 0 0 45 2 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.47 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 1211 0 0 0 41 6 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14091268 memory=955248 CPUtime=0.75 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 9768 0 0 0 70 5 0 0 20 0 15 0 46696940 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46696940 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830942443104 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14091268 memory=955248 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 46696941 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830941390208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14091268 memory=1456 CPUtime=4.97 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 43787 0 0 0 492 5 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14091268 memory=1956 CPUtime=5.45 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 39192 0 0 0 542 3 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14091268 memory=885544 CPUtime=0.86 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 13221 0 0 0 85 1 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14091268 memory=885544 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14091268 memory=1456 CPUtime=0.95 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 2096 0 0 0 50 45 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 2395.93 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 956704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.4 s]
/proc/loadavg: 1.52 1.69 1.74 3/217 2895
/proc/meminfo: memFree=27607316/32770624 swapFree=67108860/67108860
[pid=2706] ppid=2703 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2706/stat : 2706 (xcsp3-exec) S 2703 2706 30989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46696937 115843072 364 33554432000 4194304 5098028 140731592559168 140731592557272 140387567096444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17428480 140731592561725 140731592561924 140731592561924 140731592564682 0
/proc/2706/statm: 28282 364 306 221 0 87 0
[pid=2708] ppid=2706 vsize=14091268 memory=955248 CPUtime=2400.03 cores=0,2,4,6
/proc/2708/stat : 2708 (java) S 2706 2706 30989 0 -1 1077944320 143202 0 0 0 239917 86 0 0 20 0 15 0 46696938 14429458432 238812 33554432000 4194304 4196468 140725282945360 140725282927904 139831469444855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
/proc/2708/statm: 3522817 238812 3427 1 0 3484032 0
[pid=2708/tid=2709] ppid=2706 vsize=14091268 memory=1296 CPUtime=2385.08 cores=0,2,4,6
/proc/2708/task/2709/stat : 2709 (java) R 2706 2706 30989 0 -1 4202560 28305 0 0 0 238496 12 0 0 20 0 15 0 46696938 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831473684104 139831075261219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2710] ppid=2706 vsize=14091268 memory=2344 CPUtime=0.45 cores=0,2,4,6
/proc/2708/task/2710/stat : 2710 (java) S 2706 2706 30989 0 -1 1077944384 1085 0 0 0 40 5 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831065701008 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2711] ppid=2706 vsize=14091268 memory=1724 CPUtime=0.46 cores=0,2,4,6
/proc/2708/task/2711/stat : 2711 (java) S 2706 2706 30989 0 -1 1077944384 1970 0 0 0 41 5 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831064648208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2712] ppid=2706 vsize=14091268 memory=1456 CPUtime=0.47 cores=0,2,4,6
/proc/2708/task/2712/stat : 2712 (java) S 2706 2706 30989 0 -1 1077944384 1150 0 0 0 45 2 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831063595408 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2713] ppid=2706 vsize=14091268 memory=955248 CPUtime=0.47 cores=0,2,4,6
/proc/2708/task/2713/stat : 2713 (java) S 2706 2706 30989 0 -1 1077944384 1211 0 0 0 41 6 0 0 20 0 15 0 46696939 14429458432 238812 33554432000 4194304 4196468 140725282945360 139831062542608 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2714] ppid=2706 vsize=14091268 memory=10344 CPUtime=0.75 cores=0,2,4,6
/proc/2708/task/2714/stat : 2714 (java) S 2706 2706 30989 0 -1 1077944384 9768 0 0 0 70 5 0 0 20 0 15 0 46696940 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830943497072 139831469456002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2715] ppid=2706 vsize=14091268 memory=955248 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2715/stat : 2715 (java) S 2706 2706 30989 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46696940 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830942443104 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2716] ppid=2706 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2716/stat : 2716 (java) S 2706 2706 30989 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 46696941 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830941390208 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2717] ppid=2706 vsize=14091268 memory=15696 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2717/stat : 2717 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830940338512 139831469463451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2718] ppid=2706 vsize=14091268 memory=1296 CPUtime=4.97 cores=0,2,4,6
/proc/2708/task/2718/stat : 2718 (java) S 2706 2706 30989 0 -1 1077944384 43787 0 0 0 492 5 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830939285872 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2719] ppid=2706 vsize=14091268 memory=2344 CPUtime=5.45 cores=0,2,4,6
/proc/2708/task/2719/stat : 2719 (java) S 2706 2706 30989 0 -1 1077944384 39192 0 0 0 542 3 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830938233072 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2720] ppid=2706 vsize=14091268 memory=1724 CPUtime=0.86 cores=0,2,4,6
/proc/2708/task/2720/stat : 2720 (java) S 2706 2706 30989 0 -1 1077944384 13221 0 0 0 85 1 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830937180272 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2721] ppid=2706 vsize=14091268 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/2708/task/2721/stat : 2721 (java) S 2706 2706 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830936127712 139831469455061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
[pid=2708/tid=2722] ppid=2706 vsize=14091268 memory=15696 CPUtime=0.96 cores=0,2,4,6
/proc/2708/task/2722/stat : 2722 (java) S 2706 2706 30989 0 -1 1077944384 2096 0 0 0 50 46 0 0 20 0 15 0 46696943 14429458432 238812 33554432000 4194304 4196468 140725282945360 139830935076016 139831469456002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140725282948225 140725282948401 140725282948401 140725282951119 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 956704 KiB

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

[startup+2386.41 s]
# the end of solver process 2706 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.19 s, system=0.868664 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2386.41
CPU time (s): 2400.06
CPU user time (s): 2399.19
CPU system time (s): 0.868664
CPU usage (%): 100.572
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 956704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.19
system time used= 0.868664
maximum resident set size= 955640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55374
involuntary context switches= 3057


# summary of solver processes directly reported to runsolver:
#   pid: 2706
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.19
#   total CPU system time (s): 0.868664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3474 second user time and 21.9688 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml
MD5SUM	06e1d56807384f8426568c6f8eb09a57
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	4638
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}]
Minimum variable degree	6
Maximum variable degree	27
Distribution of variable degrees	[{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4638}]
Number of extensional constraints	0
Number of intensional constraints	4638
Distribution of constraint types	[{"type":"intension","count":4638}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4292722

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
