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-3456219-1307226657/watcher-3456219-1307226657 -o /tmp/evaluation-result-3456219-1307226657/solver-3456219-1307226657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456219-1307226657.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.95 2.03 2.00 3/568 4251
/proc/meminfo: memFree=17326264/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/4251/stat : 4251 (runsolver) R 4249 4251 3030 0 -1 4202560 45 0 0 0 0 0 0 0 23 0 1 0 834266067 12079104 53 33554432000 4194304 5432328 140734163635264 18446744073709551615 5055479 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/4251/statm: 2949 53 34 303 0 2643 0
[pid=4251/tid=4252] ppid=4249 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 1818 0 1 0 0 0 0 0 18 0 2 0 834266068 10681323520 2635 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.081252 s]
/proc/loadavg: 1.95 2.03 2.00 3/568 4251
/proc/meminfo: memFree=17326264/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 11876 0 1 0 5 1 0 0 23 0 18 0 834266067 10724442112 11572 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2618272 11572 1754 9 0 2609006 0
[pid=4251/tid=4252] ppid=4249 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 10700 0 1 0 4 1 0 0 25 0 18 0 834266068 10724442112 11572 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652688251 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100212 s]
/proc/loadavg: 1.95 2.03 2.00 3/568 4251
/proc/meminfo: memFree=17326264/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10540488 CPUtime=0.09 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 12927 0 1 0 8 1 0 0 23 0 18 0 834266067 10793459712 12623 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2635122 12623 2083 9 0 2625856 0
[pid=4251/tid=4252] ppid=4249 vsize=10540488 CPUtime=0.07 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 11017 0 1 0 6 1 0 0 18 0 18 0 834266068 10793459712 12624 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 47465358994228 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540488
[startup+0.300224 s]
/proc/loadavg: 1.95 2.03 2.00 3/568 4251
/proc/meminfo: memFree=17326264/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10542788 CPUtime=0.44 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 16196 0 1 0 42 2 0 0 23 0 18 0 834266067 10795814912 15532 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2635697 15533 2220 9 0 2626431 0
[pid=4251/tid=4252] ppid=4249 vsize=10542788 CPUtime=0.28 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 12679 0 1 0 26 2 0 0 18 0 18 0 834266068 10795814912 15534 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 47465358994259 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542788
[startup+0.701106 s]
/proc/loadavg: 1.95 2.03 2.00 3/568 4251
/proc/meminfo: memFree=17326264/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=1.49 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 32504 0 1 0 146 3 0 0 23 0 19 0 834266067 10806538240 28610 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 28629 2232 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=0.67 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 21807 0 1 0 65 2 0 0 19 0 19 0 834266068 10806538240 28632 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505216980 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10553260
[startup+1.501 s]
/proc/loadavg: 1.95 2.03 2.00 4/587 4270
/proc/meminfo: memFree=17144176/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=2.85 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 95058 0 1 0 273 12 0 0 23 0 19 0 834266067 10806538240 88101 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 88103 2234 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=1.47 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 81306 0 1 0 137 10 0 0 20 0 19 0 834266068 10806538240 88104 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912506131652 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834266070 10806538240 88104 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88105 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88106 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88107 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88108 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88110 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 88112 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834266070 10806538240 88116 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 88120 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 834266071 10806538240 88123 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 834266071 10806538240 88124 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 88125 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.6 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 7276 0 0 0 60 0 0 0 21 0 19 0 834266074 10806538240 88127 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.75 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5317 0 0 0 75 0 0 0 22 0 19 0 834266074 10806538240 88128 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 88130 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 88130 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 88131 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10553260
[startup+3.10574 s]
/proc/loadavg: 1.95 2.03 2.00 3/587 4270
/proc/meminfo: memFree=16791716/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=4.57 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 223917 0 1 0 430 27 0 0 23 0 19 0 834266067 10806538240 216608 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 216610 2240 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=3.08 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 209352 0 1 0 282 26 0 0 25 0 19 0 834266068 10806538240 216611 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505632319 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834266070 10806538240 216613 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216614 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216616 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216617 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216618 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216619 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 216621 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834266070 10806538240 216622 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 216623 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 834266071 10806538240 216625 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 834266071 10806538240 216626 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 216627 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.68 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) R 4249 4251 3030 0 -1 4202560 8081 0 0 0 68 0 0 0 15 0 19 0 834266074 10806538240 216629 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 47465353831695 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.78 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5326 0 0 0 78 0 0 0 15 0 19 0 834266074 10806538240 216630 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 216631 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 216633 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 216634 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 10553260
[startup+6.30112 s]
/proc/loadavg: 1.96 2.03 2.00 3/587 4270
/proc/meminfo: memFree=15725748/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=7.85 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 479489 0 1 0 729 56 0 0 23 0 19 0 834266067 10806538240 471736 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 471739 2241 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=6.28 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 464912 0 1 0 574 54 0 0 18 0 19 0 834266068 10806538240 471741 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505667257 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834266070 10806538240 471743 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471745 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471747 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471749 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471751 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471756 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834266070 10806538240 471759 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834266070 10806538240 471762 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834266071 10806538240 471764 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 834266071 10806538240 471767 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 834266071 10806538240 471769 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 471770 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.77 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 8094 0 0 0 76 1 0 0 16 0 19 0 834266074 10806538240 471772 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.79 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5326 0 0 0 79 0 0 0 15 0 19 0 834266074 10806538240 471773 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.83 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 8107 0 0 0 82 1 0 0 15 0 19 0 834266074 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.87 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5339 0 0 0 87 0 0 0 15 0 19 0 834266074 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 952368 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666
Current children cumulated vsize (KiB) 10553260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 4364
/proc/meminfo: memFree=13457504/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=1726.07 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 967215 0 1 0 172495 112 0 0 23 0 19 0 834266067 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 955683 2267 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=1720.93 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 828728 0 1 0 172000 93 0 0 25 0 19 0 834266068 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505778433 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 20969 0 0 0 42 2 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 16666 0 0 0 43 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0.37 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 12166 0 0 0 35 2 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0.36 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 16723 0 0 0 35 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0.41 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 16275 0 0 0 39 2 0 0 15 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0.33 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 13914 0 0 0 32 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0.34 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 13453 0 0 0 33 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0.31 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 8807 0 0 0 31 0 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0.3 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 4817 0 0 0 29 1 0 0 15 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.83 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 8107 0 0 0 82 1 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.87 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5339 0 0 0 87 0 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.07
Current children cumulated vsize (KiB) 10553260
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/587 4366
/proc/meminfo: memFree=13450300/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=1786.08 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 967219 0 1 0 178496 112 0 0 23 0 19 0 834266067 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 955683 2267 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=1780.93 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 828728 0 1 0 178000 93 0 0 25 0 19 0 834266068 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505778384 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 20969 0 0 0 42 2 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 16666 0 0 0 43 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0.37 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 12166 0 0 0 35 2 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0.36 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 16723 0 0 0 35 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0.41 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 16275 0 0 0 39 2 0 0 15 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0.33 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 13914 0 0 0 32 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0.34 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 13453 0 0 0 33 1 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0.31 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 8807 0 0 0 31 0 0 0 16 0 19 0 834266070 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0.3 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 4817 0 0 0 29 1 0 0 15 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.83 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 8107 0 0 0 82 1 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.87 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5339 0 0 0 87 0 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 955683 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.08
Current children cumulated vsize (KiB) 10553260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.11 2.06 2.01 4/587 4366
/proc/meminfo: memFree=13443604/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=10553260 CPUtime=1800.03 cores=1,3,5,7
/proc/4251/stat : 4251 (java) S 4249 4251 3030 0 -1 4202496 968020 0 1 0 179891 112 0 0 23 0 19 0 834266067 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 2638315 956480 2267 9 0 2629049 0
[pid=4251/tid=4252] ppid=4249 vsize=10553260 CPUtime=1794.86 cores=1,3,5,7
/proc/4251/task/4252/stat : 4252 (java) R 4249 4251 3030 0 -1 4202560 828729 0 1 0 179393 93 0 0 25 0 19 0 834266068 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 46912505778400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4251/tid=4254] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4254/stat : 4254 (java) S 4249 4251 3030 0 -1 4202560 20969 0 0 0 42 2 0 0 15 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4255] ppid=4249 vsize=10553260 CPUtime=0.44 cores=1,3,5,7
/proc/4251/task/4255/stat : 4255 (java) S 4249 4251 3030 0 -1 4202560 16666 0 0 0 43 1 0 0 15 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4256] ppid=4249 vsize=10553260 CPUtime=0.38 cores=1,3,5,7
/proc/4251/task/4256/stat : 4256 (java) S 4249 4251 3030 0 -1 4202560 12246 0 0 0 36 2 0 0 16 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4257] ppid=4249 vsize=10553260 CPUtime=0.37 cores=1,3,5,7
/proc/4251/task/4257/stat : 4257 (java) S 4249 4251 3030 0 -1 4202560 16723 0 0 0 35 2 0 0 15 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4258] ppid=4249 vsize=10553260 CPUtime=0.43 cores=1,3,5,7
/proc/4251/task/4258/stat : 4258 (java) S 4249 4251 3030 0 -1 4202560 16988 0 0 0 41 2 0 0 16 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4259] ppid=4249 vsize=10553260 CPUtime=0.34 cores=1,3,5,7
/proc/4251/task/4259/stat : 4259 (java) S 4249 4251 3030 0 -1 4202560 13919 0 0 0 33 1 0 0 16 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4260] ppid=4249 vsize=10553260 CPUtime=0.34 cores=1,3,5,7
/proc/4251/task/4260/stat : 4260 (java) S 4249 4251 3030 0 -1 4202560 13453 0 0 0 33 1 0 0 15 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=10553260 CPUtime=0.31 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) S 4249 4251 3030 0 -1 4202560 8807 0 0 0 31 0 0 0 15 0 19 0 834266070 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4262] ppid=4249 vsize=10553260 CPUtime=0.3 cores=1,3,5,7
/proc/4251/task/4262/stat : 4262 (java) S 4249 4251 3030 0 -1 4202560 4819 0 0 0 29 1 0 0 15 0 19 0 834266071 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 0 0 16800975 18446604464645999296 0 0 -1 3 0 0 0
[pid=4251/tid=4263] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4263/stat : 4263 (java) S 4249 4251 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4264] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4264/stat : 4264 (java) S 4249 4251 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834266071 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4265] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4265/stat : 4265 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652683185 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4266] ppid=4249 vsize=10553260 CPUtime=0.83 cores=1,3,5,7
/proc/4251/task/4266/stat : 4266 (java) S 4249 4251 3030 0 -1 4202560 8107 0 0 0 82 1 0 0 15 0 19 0 834266074 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 1 0 0 0
[pid=4251/tid=4267] ppid=4249 vsize=10553260 CPUtime=0.87 cores=1,3,5,7
/proc/4251/task/4267/stat : 4267 (java) S 4249 4251 3030 0 -1 4202560 5339 0 0 0 87 0 0 0 15 0 19 0 834266074 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
[pid=4251/tid=4268] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4268/stat : 4268 (java) S 4249 4251 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834266074 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652675481 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4269] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4269/stat : 4269 (java) S 4249 4251 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834266074 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 5 0 0 0
[pid=4251/tid=4270] ppid=4249 vsize=10553260 CPUtime=0 cores=1,3,5,7
/proc/4251/task/4270/stat : 4270 (java) S 4249 4251 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834266097 10806538240 956480 33554432000 1073741824 1073778376 140733807705344 18446744073709551615 253652676096 0 4 0 16800975 18446604464645999296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10553260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.35 s]
/proc/loadavg: 2.11 2.06 2.01 4/587 4366
/proc/meminfo: memFree=13443604/32951124 swapFree=53733252/67111528
[pid=4251] ppid=4249 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/4251/stat : 4251 (java) Z 4249 4251 3030 0 -1 4203548 968049 0 1 0 179896 121 0 0 17 0 2 0 834266067 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4251/statm: 0 0 0 0 0 0 0
[pid=4251/tid=4261] ppid=4249 vsize=0 CPUtime=0.4 cores=1,3,5,7
/proc/4251/task/4261/stat : 4261 (java) R 4249 4251 3030 0 -1 4203588 8807 0 0 0 31 9 0 0 15 0 2 0 834266070 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.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.4
CPU time (s): 1800.23
CPU user time (s): 1798.96
CPU system time (s): 1.26681
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 10553260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.26681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 968049
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= 38993
involuntary context switches= 10149
runsolver used 9.65953 second user time and 23.6214 second system time
The end