2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	46	2520.1399	2471.95
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 (14826 MiB free)
  memory of node 1: 16384 MiB (15403 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273048-1502770669/watcher-4273048-1502770669 -o /tmp/evaluation-result-4273048-1502770669/solver-4273048-1502770669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 782672631 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273048-1502770669.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
Current StackSize limit: 8192 KiB

solver pid=19822, runsolver pid=19819

[startup+0.100154 s]*
/proc/loadavg: 1.61 1.64 1.66 2/199 19823
/proc/meminfo: memFree=30955088/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/19822/stat : 19822 (runsolver) D 19819 19822 7084 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 176719519 34791424 114 18446744073709551615 4194304 4346622 140732484637968 140732484634600 140396767208151 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 34459648 140732484644936 140732484645412 140732484645412 140732484648906 0
/proc/19822/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.215777 s]*
/proc/loadavg: 1.61 1.64 1.66 3/213 19837
/proc/meminfo: memFree=30942628/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13975920 memory=27968 CPUtime=0.07 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 6783 0 0 0 6 1 0 0 20 0 15 0 176719519 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3493980 6992 3322 1 0 3482759 0
[pid=19822/tid=19824] ppid=19819 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 4884 0 0 0 5 1 0 0 20 0 15 0 176719530 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140708303865848 140708291873598 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13975920 memory=329 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13975920 memory=288370772921869952 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176719532 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176719533 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707777586464 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176719533 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707776534128 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 176719535 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719535 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 176719535 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719539 14311342080 6992 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27968 KiB

[startup+0.310426 s]*
/proc/loadavg: 1.61 1.64 1.66 3/213 19837
/proc/meminfo: memFree=30928012/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13975920 memory=39460 CPUtime=0.23 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 10175 0 0 0 20 3 0 0 20 0 15 0 176719519 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3493980 9865 3488 1 0 3482759 0
[pid=19822/tid=19824] ppid=19819 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 7900 0 0 0 13 2 0 0 20 0 15 0 176719530 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140708303844624 140708299658397 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176719531 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 176719532 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176719533 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707777586464 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176719533 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707776534128 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 176719535 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 176719535 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0.04 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 15 0 176719535 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13975920 memory=140396770158208 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719539 14311342080 9865 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39460 KiB

[startup+0.700725 s]
/proc/loadavg: 1.61 1.64 1.66 4/213 19837
/proc/meminfo: memFree=30915828/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13977988 memory=88204 CPUtime=1.07 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 14696 0 0 0 102 5 0 0 20 0 15 0 176719519 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3494497 22051 3727 1 0 3483271 0
[pid=19822/tid=19824] ppid=19819 vsize=13977988 memory=932 CPUtime=0.53 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 10239 0 0 0 49 4 0 0 20 0 15 0 176719530 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140708303873152 140707910200456 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13977988 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13977988 memory=836 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13977988 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719531 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13977988 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176719531 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13977988 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 176719532 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13977988 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176719533 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707777586464 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13977988 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176719533 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707776534128 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13977988 memory=1148 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13977988 memory=7515751744944167009 CPUtime=0.17 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 1110 0 0 0 17 0 0 0 20 0 15 0 176719535 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13977988 memory=6082232691353938023 CPUtime=0.17 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) R 19819 19822 7084 0 -1 4202560 1200 0 0 0 17 0 0 0 20 0 15 0 176719535 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707773369520 140708281180194 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13977988 memory=7516909552548929901 CPUtime=0.17 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) R 19819 19822 7084 0 -1 4202560 765 0 0 0 17 0 0 0 20 0 15 0 176719535 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299657818 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13977988 memory=5859271421084521832 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13977988 memory=54184 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719539 14313459712 22051 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 88204 KiB

