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 (14992 MiB free)
memory of node 1: 16384 MiB (11134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273294-1502832334/watcher-4273294-1502832334 -o /tmp/evaluation-result-4273294-1502832334/solver-4273294-1502832334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30867 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1548948449 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273294-1502832334.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1658, runsolver pid=1655
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.76 1.73 1.76 3/204 1664
/proc/meminfo: memFree=26748884/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13358552 memory=14404 CPUtime=0.01 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 3452 0 0 0 1 0 0 0 20 0 6 0 85426660 13679157248 3601 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3339638 3601 1911 1 0 3329135 0
[pid=1658/tid=1660] ppid=1655 vsize=13358552 memory=6933928925625698159 CPUtime=0.01 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 2225 0 0 0 1 0 0 0 20 0 6 0 85426669 13679157248 3733 18446744073709551615 4194304 4196468 140722876506368 139879350035024 139879345820829 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13358552 memory=3677534773662714415 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 85426670 13679157248 3733 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13358552 memory=140209695233664 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 85426670 13679157248 3733 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 85426670 13679157248 3733 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 85426670 13679157248 3733 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14404 KiB
[startup+0.210131 s]*
/proc/loadavg: 1.76 1.73 1.76 5/213 1673
/proc/meminfo: memFree=26740800/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13975920 memory=27776 CPUtime=0.08 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 6774 0 0 0 7 1 0 0 20 0 15 0 85426660 14311342080 6944 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3493980 6944 3326 1 0 3482759 0
[pid=1658/tid=1660] ppid=1655 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 4890 0 0 0 6 0 0 0 20 0 15 0 85426669 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139879350027680 139879329842533 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13975920 memory=330 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13975920 memory=140209695252931 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13975920 memory=140209695233664 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85426671 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85426671 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878262342432 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85426672 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878261290096 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13975920 memory=140209695233664 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) S 1655 1658 17093 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13975920 memory=140209695233664 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426680 14311342080 7495 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27776 KiB
[startup+0.310407 s]*
/proc/loadavg: 1.76 1.73 1.76 4/213 1673
/proc/meminfo: memFree=26728004/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13975920 memory=39720 CPUtime=0.24 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 10633 0 0 0 21 3 0 0 20 0 15 0 85426660 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3493980 9930 3546 1 0 3482759 0
[pid=1658/tid=1660] ppid=1655 vsize=13975920 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 8370 0 0 0 14 2 0 0 20 0 15 0 85426669 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139879350009536 139879345820829 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85426670 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85426671 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85426671 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878262342432 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85426672 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878261290096 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 85426674 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) R 1655 1658 17093 0 -1 4202560 377 0 0 0 4 0 0 0 20 0 15 0 85426674 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345820250 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13975920 memory=140209695233664 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426680 14311342080 9930 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39720 KiB
[startup+0.701769 s]
/proc/loadavg: 1.76 1.73 1.76 3/213 1673
/proc/meminfo: memFree=26716700/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13977988 memory=70276 CPUtime=1.07 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 13756 0 0 0 102 5 0 0 20 0 15 0 85426660 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3494497 17569 3725 1 0 3483271 0
[pid=1658/tid=1660] ppid=1655 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 10340 0 0 0 51 3 0 0 20 0 15 0 85426669 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139879350032832 139878981574528 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13977988 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13977988 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13977988 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13977988 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85426670 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13977988 memory=-4546129931942301828 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85426671 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13977988 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85426671 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878262342432 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13977988 memory=-6421031960926448530 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85426672 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878261290096 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13977988 memory=-3472574944341025154 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13977988 memory=-2746958450906831424 CPUtime=0.14 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) R 1655 1658 17093 0 -1 4202560 803 0 0 0 14 0 0 0 20 0 15 0 85426674 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878259176672 139879330722377 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13977988 memory=-9174445032661854264 CPUtime=0.12 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) R 1655 1658 17093 0 -1 4202560 390 0 0 0 12 0 0 0 20 0 15 0 85426674 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878258119760 139879331854132 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13977988 memory=-6800859132029471843 CPUtime=0.22 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) R 1655 1658 17093 0 -1 1077944384 842 0 0 0 22 0 0 0 20 0 15 0 85426674 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878257076928 139879345809109 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426680 14313459712 17569 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70276 KiB
[startup+1.50589 s]
/proc/loadavg: 1.76 1.73 1.76 5/213 1673
/proc/meminfo: memFree=26654660/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13982084 memory=196952 CPUtime=3.62 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 27556 0 0 0 352 10 0 0 20 0 15 0 85426660 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3495521 49238 3771 1 0 3484295 0
[pid=1658/tid=1660] ppid=1655 vsize=13982084 memory=132700 CPUtime=1.34 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 14109 0 0 0 128 6 0 0 20 0 15 0 85426669 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139879350036368 139879329879390 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13982084 memory=1148 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13982084 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85426670 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13982084 memory=4441520 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85426670 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13982084 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13982084 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878262342432 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13982084 memory=4588 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85426672 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878261290096 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13982084 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13982084 memory=6080510843459496030 CPUtime=0.81 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) R 1655 1658 17093 0 -1 4202560 3917 0 0 0 80 1 0 0 20 0 15 0 85426674 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878259186208 139879330109251 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13982084 memory=6083360760051427429 CPUtime=0.78 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) R 1655 1658 17093 0 -1 4202560 3196 0 0 0 78 0 0 0 20 0 15 0 85426674 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878258122288 139879345820250 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13982084 memory=7680170660397595203 CPUtime=0.64 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) R 1655 1658 17093 0 -1 4202560 4941 0 0 0 63 1 0 0 20 0 15 0 85426674 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810838 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13982084 memory=288230376152165031 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13982084 memory=10 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426680 14317654016 49238 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 119323 0 0 0 236361 79 0 0 20 0 15 0 85426669 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139879350036624 139878991031737 0 4 1 16800974 0 0 0 -1 2 0 0 44 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13982084 memory=1194720 CPUtime=15.33 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 13905 0 0 0 1498 35 0 0 20 0 15 0 85426670 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13982084 memory=1205496 CPUtime=15.31 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 9658 0 0 0 1496 35 0 0 20 0 15 0 85426670 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13982084 memory=1184976 CPUtime=15.31 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 13853 0 0 0 1497 34 0 0 20 0 15 0 85426670 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13982084 memory=4028 CPUtime=15.32 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 14157 0 0 0 1497 35 0 0 20 0 15 0 85426670 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13982084 memory=1184976 CPUtime=1.26 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 61761 0 0 0 94 32 0 0 20 0 15 0 85426671 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13982084 memory=1184976 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878262342496 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13982084 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 85426672 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878261290112 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13982084 memory=1205496 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13982084 memory=1444 CPUtime=2.66 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 21272 0 0 0 264 2 0 0 20 0 15 0 85426674 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13982084 memory=1186000 CPUtime=2.97 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 19128 0 0 0 295 2 0 0 20 0 15 0 85426674 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13982084 memory=1186000 CPUtime=1.06 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) S 1655 1658 17093 0 -1 1077944384 33325 0 0 0 103 3 0 0 20 0 15 0 85426674 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13982084 memory=47040 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13982084 memory=1296 CPUtime=1.19 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1577 0 0 0 58 61 0 0 20 0 15 0 85426680 14317654016 296244 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 2434.91 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1184976 KiB
[startup+2442.3 s]
/proc/loadavg: 1.22 1.47 1.57 3/210 1893
/proc/meminfo: memFree=29523344/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13982084 memory=1076732 CPUtime=2496.29 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 311849 0 0 0 249327 302 0 0 20 0 15 0 85426660 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3495521 269183 3833 1 0 3484295 0
[pid=1658/tid=1660] ppid=1655 vsize=13982084 memory=1077756 CPUtime=2423.87 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 120605 0 0 0 242308 79 0 0 20 0 15 0 85426669 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139879350036576 139878990852721 0 4 1 16800974 0 0 0 -1 0 0 0 44 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13982084 memory=1077756 CPUtime=15.79 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 14145 0 0 0 1544 35 0 0 20 0 15 0 85426670 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13982084 memory=1077756 CPUtime=15.77 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 9948 0 0 0 1541 36 0 0 20 0 15 0 85426670 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13982084 memory=1096224 CPUtime=15.77 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 14158 0 0 0 1543 34 0 0 20 0 15 0 85426670 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13982084 memory=0 CPUtime=15.78 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 14391 0 0 0 1543 35 0 0 20 0 15 0 85426670 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13982084 memory=1125980 CPUtime=1.29 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 61805 0 0 0 96 33 0 0 20 0 15 0 85426671 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13982084 memory=1147012 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878262342496 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13982084 memory=1077756 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 85426672 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878261290112 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13982084 memory=1076732 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13982084 memory=1086480 CPUtime=2.66 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 21274 0 0 0 264 2 0 0 20 0 15 0 85426674 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13982084 memory=1087504 CPUtime=2.98 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 19130 0 0 0 296 2 0 0 20 0 15 0 85426674 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13982084 memory=1087504 CPUtime=1.06 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) S 1655 1658 17093 0 -1 1077944384 33327 0 0 0 103 3 0 0 20 0 15 0 85426674 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13982084 memory=1077756 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13982084 memory=1086480 CPUtime=1.23 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1583 0 0 0 60 63 0 0 20 0 15 0 85426680 14317654016 269183 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 2496.29 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1076732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.5 s]
/proc/loadavg: 1.09 1.42 1.55 2/208 1923
/proc/meminfo: memFree=29934224/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13982084 memory=1256796 CPUtime=2520.01 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 313590 0 0 0 251691 310 0 0 20 0 15 0 85426660 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3495521 314199 3833 1 0 3484295 0
[pid=1658/tid=1660] ppid=1655 vsize=13982084 memory=1256796 CPUtime=2446.87 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 121702 0 0 0 244606 81 0 0 20 0 15 0 85426669 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879350036656 139878991031653 0 4 1 16800974 0 0 0 -1 0 0 0 44 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13982084 memory=1150828 CPUtime=15.97 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 14187 0 0 0 1561 36 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13982084 memory=1078392 CPUtime=15.94 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 9993 0 0 0 1557 37 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13982084 memory=1257308 CPUtime=15.96 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 14336 0 0 0 1560 36 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13982084 memory=1257308 CPUtime=15.96 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 14480 0 0 0 1559 37 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13982084 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 62070 0 0 0 97 33 0 0 20 0 15 0 85426671 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878262342496 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 85426672 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878261290112 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13982084 memory=1257308 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13982084 memory=1150828 CPUtime=2.66 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 21274 0 0 0 264 2 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13982084 memory=47040 CPUtime=2.98 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 19130 0 0 0 296 2 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13982084 memory=1296 CPUtime=1.06 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) S 1655 1658 17093 0 -1 1077944384 33327 0 0 0 103 3 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13982084 memory=1256796 CPUtime=1.23 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1608 0 0 0 60 63 0 0 20 0 15 0 85426680 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1256796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.53 s]
# the end of solver process 1658 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.96 s, system=3.12127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.5 s]
/proc/loadavg: 1.09 1.42 1.55 2/208 1923
/proc/meminfo: memFree=29934224/32770624 swapFree=67108860/67108860
[pid=1658] ppid=1655 vsize=13982084 memory=1256796 CPUtime=2520.01 cores=0,2,4,6
/proc/1658/stat : 1658 (java) S 1655 1658 17093 0 -1 1077944320 313590 0 0 0 251691 310 0 0 20 0 15 0 85426660 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 140722876488912 139879345798903 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
/proc/1658/statm: 3495521 314199 3833 1 0 3484295 0
[pid=1658/tid=1660] ppid=1655 vsize=13982084 memory=1256796 CPUtime=2446.87 cores=0,2,4,6
/proc/1658/task/1660/stat : 1660 (java) R 1655 1658 17093 0 -1 4202560 121702 0 0 0 244606 81 0 0 20 0 15 0 85426669 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879350036656 139878991031653 0 4 1 16800974 0 0 0 -1 0 0 0 44 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1661] ppid=1655 vsize=13982084 memory=1150828 CPUtime=15.97 cores=0,2,4,6
/proc/1658/task/1661/stat : 1661 (java) S 1655 1658 17093 0 -1 1077944384 14187 0 0 0 1561 36 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879302765456 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1662] ppid=1655 vsize=13982084 memory=1078392 CPUtime=15.94 cores=0,2,4,6
/proc/1658/task/1662/stat : 1662 (java) S 1655 1658 17093 0 -1 1077944384 9993 0 0 0 1557 37 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139879301712656 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1663] ppid=1655 vsize=13982084 memory=1257308 CPUtime=15.96 cores=0,2,4,6
/proc/1658/task/1663/stat : 1663 (java) S 1655 1658 17093 0 -1 1077944384 14336 0 0 0 1560 36 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878943878288 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1664] ppid=1655 vsize=13982084 memory=1257308 CPUtime=15.96 cores=0,2,4,6
/proc/1658/task/1664/stat : 1664 (java) S 1655 1658 17093 0 -1 1077944384 14480 0 0 0 1559 37 0 0 20 0 15 0 85426670 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878942825488 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1665] ppid=1655 vsize=13982084 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/1658/task/1665/stat : 1665 (java) S 1655 1658 17093 0 -1 1077944384 62070 0 0 0 97 33 0 0 20 0 15 0 85426671 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878263396464 139879345810050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1666] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1666/stat : 1666 (java) S 1655 1658 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 85426671 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878262342496 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1667] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1667/stat : 1667 (java) S 1655 1658 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 85426672 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878261290112 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1668] ppid=1655 vsize=13982084 memory=1257308 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1668/stat : 1668 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878260238416 139879345817499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1669] ppid=1655 vsize=13982084 memory=1150828 CPUtime=2.66 cores=0,2,4,6
/proc/1658/task/1669/stat : 1669 (java) S 1655 1658 17093 0 -1 1077944384 21274 0 0 0 264 2 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878259186288 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1670] ppid=1655 vsize=13982084 memory=47040 CPUtime=2.98 cores=0,2,4,6
/proc/1658/task/1670/stat : 1670 (java) S 1655 1658 17093 0 -1 1077944384 19130 0 0 0 296 2 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878258133488 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1671] ppid=1655 vsize=13982084 memory=1296 CPUtime=1.06 cores=0,2,4,6
/proc/1658/task/1671/stat : 1671 (java) S 1655 1658 17093 0 -1 1077944384 33327 0 0 0 103 3 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878257081200 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1672] ppid=1655 vsize=13982084 memory=1256796 CPUtime=0 cores=0,2,4,6
/proc/1658/task/1672/stat : 1672 (java) S 1655 1658 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85426674 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878256028640 139879345809109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
[pid=1658/tid=1673] ppid=1655 vsize=13982084 memory=1256796 CPUtime=1.23 cores=0,2,4,6
/proc/1658/task/1673/stat : 1673 (java) S 1655 1658 17093 0 -1 1077944384 1608 0 0 0 60 63 0 0 20 0 15 0 85426680 14317654016 314199 18446744073709551615 4194304 4196468 140722876506368 139878254975408 139879345810050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14647296 140722876514676 140722876514857 140722876514857 140722876518351 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1256796 KiB
Child status: 143
Real time (s): 2465.53
CPU time (s): 2520.08
CPU user time (s): 2516.96
CPU system time (s): 3.12127
CPU usage (%): 102.213
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3507544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.96
system time used= 3.12127
maximum resident set size= 3507544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79004
involuntary context switches= 4879
# summary of solver processes directly reported to runsolver:
# pid: 1658
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.96
# total CPU system time (s): 3.12127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7175 second user time and 24.5317 second system time
The end