2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	46	2520.04	2512.91
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 (5330 MiB free)
  memory of node 1: 16384 MiB (9079 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308654-1534287767/watcher-4308654-1534287767 -o /tmp/evaluation-result-4308654-1534287767/solver-4308654-1534287767 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2650 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1987556860 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308654-1534287767.xml 

running on 4 cores: 1,3,5,7

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=4752, runsolver pid=4749
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 1.94 1.69 1.69 3/216 4767
/proc/meminfo: memFree=14737628/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14082736 memory=32816 CPUtime=0.11 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 7133 0 0 0 10 1 0 0 20 0 15 0 246339926 14420721664 8204 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3520684 8204 3137 1 0 3482761 0
[pid=4752/tid=4754] ppid=4749 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 5342 0 0 0 8 1 0 0 20 0 15 0 246339927 14420721664 8336 33554432000 4194304 4196468 140734926879552 139915301477920 139915297295766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 8336 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14082736 memory=4122677959464396448 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 8336 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 8336 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 8336 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914477515808 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914476462960 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) R 4749 4752 875 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0.01 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) R 4749 4752 875 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914472254064 139915281531241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 8336 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32816 KiB

[startup+0.214551 s]*
/proc/loadavg: 1.94 1.69 1.69 6/216 4767
/proc/meminfo: memFree=14721876/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14082736 memory=46988 CPUtime=0.31 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 10365 0 0 0 29 2 0 0 20 0 15 0 246339926 14420721664 11747 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3520684 11747 3373 1 0 3482761 0
[pid=4752/tid=4754] ppid=4749 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 8098 0 0 0 19 2 0 0 20 0 15 0 246339927 14420721664 11791 33554432000 4194304 4196468 140734926879552 139915301502208 139915281327461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 11791 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14082736 memory=3905944417830512288 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 11791 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 11791 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 11791 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914477515808 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914476462960 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) R 4749 4752 875 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0.06 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 11791 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46988 KiB

[startup+0.310387 s]*
/proc/loadavg: 1.94 1.69 1.69 3/216 4767
/proc/meminfo: memFree=14718340/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14082736 memory=50348 CPUtime=0.43 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 10722 0 0 0 41 2 0 0 20 0 15 0 246339926 14420721664 12587 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3520684 12587 3375 1 0 3482761 0
[pid=4752/tid=4754] ppid=4749 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 8425 0 0 0 28 2 0 0 20 0 15 0 246339927 14420721664 12587 33554432000 4194304 4196468 140734926879552 139915301504928 139915278847383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 12587 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14082736 memory=3546777953779394208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 12587 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14082736 memory=9796 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 12587 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14420721664 12587 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14082736 memory=140246506364544 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914477515808 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246339929 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914476462960 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14082736 memory=35 CPUtime=0.01 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14082736 memory=140246506357024 CPUtime=0.07 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14082736 memory=140246506350208 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339932 14420721664 12587 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50348 KiB

[startup+0.700786 s]
/proc/loadavg: 1.94 1.69 1.69 3/216 4767
/proc/meminfo: memFree=14659328/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14084804 memory=88920 CPUtime=1 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 17605 0 0 0 95 5 0 0 20 0 15 0 246339926 14422839296 22230 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3521201 22230 3505 1 0 3483273 0
[pid=4752/tid=4754] ppid=4749 vsize=14084804 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 14870 0 0 0 63 4 0 0 20 0 15 0 246339927 14422839296 22230 33554432000 4194304 4196468 140734926879552 139915301508192 139915281364318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14422839296 22230 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14422839296 22230 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339927 14422839296 22230 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246339927 14422839296 22230 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246339929 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246339929 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914477515808 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246339929 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914476462960 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14084804 memory=280492772254400 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14084804 memory=280492772254448 CPUtime=0.08 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 593 0 0 0 8 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14084804 memory=280492772254180 CPUtime=0.07 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 417 0 0 0 15 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14084804 memory=160686135194294 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246339932 14422839296 22230 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88920 KiB