[startup+1.50277 s]
/proc/loadavg: 1.61 1.64 1.66 5/213 19837
/proc/meminfo: memFree=30817052/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13977988 memory=244804 CPUtime=3.55 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 17778 0 0 0 343 12 0 0 20 0 15 0 176719519 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3494497 61201 3790 1 0 3483271 0
[pid=19822/tid=19824] ppid=19819 vsize=13977988 memory=288230621803970871 CPUtime=1.28 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 10531 0 0 0 123 5 0 0 20 0 15 0 176719530 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140708303870208 140707915333263 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13977988 memory=13563786715989427 CPUtime=0.03 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 15 0 176719531 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13977988 memory=211 CPUtime=0.04 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 15 0 176719531 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13977988 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 119 0 0 0 3 1 0 0 20 0 15 0 176719531 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13977988 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 15 0 176719531 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 176719532 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176719533 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707777586528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 176719533 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707776534144 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13977988 memory=140396642719312 CPUtime=0.79 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) R 19819 19822 7084 0 -1 4202560 2192 0 0 0 79 0 0 0 20 0 15 0 176719535 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707774417968 140708283130989 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13977988 memory=225515847850731 CPUtime=0.82 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) R 19819 19822 7084 0 -1 4202560 1775 0 0 0 82 0 0 0 20 0 15 0 176719535 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707773376592 140708299657818 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13977988 memory=280793285244192 CPUtime=0.42 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) R 19819 19822 7084 0 -1 4202560 1439 0 0 0 42 0 0 0 20 0 15 0 176719535 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707772322168 140708278267893 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13977988 memory=8319223537343625174 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13977988 memory=8103646037774601318 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176719539 14313459712 61201 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 244804 KiB

[startup+3.11 s]
/proc/loadavg: 1.61 1.64 1.66 2/213 19837
/proc/meminfo: memFree=30181676/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13980036 memory=773752 CPUtime=6.19 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 25596 0 0 0 578 41 0 0 20 0 15 0 176719519 14315556864 193438 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3495009 193438 3803 1 0 3483783 0
[pid=19822/tid=19824] ppid=19819 vsize=13980036 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) S 19819 19822 7084 0 -1 1077944384 13724 0 0 0 208 11 0 0 20 0 15 0 176719530 14315556864 193438 18446744073709551615 4194304 4196468 140723333822832 140708303874976 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0

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

/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 218292 0 0 0 236668 78 0 0 20 0 15 0 176719530 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708303870048 140707920514093 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.28 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 31586 0 0 0 1254 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13982084 memory=0 CPUtime=13.3 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 39228 0 0 0 1256 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 53460 0 0 0 1248 79 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 36707 0 0 0 1255 72 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0.45 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 16675 0 0 0 36 9 0 0 20 0 15 0 176719532 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 81 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707777586528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13982084 memory=280793286729072 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707776534144 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.48 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 28846 0 0 0 344 4 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.29 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 24220 0 0 0 326 3 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13982084 memory=280793285432280 CPUtime=1.11 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 33034 0 0 0 106 5 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13982084 memory=4878028 CPUtime=1.42 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1886 0 0 0 60 82 0 0 20 0 15 0 176719539 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 2430.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4878028 KiB

[startup+2442.31 s]
/proc/loadavg: 2.04 1.88 1.88 3/214 20087
/proc/meminfo: memFree=21719288/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2490.47 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 490193 0 0 0 248581 466 0 0 20 0 15 0 176719519 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3495521 1219507 3835 1 0 3484295 0
[pid=19822/tid=19824] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2427.46 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 220955 0 0 0 242668 78 0 0 20 0 15 0 176719530 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708303870192 140707920513719 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.28 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 31586 0 0 0 1254 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.3 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 39228 0 0 0 1256 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 53460 0 0 0 1248 79 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 36707 0 0 0 1255 72 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0.45 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 16746 0 0 0 36 9 0 0 20 0 15 0 176719532 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 81 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707777586528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707776534144 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.48 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 28931 0 0 0 344 4 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.29 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 24821 0 0 0 326 3 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13982084 memory=4878028 CPUtime=1.11 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 34364 0 0 0 106 5 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13982084 memory=4878028 CPUtime=1.46 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1957 0 0 0 62 84 0 0 20 0 15 0 176719539 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 2490.47 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4878028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.9 s]
/proc/loadavg: 2.02 1.89 1.88 3/215 20088
/proc/meminfo: memFree=21719400/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2520.08 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 491649 0 0 0 251542 466 0 0 20 0 15 0 176719519 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3495521 1219507 3835 1 0 3484295 0
[pid=19822/tid=19824] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2457.05 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 222352 0 0 0 245627 78 0 0 20 0 15 0 176719530 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708303870192 140707920513770 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.28 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 31586 0 0 0 1254 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.3 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 39228 0 0 0 1256 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 53460 0 0 0 1248 79 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 36707 0 0 0 1255 72 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0.45 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 16755 0 0 0 36 9 0 0 20 0 15 0 176719532 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 81 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707777586528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707776534144 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13982084 memory=12320 CPUtime=3.48 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 28934 0 0 0 344 4 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.29 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 24828 0 0 0 326 3 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13982084 memory=4878028 CPUtime=1.11 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 34367 0 0 0 106 5 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13982084 memory=4156 CPUtime=1.47 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1994 0 0 0 63 84 0 0 20 0 15 0 176719539 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4878028 KiB

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

