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 (14473 MiB free)
memory of node 1: 16384 MiB (15386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273126-1502814930/watcher-4273126-1502814930 -o /tmp/evaluation-result-4273126-1502814930/solver-4273126-1502814930 -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 1168435273 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273126-1502814930.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25729, runsolver pid=25726
Current StackSize limit: 8192 KiB
[startup+0.103167 s]*
/proc/loadavg: 1.46 1.39 1.34 3/208 25736
/proc/meminfo: memFree=30567644/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13573664 memory=17756 CPUtime=0.02 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 3795 0 0 0 1 1 0 0 20 0 9 0 181145656 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3393416 4439 2094 1 0 3382913 0
[pid=25729/tid=25731] ppid=25726 vsize=13573664 memory=7077796292425249400 CPUtime=0.01 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 2430 0 0 0 1 0 0 0 20 0 9 0 181145664 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139763349807624 139763345593501 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13573664 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 181145665 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13573664 memory=140269291792000 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 181145665 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 181145665 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13573664 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 181145665 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 181145666 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 181145666 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139762845295776 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 181145667 13899431936 4439 18446744073709551615 4194304 4196468 140729096374528 139762844242736 139763345581781 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17756 KiB
[startup+0.211317 s]*
/proc/loadavg: 1.46 1.39 1.34 5/216 25744
/proc/meminfo: memFree=30558120/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13975920 memory=31516 CPUtime=0.1 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 6696 0 0 0 9 1 0 0 20 0 15 0 181145656 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3493980 7879 3384 1 0 3482759 0
[pid=25729/tid=25731] ppid=25726 vsize=13975920 memory=8316850467074736180 CPUtime=0.07 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 4642 0 0 0 6 1 0 0 20 0 15 0 181145664 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139763349789120 139762950346924 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13975920 memory=8333 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13975920 memory=3472474071698204320 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13975920 memory=140269291792000 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145666 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 181145666 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762845295776 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 181145667 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762844242672 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13975920 memory=140269291792000 CPUtime=0.01 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 15 0 181145669 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13975920 memory=140269291792000 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145674 14311342080 7879 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31516 KiB
[startup+0.310618 s]*
/proc/loadavg: 1.46 1.39 1.34 3/216 25744
/proc/meminfo: memFree=30548480/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13975920 memory=40552 CPUtime=0.25 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 10384 0 0 0 23 2 0 0 20 0 15 0 181145656 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3493980 10138 3541 1 0 3482759 0
[pid=25729/tid=25731] ppid=25726 vsize=13975920 memory=8316850467074736180 CPUtime=0.17 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 8066 0 0 0 15 2 0 0 20 0 15 0 181145664 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139763349771360 139763329652062 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13975920 memory=8333 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13975920 memory=3472474071698204320 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13975920 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13975920 memory=3184238189367760560 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 181145666 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13975920 memory=735830788933759496 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 181145666 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139762845295776 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 181145667 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139762844242672 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 10138 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 181145669 14311342080 10204 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13975920 memory=3472328296227418159 CPUtime=0.01 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 15 0 181145669 14311342080 10204 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13975920 memory=7599810019315931875 CPUtime=0.05 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) R 25726 25729 7084 0 -1 4202560 400 0 0 0 5 0 0 0 20 0 15 0 181145669 14311342080 10204 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763323940214 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311342080 10204 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13975920 memory=140269291792000 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145674 14311342080 10204 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40552 KiB
[startup+0.700744 s]
/proc/loadavg: 1.46 1.39 1.34 4/216 25744
/proc/meminfo: memFree=30515624/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13975940 memory=56996 CPUtime=0.65 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 12575 0 0 0 61 4 0 0 20 0 15 0 181145656 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3493985 14249 3714 1 0 3482759 0
[pid=25729/tid=25731] ppid=25726 vsize=13975940 memory=1236 CPUtime=0.39 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) D 25726 25729 7084 0 -1 4202560 9487 0 0 0 36 3 0 0 20 0 15 0 181145664 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139763349810080 139763345593501 0 4 1 16800974 18446744072100990085 0 0 -1 1 0 0 4 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13975940 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145665 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13975940 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13975940 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13975940 memory=932 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13975940 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 181145666 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13975940 memory=3472328279047811153 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 181145666 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762845295776 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 181145667 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762844242672 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13975940 memory=737 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13975940 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 15 0 181145669 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13975940 memory=836 CPUtime=0.06 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 359 0 0 0 6 0 0 0 20 0 15 0 181145669 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13975940 memory=2772 CPUtime=0.12 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 665 0 0 0 12 0 0 0 20 0 15 0 181145669 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13975940 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13975940 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145674 14311362560 14249 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 56996 KiB
[startup+1.50074 s]
/proc/loadavg: 1.66 1.44 1.36 2/216 25744
/proc/meminfo: memFree=30527880/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13980036 memory=88084 CPUtime=1.43 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 15673 0 0 0 137 6 0 0 20 0 15 0 181145656 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3495009 22021 3740 1 0 3483783 0
[pid=25729/tid=25731] ppid=25726 vsize=13980036 memory=2257 CPUtime=0.76 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 10968 0 0 0 72 4 0 0 20 0 15 0 181145664 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139763349808304 139763329652062 0 4 1 16800974 0 0 0 -1 3 0 0 62 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 181145665 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13980036 memory=-7522837582236181595 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13980036 memory=56996 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13980036 memory=2772 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 181145665 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13980036 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 181145666 14315556864 22021 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13980036 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 181145666 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762845295776 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13980036 memory=280538271429216 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 181145667 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762844242672 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13980036 memory=7380107207701522799 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13980036 memory=7380107207701522799 CPUtime=0.16 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 1072 0 0 0 16 0 0 0 20 0 15 0 181145669 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13980036 memory=7380107207701522799 CPUtime=0.17 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 976 0 0 0 17 0 0 0 20 0 15 0 181145669 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13980036 memory=7380107207701522799 CPUtime=0.31 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) R 25726 25729 7084 0 -1 1077944384 1276 0 0 0 31 0 0 0 20 0 15 0 181145669 14315556864 22054 18446744073709551615 4194304 4196468 140729096374528 139762840032960 139763345581781 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
################
# More data... #
################
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 161280 0 0 0 235302 66 0 0 20 0 15 0 181145664 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139763349809488 139762956379507 0 4 1 16800974 0 0 0 -1 3 0 0 62 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13982084 memory=348236 CPUtime=15.92 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 15933 0 0 0 1523 69 0 0 20 0 15 0 181145665 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13982084 memory=351316 CPUtime=15.92 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 14668 0 0 0 1521 71 0 0 20 0 15 0 181145665 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13982084 memory=347212 CPUtime=15.9 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 15830 0 0 0 1522 68 0 0 20 0 15 0 181145665 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13982084 memory=346184 CPUtime=15.93 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 14937 0 0 0 1522 71 0 0 20 0 15 0 181145665 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13982084 memory=342592 CPUtime=8.17 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 11379 0 0 0 736 81 0 0 20 0 15 0 181145666 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13982084 memory=340256 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 181145666 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762845295840 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13982084 memory=341568 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 181145667 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762844242688 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13982084 memory=353368 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13982084 memory=337572 CPUtime=2.28 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 13609 0 0 0 226 2 0 0 20 0 15 0 181145669 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13982084 memory=337588 CPUtime=2.14 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 17712 0 0 0 211 3 0 0 20 0 15 0 181145669 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13982084 memory=7230645025961766505 CPUtime=0.82 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 15794 0 0 0 80 2 0 0 20 0 15 0 181145669 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13982084 memory=4076 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13982084 memory=337572 CPUtime=1.47 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1353 0 0 0 61 86 0 0 20 0 15 0 181145674 14317654016 84532 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 2432.33 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 338128 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.69 1.70 3/217 26001
/proc/meminfo: memFree=23296472/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13982084 memory=329364 CPUtime=2493.44 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 286765 0 0 0 248884 460 0 0 20 0 15 0 181145656 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3495521 82341 3837 1 0 3484295 0
[pid=25729/tid=25731] ppid=25726 vsize=13982084 memory=329876 CPUtime=2412.97 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 162722 0 0 0 241229 68 0 0 20 0 15 0 181145664 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139763349809376 139762956930343 0 4 1 16800974 0 0 0 -1 7 0 0 62 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13982084 memory=330900 CPUtime=16.3 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 16160 0 0 0 1560 70 0 0 20 0 15 0 181145665 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13982084 memory=347424 CPUtime=16.31 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 14928 0 0 0 1558 73 0 0 20 0 15 0 181145665 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13982084 memory=333060 CPUtime=16.29 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 16178 0 0 0 1559 70 0 0 20 0 15 0 181145665 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13982084 memory=340240 CPUtime=16.31 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 15245 0 0 0 1559 72 0 0 20 0 15 0 181145665 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13982084 memory=330900 CPUtime=8.4 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 11577 0 0 0 756 84 0 0 20 0 15 0 181145666 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13982084 memory=330388 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 181145666 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762845295840 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13982084 memory=329876 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 181145667 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762844242688 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13982084 memory=329364 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13982084 memory=360144 CPUtime=2.28 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 13613 0 0 0 226 2 0 0 20 0 15 0 181145669 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13982084 memory=330388 CPUtime=2.14 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 17716 0 0 0 211 3 0 0 20 0 15 0 181145669 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13982084 memory=329876 CPUtime=0.82 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 15798 0 0 0 80 2 0 0 20 0 15 0 181145669 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13982084 memory=329876 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13982084 memory=330900 CPUtime=1.51 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1370 0 0 0 62 89 0 0 20 0 15 0 181145674 14317654016 82341 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 2493.44 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 329364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.3 s]
/proc/loadavg: 1.82 1.75 1.72 3/216 26003
/proc/meminfo: memFree=23275688/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13982084 memory=349116 CPUtime=2520.07 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 290674 0 0 0 251542 465 0 0 20 0 15 0 181145656 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3495521 87279 3839 1 0 3484295 0
[pid=25729/tid=25731] ppid=25726 vsize=13982084 memory=988 CPUtime=2438.65 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 164683 0 0 0 243797 68 0 0 20 0 15 0 181145664 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763349810080 139762956929957 0 4 1 16800974 0 0 0 -1 1 0 0 62 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13982084 memory=350144 CPUtime=16.47 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 16356 0 0 0 1576 71 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13982084 memory=352708 CPUtime=16.48 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 15177 0 0 0 1575 73 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13982084 memory=0 CPUtime=16.47 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 16367 0 0 0 1576 71 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13982084 memory=357324 CPUtime=16.49 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 15455 0 0 0 1576 73 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13982084 memory=352196 CPUtime=8.49 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 11602 0 0 0 764 85 0 0 20 0 15 0 181145666 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13982084 memory=349632 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 181145666 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762845295840 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13982084 memory=349116 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 181145667 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762844242688 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13982084 memory=352708 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13982084 memory=2557 CPUtime=2.3 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 13855 0 0 0 228 2 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13982084 memory=332244 CPUtime=2.27 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 18545 0 0 0 224 3 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13982084 memory=280538273081552 CPUtime=0.82 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 15798 0 0 0 80 2 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13982084 memory=349632 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13982084 memory=1440 CPUtime=1.52 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1372 0 0 0 62 90 0 0 20 0 15 0 181145674 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 349116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.32 s]
# the end of solver process 25729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.44 s, system=4.65883 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.3 s]
/proc/loadavg: 1.82 1.75 1.72 3/216 26003
/proc/meminfo: memFree=23275688/32770624 swapFree=67108776/67108860
[pid=25729] ppid=25726 vsize=13982084 memory=349116 CPUtime=2520.07 cores=1,3,5,7
/proc/25729/stat : 25729 (java) S 25726 25729 7084 0 -1 1077944320 290674 0 0 0 251542 465 0 0 20 0 15 0 181145656 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 140729096357072 139763345571575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
/proc/25729/statm: 3495521 87279 3839 1 0 3484295 0
[pid=25729/tid=25731] ppid=25726 vsize=13982084 memory=988 CPUtime=2438.65 cores=1,3,5,7
/proc/25729/task/25731/stat : 25731 (java) R 25726 25729 7084 0 -1 4202560 164683 0 0 0 243797 68 0 0 20 0 15 0 181145664 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763349810080 139762956929957 0 4 1 16800974 0 0 0 -1 1 0 0 62 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25732] ppid=25726 vsize=13982084 memory=350144 CPUtime=16.47 cores=1,3,5,7
/proc/25729/task/25732/stat : 25732 (java) S 25726 25729 7084 0 -1 1077944384 16356 0 0 0 1576 71 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763280006160 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25733] ppid=25726 vsize=13982084 memory=352708 CPUtime=16.48 cores=1,3,5,7
/proc/25729/task/25733/stat : 25733 (java) S 25726 25729 7084 0 -1 1077944384 15177 0 0 0 1575 73 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763278953616 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25734] ppid=25726 vsize=13982084 memory=0 CPUtime=16.47 cores=1,3,5,7
/proc/25729/task/25734/stat : 25734 (java) S 25726 25729 7084 0 -1 1077944384 16367 0 0 0 1576 71 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763277900560 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25735] ppid=25726 vsize=13982084 memory=357324 CPUtime=16.49 cores=1,3,5,7
/proc/25729/task/25735/stat : 25735 (java) S 25726 25729 7084 0 -1 1077944384 15455 0 0 0 1576 73 0 0 20 0 15 0 181145665 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139763276848016 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25736] ppid=25726 vsize=13982084 memory=352196 CPUtime=8.49 cores=1,3,5,7
/proc/25729/task/25736/stat : 25736 (java) S 25726 25729 7084 0 -1 1077944384 11602 0 0 0 764 85 0 0 20 0 15 0 181145666 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762846349552 139763345582722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25737] ppid=25726 vsize=13982084 memory=349632 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25737/stat : 25737 (java) S 25726 25729 7084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 181145666 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762845295840 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25738] ppid=25726 vsize=13982084 memory=349116 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25738/stat : 25738 (java) S 25726 25729 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 181145667 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762844242688 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25739] ppid=25726 vsize=13982084 memory=352708 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25739/stat : 25739 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762843191248 139763345590171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25740] ppid=25726 vsize=13982084 memory=2557 CPUtime=2.3 cores=1,3,5,7
/proc/25729/task/25740/stat : 25740 (java) S 25726 25729 7084 0 -1 1077944384 13855 0 0 0 228 2 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762842139376 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25741] ppid=25726 vsize=13982084 memory=332244 CPUtime=2.27 cores=1,3,5,7
/proc/25729/task/25741/stat : 25741 (java) S 25726 25729 7084 0 -1 1077944384 18545 0 0 0 224 3 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762841086832 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25742] ppid=25726 vsize=13982084 memory=280538273081552 CPUtime=0.82 cores=1,3,5,7
/proc/25729/task/25742/stat : 25742 (java) S 25726 25729 7084 0 -1 1077944384 15798 0 0 0 80 2 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762840033776 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25743] ppid=25726 vsize=13982084 memory=349632 CPUtime=0 cores=1,3,5,7
/proc/25729/task/25743/stat : 25743 (java) S 25726 25729 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 181145669 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762838981472 139763345581781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
[pid=25729/tid=25744] ppid=25726 vsize=13982084 memory=1440 CPUtime=1.52 cores=1,3,5,7
/proc/25729/task/25744/stat : 25744 (java) S 25726 25729 7084 0 -1 1077944384 1372 0 0 0 62 90 0 0 20 0 15 0 181145674 14317654016 87279 18446744073709551615 4194304 4196468 140729096374528 139762837928496 139763345582722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14602240 140729096380788 140729096380969 140729096380969 140729096384463 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 349116 KiB
Child status: 143
Real time (s): 2468.32
CPU time (s): 2520.1
CPU user time (s): 2515.44
CPU system time (s): 4.65883
CPU usage (%): 102.098
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 616280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.44
system time used= 4.65883
maximum resident set size= 637704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276691
involuntary context switches= 8148
# summary of solver processes directly reported to runsolver:
# pid: 25729
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.44
# total CPU system time (s): 4.65883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8517 second user time and 20.5016 second system time
The end