runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456470-1307222143/watcher-3456470-1307222143 -o /tmp/evaluation-result-3456470-1307222143/solver-3456470-1307222143 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456470-1307222143.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 1/413 14027
/proc/meminfo: memFree=25990064/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 3622 0 1 0 0 0 0 0 25 0 2 0 289823699 10694979584 3323 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2611079 3336 917 9 0 2602235 0
[pid=14027/tid=14028] ppid=14025 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 5514 0 1 0 0 0 0 0 25 0 2 0 289823699 10694979584 6330 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.038604 s]
/proc/loadavg: 2.00 2.00 2.00 1/413 14027
/proc/meminfo: memFree=25990064/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 11192 0 1 0 2 1 0 0 25 0 13 0 289823699 10718699520 10888 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2616870 10888 1659 9 0 2607618 0
[pid=14027/tid=14028] ppid=14025 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 10044 0 1 0 2 1 0 0 25 0 13 0 289823699 10718699520 10888 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892391883 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100638 s]
/proc/loadavg: 2.00 2.00 2.00 1/413 14027
/proc/meminfo: memFree=25990064/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10540192 CPUtime=0.11 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 13115 0 1 0 9 2 0 0 25 0 18 0 289823699 10793156608 12811 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2635048 12813 2093 9 0 2625782 0
[pid=14027/tid=14028] ppid=14025 vsize=10540192 CPUtime=0.08 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 11206 0 1 0 7 1 0 0 18 0 18 0 289823699 10793156608 12813 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 47294807457797 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540192
[startup+0.407455 s]
/proc/loadavg: 2.00 2.00 2.00 1/413 14027
/proc/meminfo: memFree=25990064/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10554840 CPUtime=0.91 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 25785 0 1 0 88 3 0 0 25 0 18 0 289823699 10808156160 23342 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638710 23344 2206 9 0 2629444 0
[pid=14027/tid=14028] ppid=14025 vsize=10554840 CPUtime=0.39 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 16957 0 1 0 37 2 0 0 18 0 18 0 289823699 10808156160 23346 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10554840
[startup+0.700535 s]
/proc/loadavg: 2.00 2.00 2.00 1/413 14027
/proc/meminfo: memFree=25990064/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10554840 CPUtime=1.23 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 52749 0 1 0 117 6 0 0 25 0 18 0 289823699 10808156160 50306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638710 50309 2213 9 0 2629444 0
[pid=14027/tid=14028] ppid=14025 vsize=10554840 CPUtime=0.68 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 43912 0 1 0 63 5 0 0 18 0 18 0 289823699 10808156160 50312 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505540766 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10554840
[startup+1.50139 s]
/proc/loadavg: 2.00 2.00 2.00 2/431 14045
/proc/meminfo: memFree=25638944/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10554840 CPUtime=2.33 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 135887 0 1 0 216 17 0 0 25 0 18 0 289823699 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638710 132090 2225 9 0 2629444 0
[pid=14027/tid=14028] ppid=14025 vsize=10554840 CPUtime=1.49 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 125597 0 1 0 134 15 0 0 18 0 18 0 289823699 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892391991 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132090 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132091 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132091 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132091 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823701 10808156160 132091 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 289823702 10808156160 132091 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 289823702 10808156160 132092 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 289823702 10808156160 132092 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823705 10808156160 132092 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10554840 CPUtime=0.42 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) R 14025 14027 12126 0 -1 4202560 4110 0 0 0 41 1 0 0 17 0 18 0 289823705 10808156160 132092 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 47294810347234 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10554840 CPUtime=0.4 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5029 0 0 0 40 0 0 0 16 0 18 0 289823705 10808156160 132093 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 289823705 10808156160 132093 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10554840 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 289823705 10808156160 132093 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10554840
[startup+3.10111 s]
/proc/loadavg: 2.16 2.03 2.01 5/451 14090
/proc/meminfo: memFree=25273800/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10555868 CPUtime=4.28 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 208797 0 1 0 401 27 0 0 25 0 19 0 289823699 10809208832 203643 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638967 203645 2234 9 0 2629701 0
[pid=14027/tid=14028] ppid=14025 vsize=10555868 CPUtime=3.09 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 197087 0 1 0 284 25 0 0 18 0 19 0 289823699 10809208832 203646 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505570026 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203647 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203648 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203649 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203650 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203651 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203652 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203653 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 203654 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 203655 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289823702 10809208832 203656 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289823702 10809208832 203657 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 203658 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=0.6 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 5493 0 0 0 59 1 0 0 16 0 19 0 289823705 10809208832 203659 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.57 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5059 0 0 0 57 0 0 0 15 0 19 0 289823705 10809208832 203660 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 203661 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289823705 10809208832 203662 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289823851 10809208832 203663 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10555868
[startup+6.30156 s]
/proc/loadavg: 2.16 2.03 2.01 3/452 14091
/proc/meminfo: memFree=23850856/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10555868 CPUtime=7.69 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 358431 0 1 0 726 43 0 0 25 0 19 0 289823699 10809208832 352934 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638967 352936 2239 9 0 2629701 0
[pid=14027/tid=14028] ppid=14025 vsize=10555868 CPUtime=6.29 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 346398 0 1 0 588 41 0 0 21 0 19 0 289823699 10809208832 352938 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505569969 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352939 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352940 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352941 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352942 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352943 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352944 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352945 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823701 10809208832 352946 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 289823702 10809208832 352947 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289823702 10809208832 352948 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289823702 10809208832 352949 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 352950 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=0.69 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 5799 0 0 0 68 1 0 0 15 0 19 0 289823705 10809208832 352950 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.7 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5076 0 0 0 70 0 0 0 15 0 19 0 289823705 10809208832 352951 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 352952 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=1 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 8517 0 0 0 99 1 0 0 15 0 19 0 289823705 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.88 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5133 0 0 0 88 0 0 0 15 0 19 0 289823705 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 289823705 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289823851 10809208832 930306 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.32
Current children cumulated vsize (KiB) 10555868
[startup+1722.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/452 14137
/proc/meminfo: memFree=18601432/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10555868 CPUtime=1730.49 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 940075 0 1 0 172937 112 0 0 25 0 19 0 289823699 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638967 930737 2268 9 0 2629701 0
[pid=14027/tid=14028] ppid=14025 vsize=10555868 CPUtime=1717.3 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 795291 0 1 0 171646 84 0 0 25 0 19 0 289823699 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505923089 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10555868 CPUtime=1.15 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 10892 0 0 0 113 2 0 0 16 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10555868 CPUtime=1.08 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 15155 0 0 0 105 3 0 0 15 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10555868 CPUtime=1.19 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 9625 0 0 0 118 1 0 0 16 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10555868 CPUtime=1.33 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 16490 0 0 0 130 3 0 0 15 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10555868 CPUtime=1.03 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 12311 0 0 0 101 2 0 0 15 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10555868 CPUtime=1.09 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 13724 0 0 0 108 1 0 0 15 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10555868 CPUtime=1.11 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 18880 0 0 0 108 3 0 0 16 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10555868 CPUtime=1.2 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 21816 0 0 0 116 4 0 0 15 0 19 0 289823701 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10555868 CPUtime=2.02 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 10990 0 0 0 200 2 0 0 15 0 19 0 289823702 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=1 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 8517 0 0 0 99 1 0 0 15 0 19 0 289823705 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.88 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5133 0 0 0 88 0 0 0 15 0 19 0 289823705 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 289823705 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289823851 10809208832 930737 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.49
Current children cumulated vsize (KiB) 10555868
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/452 14138
/proc/meminfo: memFree=18594956/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10555868 CPUtime=1790.73 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 940610 0 1 0 178960 113 0 0 25 0 19 0 289823699 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638967 931258 2268 9 0 2629701 0
[pid=14027/tid=14028] ppid=14025 vsize=10555868 CPUtime=1777.21 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 795295 0 1 0 177637 84 0 0 25 0 19 0 289823699 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912506036996 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10555868 CPUtime=1.21 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 10998 0 0 0 119 2 0 0 15 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10555868 CPUtime=1.14 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 15204 0 0 0 111 3 0 0 16 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10555868 CPUtime=1.19 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 9625 0 0 0 118 1 0 0 15 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10555868 CPUtime=1.36 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 16518 0 0 0 133 3 0 0 16 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10555868 CPUtime=1.08 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 12429 0 0 0 106 2 0 0 16 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10555868 CPUtime=1.14 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 13866 0 0 0 112 2 0 0 16 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10555868 CPUtime=1.15 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 18943 0 0 0 112 3 0 0 15 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10555868 CPUtime=1.22 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 21835 0 0 0 118 4 0 0 15 0 19 0 289823701 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10555868 CPUtime=2.02 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 10994 0 0 0 200 2 0 0 15 0 19 0 289823702 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=1 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 8517 0 0 0 99 1 0 0 15 0 19 0 289823705 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.88 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5133 0 0 0 88 0 0 0 15 0 19 0 289823705 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 289823705 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289823851 10809208832 931258 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.73
Current children cumulated vsize (KiB) 10555868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 2.04 2.05 2.01 3/452 14139
/proc/meminfo: memFree=18594700/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=10555868 CPUtime=1800.11 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14025 14027 12126 0 -1 4202496 940722 0 1 0 179898 113 0 0 25 0 19 0 289823699 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 2638967 931364 2268 9 0 2629701 0
[pid=14027/tid=14028] ppid=14025 vsize=10555868 CPUtime=1786.51 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14025 14027 12126 0 -1 4202560 795296 0 1 0 178567 84 0 0 25 0 19 0 289823699 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 46912505883993 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14027/tid=14030] ppid=14025 vsize=10555868 CPUtime=1.23 cores=0,2,4,6
/proc/14027/task/14030/stat : 14030 (java) S 14025 14027 12126 0 -1 4202560 11018 0 0 0 121 2 0 0 16 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14031] ppid=14025 vsize=10555868 CPUtime=1.14 cores=0,2,4,6
/proc/14027/task/14031/stat : 14031 (java) S 14025 14027 12126 0 -1 4202560 15204 0 0 0 111 3 0 0 15 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14032] ppid=14025 vsize=10555868 CPUtime=1.19 cores=0,2,4,6
/proc/14027/task/14032/stat : 14032 (java) S 14025 14027 12126 0 -1 4202560 9625 0 0 0 118 1 0 0 15 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14033] ppid=14025 vsize=10555868 CPUtime=1.38 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14025 14027 12126 0 -1 4202560 16533 0 0 0 135 3 0 0 16 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14034] ppid=14025 vsize=10555868 CPUtime=1.1 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14025 14027 12126 0 -1 4202560 12469 0 0 0 108 2 0 0 16 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=10555868 CPUtime=1.16 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14025 14027 12126 0 -1 4202560 13900 0 0 0 114 2 0 0 16 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=10555868 CPUtime=1.16 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14025 14027 12126 0 -1 4202560 18943 0 0 0 113 3 0 0 15 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=10555868 CPUtime=1.22 cores=0,2,4,6
/proc/14027/task/14037/stat : 14037 (java) S 14025 14027 12126 0 -1 4202560 21835 0 0 0 118 4 0 0 15 0 19 0 289823701 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=10555868 CPUtime=2.02 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14025 14027 12126 0 -1 4202560 10994 0 0 0 200 2 0 0 15 0 19 0 289823702 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 0 0 16800975 18446604441041740224 0 0 -1 2 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14039/stat : 14039 (java) S 14025 14027 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14040/stat : 14040 (java) S 14025 14027 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289823702 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892388785 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=10555868 CPUtime=1 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14025 14027 12126 0 -1 4202560 8517 0 0 0 99 1 0 0 15 0 19 0 289823705 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=10555868 CPUtime=0.88 cores=0,2,4,6
/proc/14027/task/14043/stat : 14043 (java) S 14025 14027 12126 0 -1 4202560 5133 0 0 0 88 0 0 0 15 0 19 0 289823705 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14044/stat : 14044 (java) S 14025 14027 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289823705 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381081 0 4 0 16800975 18446604441041740224 0 0 -1 4 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14045/stat : 14045 (java) S 14025 14027 12126 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 289823705 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 0 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=10555868 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) S 14025 14027 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289823851 10809208832 931364 33554432000 1073741824 1073778376 140736915183472 18446744073709551615 218892381696 0 4 0 16800975 18446604441041740224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10555868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.72 s]
/proc/loadavg: 2.04 2.05 2.01 3/452 14139
/proc/meminfo: memFree=18594700/32950928 swapFree=52006644/67111528
[pid=14027] ppid=14025 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/14027/stat : 14027 (java) Z 14025 14027 12126 0 -1 4203548 940756 0 1 0 179905 119 0 0 17 0 2 0 289823699 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14027/statm: 0 0 0 0 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/14027/task/14046/stat : 14046 (java) R 14025 14027 12126 0 -1 4203588 7 0 0 0 0 5 0 0 18 0 2 0 289823851 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.8
CPU time (s): 1800.33
CPU user time (s): 1799.06
CPU system time (s): 1.26881
CPU usage (%): 100.476
Max. virtual memory (cumulated for all children) (KiB): 10555868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.26881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940756
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40000
involuntary context switches= 14575
runsolver used 7.73182 second user time and 16.7515 second system time
The end