[startup+2471.95 s]
# the end of solver process 19822 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.44 s, system=4.69801 s

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

[startup+2471.9 s]
/proc/loadavg: 2.02 1.89 1.88 3/215 20088
/proc/meminfo: memFree=21719400/32770624 swapFree=67108776/67108860
[pid=19822] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2520.08 cores=1,3,5,7
/proc/19822/stat : 19822 (java) S 19819 19822 7084 0 -1 1077944320 491649 0 0 0 251542 466 0 0 20 0 15 0 176719519 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140723333805376 140708299636471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
/proc/19822/statm: 3495521 1219507 3835 1 0 3484295 0
[pid=19822/tid=19824] ppid=19819 vsize=13982084 memory=4878028 CPUtime=2457.05 cores=1,3,5,7
/proc/19822/task/19824/stat : 19824 (java) R 19819 19822 7084 0 -1 4202560 222352 0 0 0 245627 78 0 0 20 0 15 0 176719530 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708303870192 140707920513770 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19825] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.28 cores=1,3,5,7
/proc/19822/task/19825/stat : 19825 (java) S 19819 19822 7084 0 -1 1077944384 31586 0 0 0 1254 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708234070416 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19826] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.3 cores=1,3,5,7
/proc/19822/task/19826/stat : 19826 (java) S 19819 19822 7084 0 -1 1077944384 39228 0 0 0 1256 74 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708233017616 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19827] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19827/stat : 19827 (java) S 19819 19822 7084 0 -1 1077944384 53460 0 0 0 1248 79 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708231965328 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19828] ppid=19819 vsize=13982084 memory=4878028 CPUtime=13.27 cores=1,3,5,7
/proc/19822/task/19828/stat : 19828 (java) S 19819 19822 7084 0 -1 1077944384 36707 0 0 0 1255 72 0 0 20 0 15 0 176719531 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140708230912528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19829] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0.45 cores=1,3,5,7
/proc/19822/task/19829/stat : 19829 (java) S 19819 19822 7084 0 -1 1077944384 16755 0 0 0 36 9 0 0 20 0 15 0 176719532 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707778640496 140708299647618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 81 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19830] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19830/stat : 19830 (java) S 19819 19822 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707777586528 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19831] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19831/stat : 19831 (java) S 19819 19822 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 176719533 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707776534144 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19832] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19832/stat : 19832 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707775482448 140708299655067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19833] ppid=19819 vsize=13982084 memory=12320 CPUtime=3.48 cores=1,3,5,7
/proc/19822/task/19833/stat : 19833 (java) S 19819 19822 7084 0 -1 1077944384 28934 0 0 0 344 4 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707774429296 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19834] ppid=19819 vsize=13982084 memory=4878028 CPUtime=3.29 cores=1,3,5,7
/proc/19822/task/19834/stat : 19834 (java) S 19819 19822 7084 0 -1 1077944384 24828 0 0 0 326 3 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707773376496 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19835] ppid=19819 vsize=13982084 memory=4878028 CPUtime=1.11 cores=1,3,5,7
/proc/19822/task/19835/stat : 19835 (java) S 19819 19822 7084 0 -1 1077944384 34367 0 0 0 106 5 0 0 20 0 15 0 176719535 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707772324208 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19836] ppid=19819 vsize=13982084 memory=4878028 CPUtime=0 cores=1,3,5,7
/proc/19822/task/19836/stat : 19836 (java) S 19819 19822 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176719536 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707771271648 140708299646677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
[pid=19822/tid=19837] ppid=19819 vsize=13982084 memory=4156 CPUtime=1.47 cores=1,3,5,7
/proc/19822/task/19837/stat : 19837 (java) S 19819 19822 7084 0 -1 1077944384 1994 0 0 0 63 84 0 0 20 0 15 0 176719539 14317654016 1219507 18446744073709551615 4194304 4196468 140723333822832 140707770219440 140708299647618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 15355904 140723333828981 140723333829161 140723333829161 140723333832655 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4878028 KiB

Child status: 143
Real time (s): 2471.95
CPU time (s): 2520.14
CPU user time (s): 2515.44
CPU system time (s): 4.69801
CPU usage (%): 101.95
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4878028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.44
system time used= 4.69801
maximum resident set size= 4878584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493285
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62192
involuntary context switches= 1898


# summary of solver processes directly reported to runsolver:
#   pid: 19822
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.44
#   total CPU system time (s): 4.69801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0963 second user time and 18.659 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4273048

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
