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-3479226-1307448371/watcher-3479226-1307448371 -o /tmp/evaluation-result-3479226-1307448371/solver-3479226-1307448371 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479226-1307448371.opb
running on 4 cores: 1,3,5,7
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: 1.94 2.01 1.95 2/455 9107
/proc/meminfo: memFree=26057948/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9107/stat : 9107 (java) R 9105 9107 8793 0 -1 4202496 958 0 0 0 0 0 0 0 23 0 1 0 856435239 23580672 703 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232330929640 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9107/statm: 5757 716 529 9 0 124 0
[pid=9107/tid=9108] ppid=9105 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 4155 0 1 0 0 0 0 0 24 0 2 0 856435239 10694979584 4971 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.115958 s]
/proc/loadavg: 1.94 2.01 1.95 2/455 9107
/proc/meminfo: memFree=26057948/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10540336 CPUtime=0.12 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 13344 0 1 0 11 1 0 0 23 0 18 0 856435239 10793304064 13012 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2635084 13012 2126 9 0 2625818 0
[pid=9107/tid=9108] ppid=9105 vsize=10540336 CPUtime=0.09 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 11304 0 1 0 8 1 0 0 18 0 18 0 856435239 10793304064 13012 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505199175 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540336
[startup+0.200945 s]
/proc/loadavg: 1.94 2.01 1.95 2/455 9107
/proc/meminfo: memFree=26057948/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10540976 CPUtime=0.29 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 14354 0 1 0 27 2 0 0 23 0 18 0 856435239 10793959424 13952 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2635244 13952 2193 9 0 2625978 0
[pid=9107/tid=9108] ppid=9105 vsize=10540976 CPUtime=0.18 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 11993 0 1 0 17 1 0 0 18 0 18 0 856435239 10793959424 13952 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 47582332627795 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540976
[startup+0.300972 s]
/proc/loadavg: 1.94 2.01 1.95 2/455 9107
/proc/meminfo: memFree=26057948/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10542716 CPUtime=0.55 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 17453 0 1 0 53 2 0 0 23 0 18 0 856435239 10795741184 16694 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2635679 16697 2205 9 0 2626413 0
[pid=9107/tid=9108] ppid=9105 vsize=10542716 CPUtime=0.28 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 13898 0 1 0 27 1 0 0 18 0 18 0 856435239 10795741184 16699 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505596068 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10542716
[startup+0.700858 s]
/proc/loadavg: 1.94 2.01 1.95 2/455 9107
/proc/meminfo: memFree=26057948/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=1.72 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 30535 0 1 0 168 4 0 0 23 0 19 0 856435239 10806558720 25776 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 25776 2234 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=0.68 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 18696 0 1 0 66 2 0 0 19 0 19 0 856435239 10806558720 25776 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505559639 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10553280
[startup+1.50076 s]
/proc/loadavg: 1.94 2.01 1.95 3/474 9126
/proc/meminfo: memFree=25843844/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=3 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 95696 0 1 0 288 12 0 0 23 0 19 0 856435239 10806558720 88095 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 88099 2235 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=1.48 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 81008 0 1 0 139 9 0 0 18 0 19 0 856435239 10806558720 88101 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505823310 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88103 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88105 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88108 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88110 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88112 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88113 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856435241 10806558720 88115 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 88118 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 856435242 10806558720 88120 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 88123 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 88125 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 88127 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=0.76 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6872 0 0 0 76 0 0 0 20 0 19 0 856435245 10806558720 88128 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.73 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6661 0 0 0 72 1 0 0 15 0 19 0 856435245 10806558720 88129 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 88130 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856435245 10806558720 88131 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 88134 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10553280
[startup+3.10148 s]
/proc/loadavg: 1.94 2.01 1.95 3/474 9126
/proc/meminfo: memFree=25425096/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=4.76 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 264000 0 1 0 448 28 0 0 23 0 19 0 856435239 10806558720 256399 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 256402 2236 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=3.08 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 249288 0 1 0 283 25 0 0 20 0 19 0 856435239 10806558720 256403 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505878283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256405 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256407 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256409 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256409 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256411 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256413 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856435241 10806558720 256415 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 256417 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 856435242 10806558720 256417 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 256419 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 256420 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 256422 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=0.91 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6894 0 0 0 91 0 0 0 16 0 19 0 856435245 10806558720 256424 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.74 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6661 0 0 0 73 1 0 0 15 0 19 0 856435245 10806558720 256425 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 256426 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856435245 10806558720 256428 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 256429 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 10553280
[startup+6.3009 s]
/proc/loadavg: 1.95 2.01 1.95 3/474 9126
/proc/meminfo: memFree=24233176/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=8.06 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 532959 0 1 0 751 55 0 0 23 0 19 0 856435239 10806558720 525058 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 525060 2236 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=6.28 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 518239 0 1 0 575 53 0 0 21 0 19 0 856435239 10806558720 525061 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505878268 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525061 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525062 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525063 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525064 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525064 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525065 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856435241 10806558720 525066 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435241 10806558720 525067 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 856435242 10806558720 525067 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 525068 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435243 10806558720 525069 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 525069 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=1.01 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6900 0 0 0 101 0 0 0 15 0 19 0 856435245 10806558720 525070 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.75 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6662 0 0 0 74 1 0 0 15 0 19 0 856435245 10806558720 525071 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 1007913 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.39
Current children cumulated vsize (KiB) 10553280
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/495 9214
/proc/meminfo: memFree=18361872/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=1728.54 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 1022381 0 1 0 172740 114 0 0 23 0 19 0 856435239 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 1009665 2265 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=1718.79 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 808911 0 1 0 171796 83 0 0 25 0 19 0 856435239 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505644830 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0.81 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 20252 0 0 0 78 3 0 0 15 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0.83 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 22259 0 0 0 80 3 0 0 15 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0.77 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 22676 0 0 0 73 4 0 0 16 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=0.98 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 34972 0 0 0 94 4 0 0 16 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0.78 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 23619 0 0 0 76 2 0 0 16 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0.67 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 22268 0 0 0 65 2 0 0 15 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0.8 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 29406 0 0 0 77 3 0 0 15 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0.7 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 20372 0 0 0 68 2 0 0 15 0 19 0 856435241 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=1.39 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 2807 0 0 0 139 0 0 0 15 0 19 0 856435242 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=1.14 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6923 0 0 0 113 1 0 0 15 0 19 0 856435245 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.77 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6667 0 0 0 76 1 0 0 15 0 19 0 856435245 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 8793 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 856435245 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 1009665 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.54
Current children cumulated vsize (KiB) 10553280
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/495 9215
/proc/meminfo: memFree=18339908/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=1788.67 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 1026275 0 1 0 178752 115 0 0 23 0 19 0 856435239 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 1013469 2265 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=1778.71 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 808913 0 1 0 177788 83 0 0 25 0 19 0 856435239 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505823427 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0.81 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 20349 0 0 0 78 3 0 0 16 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0.85 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 23002 0 0 0 82 3 0 0 15 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0.79 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 22681 0 0 0 75 4 0 0 16 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=1.02 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 35578 0 0 0 98 4 0 0 16 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0.81 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 24316 0 0 0 79 2 0 0 15 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0.67 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 22268 0 0 0 65 2 0 0 15 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0.84 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 30444 0 0 0 81 3 0 0 16 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0.74 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 21072 0 0 0 72 2 0 0 16 0 19 0 856435241 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=1.39 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 2809 0 0 0 139 0 0 0 15 0 19 0 856435242 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=1.14 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6923 0 0 0 113 1 0 0 15 0 19 0 856435245 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.77 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6667 0 0 0 76 1 0 0 15 0 19 0 856435245 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 8793 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 856435245 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 1013469 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.67
Current children cumulated vsize (KiB) 10553280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.16 2.06 2.01 3/495 9216
/proc/meminfo: memFree=18331460/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=10553280 CPUtime=1800.04 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 8793 0 -1 4202496 1028288 0 1 0 179889 115 0 0 23 0 19 0 856435239 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 2638320 1015435 2265 9 0 2629054 0
[pid=9107/tid=9108] ppid=9105 vsize=10553280 CPUtime=1789.99 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4202560 808914 0 1 0 178916 83 0 0 25 0 19 0 856435239 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 46912505767253 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=10553280 CPUtime=0.81 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 8793 0 -1 4202560 20349 0 0 0 78 3 0 0 15 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=10553280 CPUtime=0.89 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 8793 0 -1 4202560 23750 0 0 0 86 3 0 0 16 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9112] ppid=9105 vsize=10553280 CPUtime=0.79 cores=1,3,5,7
/proc/9107/task/9112/stat : 9112 (java) S 9105 9107 8793 0 -1 4202560 22681 0 0 0 75 4 0 0 16 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=10553280 CPUtime=1.02 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 8793 0 -1 4202560 35684 0 0 0 98 4 0 0 16 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=10553280 CPUtime=0.85 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 8793 0 -1 4202560 24848 0 0 0 83 2 0 0 16 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=10553280 CPUtime=0.69 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 8793 0 -1 4202560 22892 0 0 0 67 2 0 0 16 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=10553280 CPUtime=0.84 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 8793 0 -1 4202560 30444 0 0 0 81 3 0 0 15 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=10553280 CPUtime=0.74 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 8793 0 -1 4202560 21072 0 0 0 72 2 0 0 15 0 19 0 856435241 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=10553280 CPUtime=1.4 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 8793 0 -1 4202560 2811 0 0 0 139 1 0 0 15 0 19 0 856435242 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 0 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 8793 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435243 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347716017 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=10553280 CPUtime=1.14 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 8793 0 -1 4202560 6923 0 0 0 113 1 0 0 15 0 19 0 856435245 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=10553280 CPUtime=0.77 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) S 9105 9107 8793 0 -1 4202560 6667 0 0 0 76 1 0 0 15 0 19 0 856435245 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 7 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) S 9105 9107 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435245 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708313 0 4 0 16800975 18446604469724768256 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 8793 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 856435245 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 1 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=10553280 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) S 9105 9107 8793 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856435273 10806558720 1015435 33554432000 1073741824 1073778376 140735306783088 18446744073709551615 232347708928 0 4 0 16800975 18446604469724768256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.72 s]
/proc/loadavg: 2.16 2.06 2.01 3/495 9216
/proc/meminfo: memFree=18331460/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/9107/stat : 9107 (java) Z 9105 9107 8793 0 -1 4203548 1028322 0 1 0 179896 122 0 0 17 0 2 0 856435239 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 0 0 0 0 0 0 0
[pid=9107/tid=9108] ppid=9105 vsize=0 CPUtime=1790.09 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4203588 808914 0 1 0 178919 90 0 0 25 0 2 0 856435239 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1793.8 s]
/proc/loadavg: 2.16 2.06 2.01 3/495 9216
/proc/meminfo: memFree=18331460/32951124 swapFree=60688864/67111528
[pid=9107] ppid=9105 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/9107/stat : 9107 (java) Z 9105 9107 8793 0 -1 4203548 1028322 0 1 0 179896 129 0 0 17 0 2 0 856435239 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9107/statm: 0 0 0 0 0 0 0
[pid=9107/tid=9108] ppid=9105 vsize=0 CPUtime=1790.16 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 8793 0 -1 4203588 808914 0 1 0 178919 97 0 0 25 0 2 0 856435239 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.81
CPU time (s): 1800.27
CPU user time (s): 1798.97
CPU system time (s): 1.3038
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 10553280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.3038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1028322
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= 38752
involuntary context switches= 12979
runsolver used 8.11477 second user time and 19.643 second system time
The end