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 (3156 MiB free)
memory of node 1: 16384 MiB (7323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296018-1532608886/watcher-4296018-1532608886 -o /tmp/evaluation-result-4296018-1532608886/solver-4296018-1532608886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532582651-29261 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2091562533 HOME/instance-4296018-1532608886.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=1634, runsolver pid=1631
Current StackSize limit: 8192 KiB
[startup+0.100644 s]*
/proc/loadavg: 1.77 1.69 1.64 2/207 1691
/proc/meminfo: memFree=10722380/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 4345 12861 0 0 2 0 4 3 20 0 6 0 78451799 10212057088 4203 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2493178 4203 1934 1 0 2481616 0
[pid=1634/tid=1687] ppid=1631 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 2230 12861 0 0 1 0 4 3 20 0 6 0 78451808 10212057088 4269 33554432000 4194304 4196468 140733082439168 140230688465488 140230716650653 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 6 0 78451808 10212057088 4269 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=9972712 memory=139765553518208 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 6 0 78451808 10212057088 4269 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 6 0 78451808 10212057088 4269 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 6 0 78451808 10212057088 4269 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209856 s]*
/proc/loadavg: 1.77 1.69 1.64 3/216 1700
/proc/meminfo: memFree=10702576/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10818904 memory=40256 CPUtime=0.25 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 7245 12861 0 0 17 1 4 3 20 0 15 0 78451799 11078557696 10064 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2704726 10064 2960 1 0 2667149 0
[pid=1634/tid=1687] ppid=1631 vsize=10818904 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 4093 12861 0 0 11 0 4 3 20 0 15 0 78451808 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230688445840 140230696904555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10818904 memory=4294967641 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10818904 memory=288370141705229952 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451808 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10818904 memory=139765553518208 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451810 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 78451810 11078557696 10328 33554432000 4194304 4196468 140733082439168 140230078227232 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11078557696 10328 33554432000 4194304 4196468 140733082439168 140229474247792 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11078557696 10328 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 543 12861 0 0 1 0 4 3 20 0 15 0 78451813 11078557696 10394 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) S 1631 1634 29230 0 -1 1077944384 62 12861 0 0 0 0 4 3 20 0 15 0 78451813 11078557696 10394 33554432000 4194304 4196468 140733082439168 140230174042608 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10818904 memory=139765553518208 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 605 12861 0 0 3 0 4 3 20 0 15 0 78451813 11078557696 10394 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11078557696 10394 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10818904 memory=139765553518208 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451814 11078557696 10394 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40256 KiB
[startup+0.310175 s]*
/proc/loadavg: 1.77 1.69 1.64 3/216 1700
/proc/meminfo: memFree=10691536/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10819352 memory=52644 CPUtime=0.37 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 10259 12861 0 0 29 1 4 3 20 0 15 0 78451799 11079016448 13161 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2704838 13161 3079 1 0 2667149 0
[pid=1634/tid=1687] ppid=1631 vsize=10819352 memory=279530832920816 CPUtime=0.28 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 7122 12861 0 0 20 1 4 3 20 0 15 0 78451808 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230688440736 140230700709214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10819352 memory=139765416560143 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10819352 memory=139765416564078 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10819352 memory=139765416564751 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230078227232 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 13491 33554432000 4194304 4196468 140733082439168 140229474247792 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11079016448 13491 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 545 12861 0 0 1 0 4 3 20 0 15 0 78451813 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) S 1631 1634 29230 0 -1 1077944384 62 12861 0 0 1 0 4 3 20 0 15 0 78451813 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230174042608 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10819352 memory=139765553518208 CPUtime=0.12 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 615 12861 0 0 5 0 4 3 20 0 15 0 78451813 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11079016448 13491 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10819352 memory=139765553518208 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451814 11079016448 13491 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52644 KiB
[startup+0.70072 s]
/proc/loadavg: 1.77 1.69 1.64 3/216 1700
/proc/meminfo: memFree=10680568/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10819352 memory=86528 CPUtime=0.98 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 16746 12861 0 0 88 3 4 3 20 0 15 0 78451799 11079016448 21632 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2704838 21632 3245 1 0 2667149 0
[pid=1634/tid=1687] ppid=1631 vsize=10819352 memory=139765553517041 CPUtime=0.66 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 12217 12861 0 0 57 2 4 3 20 0 15 0 78451808 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230688442496 140230702804005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451808 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10819352 memory=2498261681921 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 5 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10819352 memory=217761472 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230078227232 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10819352 memory=6379419660154276243 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11079016448 21632 33554432000 4194304 4196468 140733082439168 140229474247792 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10819352 memory=7522512629073533026 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11079016448 21632 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10819352 memory=1200 CPUtime=0.16 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 1212 12861 0 0 9 0 4 3 20 0 15 0 78451813 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10819352 memory=15876 CPUtime=0.14 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) S 1631 1634 29230 0 -1 1077944384 412 12861 0 0 7 0 4 3 20 0 15 0 78451813 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230174042608 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10819352 memory=4044 CPUtime=0.2 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 684 12861 0 0 13 0 4 3 20 0 15 0 78451813 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10819352 memory=13652 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11079016448 21632 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10819352 memory=16432 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451814 11079016448 21632 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86528 KiB
[startup+1.50075 s]
/proc/loadavg: 1.77 1.69 1.64 3/216 1700
/proc/meminfo: memFree=10634872/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10834252 memory=176888 CPUtime=2.31 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 23839 12861 0 0 216 8 4 3 20 0 15 0 78451799 11094274048 44222 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2708563 44222 3468 1 0 2670221 0
[pid=1634/tid=1687] ppid=1631 vsize=10834252 memory=2600 CPUtime=1.42 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 17705 12861 0 0 131 4 4 3 20 0 15 0 78451808 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230688458624 140230698192287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10834252 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 54 12861 0 0 0 0 4 3 20 0 15 0 78451808 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10834252 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 22 12861 0 0 1 0 4 3 20 0 15 0 78451808 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10834252 memory=3080 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 34 12861 0 0 1 0 4 3 20 0 15 0 78451808 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10834252 memory=2314004 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 180 12861 0 0 1 0 4 3 20 0 15 0 78451808 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10834252 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 55 12861 0 0 1 0 4 3 20 0 15 0 78451810 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 78451810 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230078227296 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11094274048 44222 33554432000 4194304 4196468 140733082439168 140229474247808 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11094274048 44222 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10834252 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 1675 12861 0 0 25 0 4 3 20 0 15 0 78451813 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10834252 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) S 1631 1634 29230 0 -1 1077944384 558 12861 0 0 16 0 4 3 20 0 15 0 78451813 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230174042608 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10834252 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 1346 12861 0 0 35 0 4 3 20 0 15 0 78451813 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10834252 memory=-1891255765032775953 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11094274048 44222 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10834252 memory=7235142032663471472 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451814 11094274048 44222 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 34157 12861 0 0 288 7 4 3 20 0 15 0 78451808 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230688463280 140230716650653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10844512 memory=23348 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 54 12861 0 0 0 0 4 3 20 0 15 0 78451808 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10844512 memory=139765416640561 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 22 12861 0 0 1 0 4 3 20 0 15 0 78451808 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10844512 memory=7682475212697334586 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 34 12861 0 0 1 0 4 3 20 0 15 0 78451808 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10844512 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 180 12861 0 0 1 0 4 3 20 0 15 0 78451808 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10844512 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 220 12861 0 0 1 0 4 3 20 0 15 0 78451810 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10844512 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 78451810 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230078227296 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10844512 memory=7591206752583962960 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11104780288 62882 33554432000 4194304 4196468 140733082439168 140229474247808 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10844512 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11104780288 62882 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10844512 memory=5789765900925163617 CPUtime=1.05 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 5926 12861 0 0 96 2 4 3 20 0 15 0 78451813 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10844512 memory=5931329019416957008 CPUtime=0.65 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) S 1631 1634 29230 0 -1 1077944384 1899 12861 0 0 58 0 4 3 20 0 15 0 78451813 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230174042608 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10844512 memory=6370150702837223504 CPUtime=1.21 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 6575 12861 0 0 113 1 4 3 20 0 15 0 78451813 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10844512 memory=7302685070326841443 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11104780288 62882 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10844512 memory=7588935183304255592 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 10 12861 0 0 0 0 4 3 20 0 15 0 78451814 11104780288 62882 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 251528 KiB
[startup+4.86779 s]
# the end of solver process 1634 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.37887 s, system=0.247608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20257 s]
/proc/loadavg: 1.77 1.69 1.64 3/216 1700
/proc/meminfo: memFree=10502752/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10844512 memory=271560 CPUtime=6.09 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 54051 12861 0 0 587 15 4 3 20 0 15 0 78451799 11104780288 67890 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2711128 67890 3502 1 0 2672781 0
[pid=1634/tid=1687] ppid=1631 vsize=10844512 memory=8112282956445269571 CPUtime=3.06 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 34200 12861 0 0 292 7 4 3 20 0 15 0 78451808 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230688461600 140230301683048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10844512 memory=139766825746931 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 72 12861 0 0 3 0 4 3 20 0 15 0 78451808 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10844512 memory=139766825746979 CPUtime=0.09 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 75 12861 0 0 2 0 4 3 20 0 15 0 78451808 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10844512 memory=139766825746998 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 50 12861 0 0 3 0 4 3 20 0 15 0 78451808 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10844512 memory=139766825747000 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 250 12861 0 0 3 0 4 3 20 0 15 0 78451808 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10844512 memory=139766825747001 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 2697 12861 0 0 3 0 4 3 20 0 15 0 78451810 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10844512 memory=139766825747003 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 78451810 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230078227296 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10844512 memory=139766825747006 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11104780288 67890 33554432000 4194304 4196468 140733082439168 140229474247808 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10844512 memory=139766825747011 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11104780288 67890 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10844512 memory=139766825747013 CPUtime=1.07 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 5952 12861 0 0 98 2 4 3 20 0 15 0 78451813 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10844512 memory=288230574492221466 CPUtime=0.69 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) R 1631 1634 29230 0 -1 4202560 1900 12861 0 0 62 0 4 3 20 0 15 0 78451813 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230174042608 140230698173336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10844512 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) R 1631 1634 29230 0 -1 1077944384 6636 12861 0 0 116 1 4 3 20 0 15 0 78451813 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230172988112 140230716638933 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11104780288 67890 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 10 12861 0 0 0 0 4 3 20 0 15 0 78451814 11104780288 67890 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 271560 KiB
[startup+4.00081 s]*
/proc/loadavg: 1.87 1.71 1.65 5/216 1700
/proc/meminfo: memFree=10416412/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10918888 memory=328792 CPUtime=8.24 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 69846 12861 0 0 799 18 4 3 20 0 15 0 78451799 11180941312 82198 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2729722 82198 3503 1 0 2691375 0
[pid=1634/tid=1687] ppid=1631 vsize=10918888 memory=590024538083426580 CPUtime=3.87 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 44781 12861 0 0 371 9 4 3 20 0 15 0 78451808 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230688464000 140230700709214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10918888 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 72 12861 0 0 3 0 4 3 20 0 15 0 78451808 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10918888 memory=4049633486376820001 CPUtime=0.09 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 75 12861 0 0 2 0 4 3 20 0 15 0 78451808 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10918888 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 50 12861 0 0 3 0 4 3 20 0 15 0 78451808 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10918888 memory=279530833202960 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 250 12861 0 0 3 0 4 3 20 0 15 0 78451808 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10918888 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 2697 12861 0 0 3 0 4 3 20 0 15 0 78451810 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10918888 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 78451810 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230078227296 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10918888 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11180941312 82198 33554432000 4194304 4196468 140733082439168 140229474247808 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10918888 memory=3473 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11180941312 82198 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10918888 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) S 1631 1634 29230 0 -1 1077944384 6174 12861 0 0 133 2 4 3 20 0 15 0 78451813 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230175095408 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10918888 memory=17509 CPUtime=1.38 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) R 1631 1634 29230 0 -1 4202560 6250 12861 0 0 130 1 4 3 20 0 15 0 78451813 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230174028488 140230698173167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10918888 memory=139765553518208 CPUtime=1.55 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 7293 12861 0 0 147 1 4 3 20 0 15 0 78451813 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10918888 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11180941312 82198 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10918888 memory=139765553518208 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 10 12861 0 0 0 0 4 3 20 0 15 0 78451814 11180941312 82198 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 10918888 KiB
Current children cumulated memory: 328792 KiB
[startup+4.40116 s]
/proc/loadavg: 1.87 1.71 1.65 5/216 1700
/proc/meminfo: memFree=10416412/32770624 swapFree=67108852/67108860
[pid=1634] ppid=1631 vsize=10916192 memory=330008 CPUtime=9.57 cores=0,2,4,6
/proc/1634/stat : 1634 (java) S 1631 1634 29230 0 -1 1077944320 72882 12861 0 0 931 19 4 3 20 0 15 0 78451799 11178180608 82502 33554432000 4194304 4196468 140733082439168 140733082421712 140230716628727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
/proc/1634/statm: 2729048 82502 3507 1 0 2690701 0
[pid=1634/tid=1687] ppid=1631 vsize=10916192 memory=4641050033043038823 CPUtime=4.26 cores=0,2,4,6
/proc/1634/task/1687/stat : 1687 (java) R 1631 1634 29230 0 -1 4202560 45123 12861 0 0 410 9 4 3 20 0 15 0 78451808 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230688462896 140230300851903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1688] ppid=1631 vsize=10916192 memory=7308594967169164902 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1688/stat : 1688 (java) S 1631 1634 29230 0 -1 1077944384 72 12861 0 0 3 0 4 3 20 0 15 0 78451808 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230720871312 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1689] ppid=1631 vsize=10916192 memory=7162531440177276259 CPUtime=0.09 cores=0,2,4,6
/proc/1634/task/1689/stat : 1689 (java) S 1631 1634 29230 0 -1 1077944384 75 12861 0 0 2 0 4 3 20 0 15 0 78451808 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230619761424 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1690] ppid=1631 vsize=10916192 memory=279530833506800 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1690/stat : 1690 (java) S 1631 1634 29230 0 -1 1077944384 50 12861 0 0 3 0 4 3 20 0 15 0 78451808 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230618709136 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1691] ppid=1631 vsize=10916192 memory=660 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1691/stat : 1691 (java) S 1631 1634 29230 0 -1 1077944384 250 12861 0 0 3 0 4 3 20 0 15 0 78451808 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230617656336 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1692] ppid=1631 vsize=10916192 memory=4126304902946450029 CPUtime=0.1 cores=0,2,4,6
/proc/1634/task/1692/stat : 1692 (java) S 1631 1634 29230 0 -1 1077944384 2697 12861 0 0 3 0 4 3 20 0 15 0 78451810 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230176147568 140230716639874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1693] ppid=1631 vsize=10916192 memory=6944613755361064352 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1693/stat : 1693 (java) S 1631 1634 29230 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 78451810 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230078227296 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1694] ppid=1631 vsize=10916192 memory=6944656425122831986 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1694/stat : 1694 (java) S 1631 1634 29230 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 78451810 11178180608 82502 33554432000 4194304 4196468 140733082439168 140229474247808 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1695] ppid=1631 vsize=10916192 memory=-3704326594973231466 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1695/stat : 1695 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11178180608 82502 33554432000 4194304 4196468 140733082439168 140229233956944 140230716647323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1696] ppid=1631 vsize=10916192 memory=-7737621075815361686 CPUtime=1.74 cores=0,2,4,6
/proc/1634/task/1696/stat : 1696 (java) R 1631 1634 29230 0 -1 4202560 6282 12861 0 0 165 2 4 3 20 0 15 0 78451813 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230175084880 140230697330374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1697] ppid=1631 vsize=10916192 memory=7751995073768813331 CPUtime=1.77 cores=0,2,4,6
/proc/1634/task/1697/stat : 1697 (java) R 1631 1634 29230 0 -1 4202560 8368 12861 0 0 168 2 4 3 20 0 15 0 78451813 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230174030160 140230698172500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1698] ppid=1631 vsize=10916192 memory=-7595718148000617580 CPUtime=1.76 cores=0,2,4,6
/proc/1634/task/1698/stat : 1698 (java) S 1631 1634 29230 0 -1 1077944384 7743 12861 0 0 168 1 4 3 20 0 15 0 78451813 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230172990320 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1699] ppid=1631 vsize=10916192 memory=7088773812221943410 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1699/stat : 1699 (java) S 1631 1634 29230 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 78451813 11178180608 82502 33554432000 4194304 4196468 140733082439168 140229200399328 140230716638933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
[pid=1634/tid=1700] ppid=1631 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1634/task/1700/stat : 1700 (java) S 1631 1634 29230 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 78451814 11178180608 82502 33554432000 4194304 4196468 140733082439168 140230171937200 140230716639874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140733082446446 140733082449244 140733082449244 140733082451919 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 330008 KiB
[startup+4.80959 s]
/proc/loadavg: 1.87 1.71 1.65 3/203 1701
/proc/meminfo: memFree=10723548/32770624 swapFree=67108852/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.86786
CPU time (s): 9.62647
CPU user time (s): 9.37887
CPU system time (s): 0.247608
CPU usage (%): 197.756
Max. virtual memory (cumulated for all children) (KiB): 11014500
Max. memory (cumulated for all children) (KiB): 331660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.37886
system time used= 0.247608
maximum resident set size= 332220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7450
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 1634
# total CPU time (s): 9.62647
# total CPU user time (s): 9.37887
# total CPU system time (s): 0.247608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049512 second user time and 0.085161 second system time
The end