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-3453710-1307194118/watcher-3453710-1307194118 -o /tmp/evaluation-result-3453710-1307194118/solver-3453710-1307194118 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453710-1307194118.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 5774 0 1 0 0 0 0 0 25 0 2 0 831011453 10694979584 5477 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2611079 5489 917 9 0 2602235 0
[pid=18328/tid=18329] ppid=18326 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) R 18326 18328 13533 0 -1 4202560 6704 0 1 0 0 0 0 0 25 0 2 0 831011454 10694979584 7520 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.120852 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10539924 CPUtime=0.14 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 13426 0 1 0 12 2 0 0 25 0 18 0 831011453 10792882176 13087 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2634981 13087 2136 9 0 2625715 0
[pid=18328/tid=18329] ppid=18326 vsize=10539924 CPUtime=0.1 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) R 18326 18328 13533 0 -1 4202560 11403 0 1 0 9 1 0 0 25 0 18 0 831011454 10792882176 13087 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092058293 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10539924
[startup+0.45827 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10553336 CPUtime=1.33 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 25740 0 1 0 130 3 0 0 25 0 22 0 831011453 10806616064 22029 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639135 23125 2206 9 0 2629869 0
[pid=18328/tid=18329] ppid=18326 vsize=10557552 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11768 0 1 0 15 1 0 0 25 0 22 0 831011454 10810933248 28320 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10553336
[startup+0.873413 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10559944 CPUtime=2.93 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 56607 0 1 0 287 6 0 0 25 0 19 0 831011453 10813382656 49280 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639986 49280 2249 9 0 2630720 0
[pid=18328/tid=18329] ppid=18326 vsize=10559944 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11768 0 1 0 15 1 0 0 20 0 19 0 831011454 10813382656 49280 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 10559944
[startup+0.900651 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10563116 CPUtime=2.98 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 58128 0 1 0 292 6 0 0 25 0 19 0 831011453 10816630784 50001 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2640779 50001 2249 9 0 2631513 0
[pid=18328/tid=18329] ppid=18326 vsize=10563116 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11768 0 1 0 15 1 0 0 20 0 19 0 831011454 10816630784 50001 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10563116
[startup+1.50059 s]
/proc/loadavg: 3.88 3.84 3.67 4/502 18328
/proc/meminfo: memFree=26749628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10559404 CPUtime=4.12 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 81105 0 1 0 404 8 0 0 25 0 22 0 831011453 10812829696 71208 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639851 71208 2251 9 0 2630585 0
[pid=18328/tid=18329] ppid=18326 vsize=10559404 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11768 0 1 0 15 1 0 0 16 0 22 0 831011454 10812829696 71208 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 10559404
[startup+3.10126 s]
/proc/loadavg: 4.13 3.89 3.69 5/524 18356
/proc/meminfo: memFree=26309196/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10559876 CPUtime=6.26 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 121696 0 1 0 612 14 0 0 25 0 19 0 831011453 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639969 111506 2258 9 0 2630703 0
[pid=18328/tid=18329] ppid=18326 vsize=10559876 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11768 0 1 0 15 1 0 0 15 0 19 0 831011454 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 374 0 0 0 0 0 0 0 16 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 374 0 0 0 0 0 0 0 16 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 284 0 0 0 0 0 0 0 16 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18337/stat : 18337 (java) S 18326 18328 13533 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18338] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18338/stat : 18338 (java) S 18326 18328 13533 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 831011455 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18339] ppid=18326 vsize=10559876 CPUtime=0.08 cores=0,2,4,6
/proc/18328/task/18339/stat : 18339 (java) S 18326 18328 13533 0 -1 4202560 1930 0 0 0 8 0 0 0 15 0 19 0 831011456 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 0 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18340] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18340/stat : 18340 (java) S 18326 18328 13533 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 831011457 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18341] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18341/stat : 18341 (java) S 18326 18328 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831011457 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18342] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18342/stat : 18342 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831011459 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092055985 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18343] ppid=18326 vsize=10559876 CPUtime=1.29 cores=0,2,4,6
/proc/18328/task/18343/stat : 18343 (java) S 18326 18328 13533 0 -1 4202560 10231 0 0 0 129 0 0 0 15 0 19 0 831011459 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18344] ppid=18326 vsize=10559876 CPUtime=1.06 cores=0,2,4,6
/proc/18328/task/18344/stat : 18344 (java) S 18326 18328 13533 0 -1 4202560 8130 0 0 0 105 1 0 0 17 0 19 0 831011459 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18345] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18345/stat : 18345 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831011459 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18346] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18346/stat : 18346 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831011459 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18349] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18349/stat : 18349 (java) S 18326 18328 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831011471 10813313024 111506 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 10559876
[startup+6.3017 s]
/proc/loadavg: 4.04 3.87 3.69 4/523 18362
/proc/meminfo: memFree=25398792/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10559876 CPUtime=8.92 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 378784 0 1 0 851 41 0 0 25 0 21 0 831011453 10813313024 368328 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639969 368332 2258 9 0 2630703 0
[pid=18328/tid=18329] ppid=18326 vsize=10559876 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11769 0 1 0 15 1 0 0 15 0 21 0 831011454 10813313024 368334 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 374 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 368337 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 368340 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 374 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 368343 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 284 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 368346 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 368348 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 368351 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18337/stat : 18337 (java) S 18326 18328 13533 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 368354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18338] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18338/stat : 18338 (java) S 18326 18328 13533 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 368358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18339] ppid=18326 vsize=10559876 CPUtime=0.08 cores=0,2,4,6
/proc/18328/task/18339/stat : 18339 (java) S 18326 18328 13533 0 -1 4202560 1930 0 0 0 8 0 0 0 15 0 21 0 831011456 10813313024 368362 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 0 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18340] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18340/stat : 18340 (java) S 18326 18328 13533 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 831011457 10813313024 368365 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18341] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18341/stat : 18341 (java) S 18326 18328 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 831011457 10813313024 368368 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18342] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18342/stat : 18342 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10813313024 368371 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092055985 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18343] ppid=18326 vsize=10559876 CPUtime=1.3 cores=0,2,4,6
/proc/18328/task/18343/stat : 18343 (java) S 18326 18328 13533 0 -1 4202560 10231 0 0 0 130 0 0 0 15 0 21 0 831011459 10813313024 368374 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18344] ppid=18326 vsize=10559876 CPUtime=1.06 cores=0,2,4,6
/proc/18328/task/18344/stat : 18344 (java) S 18326 18328 13533 0 -1 4202560 8130 0 0 0 105 1 0 0 17 0 21 0 831011459 10813313024 368377 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18345] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18345/stat : 18345 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10813313024 368380 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18346] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18346/stat : 18346 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 831011459 10813313024 368382 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18349] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18349/stat : 18349 (java) S 18326 18328 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 831011471 10813313024 368385 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18361] ppid=18326 vsize=10559876 CPUtime=2.57 cores=0,2,4,6
/proc/18328/task/18361/stat : 18361 (java) R 18326 18328 13533 0 -1 4202560 254322 0 0 0 231 26 0 0 20 0 21 0 831011825 10813313024 368388 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 46912505566975 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18328/tid=18362] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18362/stat : 18362 (java) S 18326 18328 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 831011825 10813313024 368390 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 10559876
[startup+12.7195 s]
/proc/loadavg: 3.95 3.86 3.68 4/501 18389
/proc/meminfo: memFree=24730628/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10559876 CPUtime=15.35 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 675994 0 1 0 1459 76 0 0 25 0 21 0 831011453 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639969 665537 2258 9 0 2630703 0
[pid=18328/tid=18329] ppid=18326 vsize=10559876 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11769 0 1 0 15 1 0 0 15 0 21 0 831011454 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 374 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 134 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 547 0 0 0 0 0 0 0 16 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10559876 CPUtime=0.01 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 1077 0 0 0 1 0 0 0 16 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 21 0 831011455 10813313024 665537 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10559876 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18328/task/18362/stat : 18362 (java) S 18326 18328 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 831011825 10811355136 941260 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1670.88
Current children cumulated vsize (KiB) 10557964
[startup+1722.3 s]
/proc/loadavg: 1.00 1.37 2.22 2/496 19121
/proc/meminfo: memFree=23624920/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10557964 CPUtime=1731.06 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 954570 0 1 0 172992 114 0 0 25 0 21 0 831011453 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639491 941306 2258 9 0 2630225 0
[pid=18328/tid=18329] ppid=18326 vsize=10557964 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11777 0 1 0 15 1 0 0 15 0 21 0 831011454 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10557964 CPUtime=0.91 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 7322 0 0 0 90 1 0 0 16 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10557964 CPUtime=1.03 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 10614 0 0 0 102 1 0 0 15 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10557964 CPUtime=1.04 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 9893 0 0 0 103 1 0 0 15 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10557964 CPUtime=1.05 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 13334 0 0 0 104 1 0 0 15 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10557964 CPUtime=0.9 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 8619 0 0 0 90 0 0 0 16 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10557964 CPUtime=1.05 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 9751 0 0 0 104 1 0 0 15 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10557964 CPUtime=1.23 cores=0,2,4,6
/proc/18328/task/18337/stat : 18337 (java) S 18326 18328 13533 0 -1 4202560 10434 0 0 0 121 2 0 0 15 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18338] ppid=18326 vsize=10557964 CPUtime=1.12 cores=0,2,4,6
/proc/18328/task/18338/stat : 18338 (java) S 18326 18328 13533 0 -1 4202560 9677 0 0 0 111 1 0 0 16 0 21 0 831011455 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18339] ppid=18326 vsize=10557964 CPUtime=2.15 cores=0,2,4,6
/proc/18328/task/18339/stat : 18339 (java) S 18326 18328 13533 0 -1 4202560 13642 0 0 0 213 2 0 0 15 0 21 0 831011456 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 0 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18340] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18340/stat : 18340 (java) S 18326 18328 13533 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18341] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18341/stat : 18341 (java) S 18326 18328 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18342] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18342/stat : 18342 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092055985 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18343] ppid=18326 vsize=10557964 CPUtime=1.61 cores=0,2,4,6
/proc/18328/task/18343/stat : 18343 (java) S 18326 18328 13533 0 -1 4202560 11225 0 0 0 161 0 0 0 16 0 21 0 831011459 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18344] ppid=18326 vsize=10557964 CPUtime=1.18 cores=0,2,4,6
/proc/18328/task/18344/stat : 18344 (java) S 18326 18328 13533 0 -1 4202560 8134 0 0 0 117 1 0 0 15 0 21 0 831011459 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18345] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18345/stat : 18345 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18346] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18346/stat : 18346 (java) S 18326 18328 13533 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 21 0 831011459 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18349] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18349/stat : 18349 (java) S 18326 18328 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 831011471 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18361] ppid=18326 vsize=10557964 CPUtime=1713.82 cores=0,2,4,6
/proc/18328/task/18361/stat : 18361 (java) R 18326 18328 13533 0 -1 4202560 739260 0 0 0 171297 85 0 0 25 0 21 0 831011825 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 46912505610770 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18328/tid=18362] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18362/stat : 18362 (java) S 18326 18328 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 831011825 10811355136 941306 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1731.06
Current children cumulated vsize (KiB) 10557964
[startup+1782.3 s]
/proc/loadavg: 1.00 1.30 2.14 2/496 19122
/proc/meminfo: memFree=23624768/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10557964 CPUtime=1791.27 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 954631 0 1 0 179013 114 0 0 25 0 21 0 831011453 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639491 941354 2258 9 0 2630225 0
[pid=18328/tid=18329] ppid=18326 vsize=10557964 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11777 0 1 0 15 1 0 0 15 0 21 0 831011454 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10557964 CPUtime=0.96 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 7333 0 0 0 95 1 0 0 16 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10557964 CPUtime=1.07 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 10619 0 0 0 106 1 0 0 15 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 9898 0 0 0 107 1 0 0 15 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 13335 0 0 0 107 1 0 0 15 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10557964 CPUtime=0.96 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 8627 0 0 0 96 0 0 0 16 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10557964 CPUtime=1.06 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 9757 0 0 0 105 1 0 0 15 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10557964 CPUtime=1.29 cores=0,2,4,6
/proc/18328/task/18337/stat : 18337 (java) S 18326 18328 13533 0 -1 4202560 10442 0 0 0 127 2 0 0 16 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18338] ppid=18326 vsize=10557964 CPUtime=1.14 cores=0,2,4,6
/proc/18328/task/18338/stat : 18338 (java) S 18326 18328 13533 0 -1 4202560 9681 0 0 0 113 1 0 0 15 0 21 0 831011455 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18339] ppid=18326 vsize=10557964 CPUtime=2.15 cores=0,2,4,6
/proc/18328/task/18339/stat : 18339 (java) S 18326 18328 13533 0 -1 4202560 13646 0 0 0 213 2 0 0 15 0 21 0 831011456 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 0 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18340] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18340/stat : 18340 (java) S 18326 18328 13533 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18341] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18341/stat : 18341 (java) S 18326 18328 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18342] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18342/stat : 18342 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092055985 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18343] ppid=18326 vsize=10557964 CPUtime=1.61 cores=0,2,4,6
/proc/18328/task/18343/stat : 18343 (java) S 18326 18328 13533 0 -1 4202560 11225 0 0 0 161 0 0 0 16 0 21 0 831011459 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18344] ppid=18326 vsize=10557964 CPUtime=1.18 cores=0,2,4,6
/proc/18328/task/18344/stat : 18344 (java) S 18326 18328 13533 0 -1 4202560 8134 0 0 0 117 1 0 0 15 0 21 0 831011459 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18345] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18345/stat : 18345 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18346] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18346/stat : 18346 (java) S 18326 18328 13533 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 21 0 831011459 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18349] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18349/stat : 18349 (java) S 18326 18328 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 831011471 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18361] ppid=18326 vsize=10557964 CPUtime=1773.72 cores=0,2,4,6
/proc/18328/task/18361/stat : 18361 (java) R 18326 18328 13533 0 -1 4202560 739265 0 0 0 177287 85 0 0 25 0 21 0 831011825 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 46912505638352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18328/tid=18362] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18362/stat : 18362 (java) S 18326 18328 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 831011825 10811355136 941354 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 10557964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791 s]
/proc/loadavg: 1.00 1.29 2.13 2/496 19123
/proc/meminfo: memFree=23624880/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=10557964 CPUtime=1800.01 cores=0,2,4,6
/proc/18328/stat : 18328 (java) S 18326 18328 13533 0 -1 4202496 954636 0 1 0 179887 114 0 0 25 0 21 0 831011453 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 2639491 941358 2258 9 0 2630225 0
[pid=18328/tid=18329] ppid=18326 vsize=10557964 CPUtime=0.16 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (java) S 18326 18328 13533 0 -1 4202560 11777 0 1 0 15 1 0 0 15 0 21 0 831011454 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18331] ppid=18326 vsize=10557964 CPUtime=0.96 cores=0,2,4,6
/proc/18328/task/18331/stat : 18331 (java) S 18326 18328 13533 0 -1 4202560 7333 0 0 0 95 1 0 0 15 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18332] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18332/stat : 18332 (java) S 18326 18328 13533 0 -1 4202560 10620 0 0 0 107 1 0 0 16 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18333] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18333/stat : 18333 (java) S 18326 18328 13533 0 -1 4202560 9898 0 0 0 107 1 0 0 15 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18334] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18334/stat : 18334 (java) S 18326 18328 13533 0 -1 4202560 13335 0 0 0 107 1 0 0 15 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18335] ppid=18326 vsize=10557964 CPUtime=0.97 cores=0,2,4,6
/proc/18328/task/18335/stat : 18335 (java) S 18326 18328 13533 0 -1 4202560 8627 0 0 0 97 0 0 0 16 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18336] ppid=18326 vsize=10557964 CPUtime=1.08 cores=0,2,4,6
/proc/18328/task/18336/stat : 18336 (java) S 18326 18328 13533 0 -1 4202560 9758 0 0 0 107 1 0 0 16 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18337] ppid=18326 vsize=10557964 CPUtime=1.29 cores=0,2,4,6
/proc/18328/task/18337/stat : 18337 (java) S 18326 18328 13533 0 -1 4202560 10442 0 0 0 127 2 0 0 15 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18338] ppid=18326 vsize=10557964 CPUtime=1.15 cores=0,2,4,6
/proc/18328/task/18338/stat : 18338 (java) S 18326 18328 13533 0 -1 4202560 9683 0 0 0 114 1 0 0 16 0 21 0 831011455 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18339] ppid=18326 vsize=10557964 CPUtime=2.15 cores=0,2,4,6
/proc/18328/task/18339/stat : 18339 (java) S 18326 18328 13533 0 -1 4202560 13646 0 0 0 213 2 0 0 15 0 21 0 831011456 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 0 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18340] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18340/stat : 18340 (java) S 18326 18328 13533 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18341] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18341/stat : 18341 (java) S 18326 18328 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 831011457 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18342] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18342/stat : 18342 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092055985 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
[pid=18328/tid=18343] ppid=18326 vsize=10557964 CPUtime=1.61 cores=0,2,4,6
/proc/18328/task/18343/stat : 18343 (java) S 18326 18328 13533 0 -1 4202560 11225 0 0 0 161 0 0 0 16 0 21 0 831011459 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18344] ppid=18326 vsize=10557964 CPUtime=1.18 cores=0,2,4,6
/proc/18328/task/18344/stat : 18344 (java) S 18326 18328 13533 0 -1 4202560 8134 0 0 0 117 1 0 0 15 0 21 0 831011459 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18345] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18345/stat : 18345 (java) S 18326 18328 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 831011459 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048281 0 4 0 16800975 18446604446424297664 0 0 -1 6 0 0 0
[pid=18328/tid=18346] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18346/stat : 18346 (java) S 18326 18328 13533 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 21 0 831011459 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 0 0 0 0
[pid=18328/tid=18349] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18349/stat : 18349 (java) S 18326 18328 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 831011471 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 4 0 0 0
[pid=18328/tid=18361] ppid=18326 vsize=10557964 CPUtime=1782.43 cores=0,2,4,6
/proc/18328/task/18361/stat : 18361 (java) R 18326 18328 13533 0 -1 4202560 739266 0 0 0 178158 85 0 0 25 0 21 0 831011825 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 46912505638352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18328/tid=18362] ppid=18326 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18362/stat : 18362 (java) S 18326 18328 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 21 0 831011825 10811355136 941358 33554432000 1073741824 1073778376 140734772317040 18446744073709551615 208092048896 0 4 0 16800975 18446604446424297664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10557964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.2 s]
/proc/loadavg: 1.00 1.29 2.13 2/496 19123
/proc/meminfo: memFree=23624880/32950928 swapFree=39617324/67111528
[pid=18328] ppid=18326 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/18328/stat : 18328 (java) Z 18326 18328 13533 0 -1 4203548 954660 0 1 0 179891 131 0 0 17 0 2 0 831011453 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 0 0 0 0 0 0 0
[pid=18328/tid=18361] ppid=18326 vsize=0 CPUtime=1782.61 cores=0,2,4,6
/proc/18328/task/18361/stat : 18361 (java) R 18326 18328 13533 0 -1 4203588 739266 0 0 0 178160 101 0 0 25 0 2 0 831011825 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.22
CPU time (s): 1800.24
CPU user time (s): 1798.92
CPU system time (s): 1.3268
CPU usage (%): 100.504
Max. virtual memory (cumulated for all children) (KiB): 10566356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.3268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954660
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= 44886
involuntary context switches= 18941
runsolver used 9.2126 second user time and 20.1569 second system time
The end