[startup+1.50083 s]
/proc/loadavg: 1.94 1.69 1.69 5/216 4767
/proc/meminfo: memFree=14601064/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14086852 memory=223008 CPUtime=3.43 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 23569 0 0 0 335 8 0 0 20 0 15 0 246339926 14424936448 55752 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3521713 55752 3548 1 0 3483785 0
[pid=4752/tid=4754] ppid=4749 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 16719 0 0 0 139 6 0 0 20 0 15 0 246339927 14424936448 55752 33554432000 4194304 4196468 140734926879552 139915301519008 139914885812734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14086852 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246339927 14424936448 55752 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14086852 memory=6011581402601046114 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 246339927 14424936448 55752 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14086852 memory=7014751519734585681 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 246339927 14424936448 55752 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246339927 14424936448 55752 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 246339929 14424936448 55752 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0

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

/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 38103 0 0 0 244198 10 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915301516496 139914894523099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1538 0 0 0 9 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 766 0 0 0 10 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.11 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 695 0 0 0 9 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.13 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 1936 0 0 0 10 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.06 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 1785 0 0 0 4 2 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914477515872 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914476462976 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.49 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 13769 0 0 0 247 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.5 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 12816 0 0 0 248 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14092996 memory=328676 CPUtime=1.22 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 21434 0 0 0 120 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.47 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1259 0 0 0 21 26 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 2449.38 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 328676 KiB

[startup+2502.3 s]
/proc/loadavg: 1.77 1.73 1.71 3/216 4915
/proc/meminfo: memFree=14564624/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14092996 memory=328676 CPUtime=2509.4 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 95738 0 0 0 250889 51 0 0 20 0 15 0 246339926 14431227904 82169 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3523249 82169 3605 1 0 3485321 0
[pid=4752/tid=4754] ppid=4749 vsize=14092996 memory=328676 CPUtime=2502.08 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 38138 0 0 0 250198 10 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915301518216 139914894522942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1538 0 0 0 9 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 766 0 0 0 10 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.11 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 695 0 0 0 9 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.13 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 1936 0 0 0 10 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14092996 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 1785 0 0 0 4 2 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14092996 memory=876 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914477515872 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14092996 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914476462976 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.49 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 13901 0 0 0 247 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.5 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 12816 0 0 0 248 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14092996 memory=328676 CPUtime=1.22 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 21434 0 0 0 120 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14092996 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14092996 memory=3816 CPUtime=0.48 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1263 0 0 0 21 27 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 2509.4 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 328676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.9 s]
/proc/loadavg: 1.65 1.71 1.70 7/216 4916
/proc/meminfo: memFree=14581576/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14092996 memory=328676 CPUtime=2520 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 95740 0 0 0 251949 51 0 0 20 0 15 0 246339926 14431227904 82169 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3523249 82169 3605 1 0 3485321 0
[pid=4752/tid=4754] ppid=4749 vsize=14092996 memory=328676 CPUtime=2512.68 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 38138 0 0 0 251258 10 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915301518216 139914894522995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1538 0 0 0 9 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14092996 memory=164 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 766 0 0 0 10 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.11 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 695 0 0 0 9 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.13 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 1936 0 0 0 10 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.06 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 1785 0 0 0 4 2 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914477515872 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14092996 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914476462976 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14092996 memory=3816 CPUtime=2.49 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 13901 0 0 0 247 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.5 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 12816 0 0 0 248 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14092996 memory=328676 CPUtime=1.22 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 21434 0 0 0 120 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.49 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1265 0 0 0 22 27 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 328676 KiB

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

[startup+2512.91 s]
# the end of solver process 4752 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.51 s, system=0.524137 s

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

[startup+2512.9 s]
/proc/loadavg: 1.65 1.71 1.70 7/216 4916
/proc/meminfo: memFree=14581576/32770624 swapFree=67108504/67108860
[pid=4752] ppid=4749 vsize=14092996 memory=328676 CPUtime=2520 cores=1,3,5,7
/proc/4752/stat : 4752 (java) S 4749 4752 875 0 -1 1077944320 95740 0 0 0 251949 51 0 0 20 0 15 0 246339926 14431227904 82169 33554432000 4194304 4196468 140734926879552 140734926862096 139915297283831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
/proc/4752/statm: 3523249 82169 3605 1 0 3485321 0
[pid=4752/tid=4754] ppid=4749 vsize=14092996 memory=328676 CPUtime=2512.68 cores=1,3,5,7
/proc/4752/task/4754/stat : 4754 (java) R 4749 4752 875 0 -1 4202560 38138 0 0 0 251258 10 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915301518216 139914894522995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4755] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4755/stat : 4755 (java) S 4749 4752 875 0 -1 1077944384 1538 0 0 0 9 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915212352656 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4756] ppid=4749 vsize=14092996 memory=164 CPUtime=0.12 cores=1,3,5,7
/proc/4752/task/4756/stat : 4756 (java) S 4749 4752 875 0 -1 1077944384 766 0 0 0 10 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915211299856 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4757] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.11 cores=1,3,5,7
/proc/4752/task/4757/stat : 4757 (java) S 4749 4752 875 0 -1 1077944384 695 0 0 0 9 2 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915210247056 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4758] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.13 cores=1,3,5,7
/proc/4752/task/4758/stat : 4758 (java) S 4749 4752 875 0 -1 1077944384 1936 0 0 0 10 3 0 0 20 0 15 0 246339927 14431227904 82169 33554432000 4194304 4196468 140734926879552 139915209194256 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4759] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.06 cores=1,3,5,7
/proc/4752/task/4759/stat : 4759 (java) S 4749 4752 875 0 -1 1077944384 1785 0 0 0 4 2 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914478569840 139915297294978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4760] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4760/stat : 4760 (java) S 4749 4752 875 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914477515872 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4761] ppid=4749 vsize=14092996 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4761/stat : 4761 (java) S 4749 4752 875 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 246339929 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914476462976 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4762] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4762/stat : 4762 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914475411280 139915297302427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4763] ppid=4749 vsize=14092996 memory=3816 CPUtime=2.49 cores=1,3,5,7
/proc/4752/task/4763/stat : 4763 (java) S 4749 4752 875 0 -1 1077944384 13901 0 0 0 247 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914474359664 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4764] ppid=4749 vsize=14092996 memory=328676 CPUtime=2.5 cores=1,3,5,7
/proc/4752/task/4764/stat : 4764 (java) S 4749 4752 875 0 -1 1077944384 12816 0 0 0 248 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914473306864 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4765] ppid=4749 vsize=14092996 memory=328676 CPUtime=1.22 cores=1,3,5,7
/proc/4752/task/4765/stat : 4765 (java) S 4749 4752 875 0 -1 1077944384 21434 0 0 0 120 2 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914472254064 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4766] ppid=4749 vsize=14092996 memory=328676 CPUtime=0 cores=1,3,5,7
/proc/4752/task/4766/stat : 4766 (java) S 4749 4752 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914471201504 139915297294037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
[pid=4752/tid=4767] ppid=4749 vsize=14092996 memory=328676 CPUtime=0.49 cores=1,3,5,7
/proc/4752/task/4767/stat : 4767 (java) S 4749 4752 875 0 -1 1077944384 1265 0 0 0 22 27 0 0 20 0 15 0 246339932 14431227904 82169 33554432000 4194304 4196468 140734926879552 139914470148784 139915297294978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 39124992 140734926885972 140734926886153 140734926886153 140734926888911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 328676 KiB

Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.04
CPU user time (s): 2519.51
CPU system time (s): 0.524137
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 331712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.524137
maximum resident set size= 337676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59875
involuntary context switches= 750


# summary of solver processes directly reported to runsolver:
#   pid: 4752
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.51
#   total CPU system time (s): 0.524137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8347 second user time and 20.1718 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
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	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4308654

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
