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-3456029-1307661662/watcher-3456029-1307661662 -o /tmp/evaluation-result-3456029-1307661662/solver-3456029-1307661662 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456029-1307661662.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.85 1.98 1.99 2/195 13146
/proc/meminfo: memFree=30168696/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 858581564 31260672 957 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 7632 957 730 9 0 383 0
[pid=13146/tid=13147] ppid=13144 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 858581564 31272960 960 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254261616443 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0441591 s]
/proc/loadavg: 1.85 1.98 1.99 2/195 13146
/proc/meminfo: memFree=30168696/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 11309 0 1 0 2 1 0 0 25 0 13 0 858581564 10718699520 11006 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2616870 11006 1675 9 0 2607618 0
[pid=13146/tid=13147] ppid=13144 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 10162 0 1 0 2 1 0 0 25 0 13 0 858581564 10718699520 11007 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 47146673174040 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.10115 s]
/proc/loadavg: 1.85 1.98 1.99 2/195 13146
/proc/meminfo: memFree=30168696/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10539868 CPUtime=0.1 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 13128 0 1 0 9 1 0 0 25 0 18 0 858581564 10792824832 12776 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2634967 12776 2092 9 0 2625701 0
[pid=13146/tid=13147] ppid=13144 vsize=10539868 CPUtime=0.09 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 11165 0 1 0 8 1 0 0 18 0 18 0 858581564 10792824832 12777 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 47146674608979 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.30108 s]
/proc/loadavg: 1.85 1.98 1.99 2/195 13146
/proc/meminfo: memFree=30168696/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10543608 CPUtime=0.55 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 18386 0 1 0 53 2 0 0 25 0 19 0 858581564 10796654592 16213 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2635902 16214 2197 9 0 2626636 0
[pid=13146/tid=13147] ppid=13144 vsize=10543608 CPUtime=0.28 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 12925 0 1 0 27 1 0 0 19 0 19 0 858581564 10796654592 16214 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505560087 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543608
[startup+0.701012 s]
/proc/loadavg: 1.85 1.98 1.99 2/195 13146
/proc/meminfo: memFree=30168696/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10553128 CPUtime=1.71 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 48074 0 1 0 166 5 0 0 25 0 19 0 858581564 10806403072 40744 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2638282 40748 2218 9 0 2629016 0
[pid=13146/tid=13147] ppid=13144 vsize=10553128 CPUtime=0.68 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 31844 0 1 0 65 3 0 0 19 0 19 0 858581564 10806403072 40751 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505545019 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10553128
[startup+1.5009 s]
/proc/loadavg: 1.85 1.98 1.99 4/214 13165
/proc/meminfo: memFree=29526004/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10553128 CPUtime=2.97 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 132769 0 1 0 282 15 0 0 25 0 19 0 858581564 10806403072 124425 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2638282 124430 2227 9 0 2629016 0
[pid=13146/tid=13147] ppid=13144 vsize=10553128 CPUtime=1.48 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 115536 0 1 0 135 13 0 0 21 0 19 0 858581564 10806403072 124433 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505535217 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124436 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858581566 10806403072 124439 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124441 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124442 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124444 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124446 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124449 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 124451 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 19 0 858581567 10806403072 124454 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581567 10806403072 124457 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581567 10806403072 124459 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10806403072 124462 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10553128 CPUtime=0.77 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7841 0 0 0 76 1 0 0 22 0 19 0 858581569 10806403072 124465 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10553128 CPUtime=0.69 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8239 0 0 0 69 0 0 0 15 0 19 0 858581569 10806403072 124467 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10806403072 124470 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581569 10806403072 124472 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10806403072 124474 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10553128
[startup+3.10062 s]
/proc/loadavg: 1.85 1.98 1.99 3/214 13165
/proc/meminfo: memFree=28650812/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10553128 CPUtime=4.59 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 306817 0 1 0 423 36 0 0 25 0 19 0 858581564 10806403072 298472 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2638282 298476 2227 9 0 2629016 0
[pid=13146/tid=13147] ppid=13144 vsize=10553128 CPUtime=3.08 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 289580 0 1 0 275 33 0 0 25 0 19 0 858581564 10806403072 298478 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505604178 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298481 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858581566 10806403072 298483 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298486 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298488 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298491 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298493 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298497 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10806403072 298500 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 858581567 10806403072 298504 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581567 10806403072 298506 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581567 10806403072 298510 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10806403072 298513 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10553128 CPUtime=0.78 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7842 0 0 0 77 1 0 0 15 0 19 0 858581569 10806403072 298517 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10553128 CPUtime=0.69 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8239 0 0 0 69 0 0 0 15 0 19 0 858581569 10806403072 298520 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10806403072 298523 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581569 10806403072 298526 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10553128 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10806403072 298529 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10553128
[startup+6.30105 s]
/proc/loadavg: 1.86 1.98 1.99 3/214 13166
/proc/meminfo: memFree=27262624/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10548572 CPUtime=7.81 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 635306 0 1 0 705 76 0 0 25 0 19 0 858581564 10801737728 625841 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2637143 625846 2227 9 0 2627877 0
[pid=13146/tid=13147] ppid=13144 vsize=10548572 CPUtime=6.28 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 618067 0 1 0 555 73 0 0 25 0 19 0 858581564 10801737728 625848 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505605705 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625850 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858581566 10801737728 625853 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625855 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625857 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625860 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625862 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625865 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581566 10801737728 625867 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 858581567 10801737728 625870 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581567 10801737728 625872 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581567 10801737728 625875 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 625877 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10548572 CPUtime=0.8 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7845 0 0 0 79 1 0 0 15 0 19 0 858581569 10801737728 625879 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10548572 CPUtime=0.7 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8239 0 0 0 70 0 0 0 15 0 19 0 858581569 10801737728 625882 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10548572 CPUtime=0.91 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7866 0 0 0 90 1 0 0 15 0 19 0 858581569 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10548572 CPUtime=0.78 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8256 0 0 0 78 0 0 0 15 0 19 0 858581569 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 858581569 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10801737728 951639 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.33
Current children cumulated vsize (KiB) 10548572
[startup+1722.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/214 13328
/proc/meminfo: memFree=24367852/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10548572 CPUtime=1730.61 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 962647 0 1 0 172945 116 0 0 25 0 19 0 858581564 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2637143 951696 2257 9 0 2627877 0
[pid=13146/tid=13147] ppid=13144 vsize=10548572 CPUtime=1716.45 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 831365 0 1 0 171549 96 0 0 25 0 19 0 858581564 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505948841 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10548572 CPUtime=1.03 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 10017 0 0 0 102 1 0 0 15 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10548572 CPUtime=0.9 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 7733 0 0 0 89 1 0 0 15 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10548572 CPUtime=1.19 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 14193 0 0 0 118 1 0 0 16 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10548572 CPUtime=1.11 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 13952 0 0 0 109 2 0 0 15 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10548572 CPUtime=1.1 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 12025 0 0 0 109 1 0 0 16 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10548572 CPUtime=1.25 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 16356 0 0 0 123 2 0 0 16 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10548572 CPUtime=1.13 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 13154 0 0 0 112 1 0 0 15 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10548572 CPUtime=1.2 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 12185 0 0 0 118 2 0 0 16 0 19 0 858581566 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10548572 CPUtime=3.44 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 14296 0 0 0 342 2 0 0 15 0 19 0 858581567 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10548572 CPUtime=0.91 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7866 0 0 0 90 1 0 0 15 0 19 0 858581569 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10548572 CPUtime=0.78 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8256 0 0 0 78 0 0 0 15 0 19 0 858581569 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 858581569 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10801737728 951696 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.61
Current children cumulated vsize (KiB) 10548572
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/214 13330
/proc/meminfo: memFree=24359636/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10548572 CPUtime=1790.81 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 962681 0 1 0 178965 116 0 0 25 0 19 0 858581564 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2637143 951717 2257 9 0 2627877 0
[pid=13146/tid=13147] ppid=13144 vsize=10548572 CPUtime=1776.38 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 831370 0 1 0 177542 96 0 0 25 0 19 0 858581564 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505603418 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10548572 CPUtime=1.07 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 10018 0 0 0 106 1 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10548572 CPUtime=0.94 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 7739 0 0 0 93 1 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10548572 CPUtime=1.22 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 14194 0 0 0 121 1 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10548572 CPUtime=1.16 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 13952 0 0 0 114 2 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10548572 CPUtime=1.13 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 12028 0 0 0 112 1 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10548572 CPUtime=1.27 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 16356 0 0 0 125 2 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10548572 CPUtime=1.15 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 13161 0 0 0 114 1 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10548572 CPUtime=1.24 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 12188 0 0 0 122 2 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10548572 CPUtime=3.44 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 14300 0 0 0 342 2 0 0 15 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10548572 CPUtime=0.91 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7866 0 0 0 90 1 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10548572 CPUtime=0.78 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8256 0 0 0 78 0 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.81
Current children cumulated vsize (KiB) 10548572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/214 13330
/proc/meminfo: memFree=24358012/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=10548572 CPUtime=1800.05 cores=1,3,5,7
/proc/13146/stat : 13146 (java) S 13144 13146 11688 0 -1 4202496 962682 0 1 0 179889 116 0 0 25 0 19 0 858581564 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 2637143 951717 2257 9 0 2627877 0
[pid=13146/tid=13147] ppid=13144 vsize=10548572 CPUtime=1785.57 cores=1,3,5,7
/proc/13146/task/13147/stat : 13147 (java) R 13144 13146 11688 0 -1 4202560 831371 0 1 0 178461 96 0 0 25 0 19 0 858581564 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 46912505746146 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13146/tid=13149] ppid=13144 vsize=10548572 CPUtime=1.07 cores=1,3,5,7
/proc/13146/task/13149/stat : 13149 (java) S 13144 13146 11688 0 -1 4202560 10018 0 0 0 106 1 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13150] ppid=13144 vsize=10548572 CPUtime=0.94 cores=1,3,5,7
/proc/13146/task/13150/stat : 13150 (java) S 13144 13146 11688 0 -1 4202560 7739 0 0 0 93 1 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13151] ppid=13144 vsize=10548572 CPUtime=1.24 cores=1,3,5,7
/proc/13146/task/13151/stat : 13151 (java) S 13144 13146 11688 0 -1 4202560 14194 0 0 0 123 1 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 7 0 0 0
[pid=13146/tid=13152] ppid=13144 vsize=10548572 CPUtime=1.16 cores=1,3,5,7
/proc/13146/task/13152/stat : 13152 (java) S 13144 13146 11688 0 -1 4202560 13952 0 0 0 114 2 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13153] ppid=13144 vsize=10548572 CPUtime=1.14 cores=1,3,5,7
/proc/13146/task/13153/stat : 13153 (java) S 13144 13146 11688 0 -1 4202560 12028 0 0 0 113 1 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13154] ppid=13144 vsize=10548572 CPUtime=1.27 cores=1,3,5,7
/proc/13146/task/13154/stat : 13154 (java) S 13144 13146 11688 0 -1 4202560 16356 0 0 0 125 2 0 0 15 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13155] ppid=13144 vsize=10548572 CPUtime=1.17 cores=1,3,5,7
/proc/13146/task/13155/stat : 13155 (java) S 13144 13146 11688 0 -1 4202560 13161 0 0 0 116 1 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13156] ppid=13144 vsize=10548572 CPUtime=1.25 cores=1,3,5,7
/proc/13146/task/13156/stat : 13156 (java) S 13144 13146 11688 0 -1 4202560 12188 0 0 0 123 2 0 0 16 0 19 0 858581566 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13157] ppid=13144 vsize=10548572 CPUtime=3.44 cores=1,3,5,7
/proc/13146/task/13157/stat : 13157 (java) S 13144 13146 11688 0 -1 4202560 14300 0 0 0 342 2 0 0 15 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 0 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13158] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13158/stat : 13158 (java) S 13144 13146 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13159] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13159/stat : 13159 (java) S 13144 13146 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581567 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13160] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13160/stat : 13160 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273440177 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13161] ppid=13144 vsize=10548572 CPUtime=0.91 cores=1,3,5,7
/proc/13146/task/13161/stat : 13161 (java) S 13144 13146 11688 0 -1 4202560 7866 0 0 0 90 1 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
[pid=13146/tid=13162] ppid=13144 vsize=10548572 CPUtime=0.78 cores=1,3,5,7
/proc/13146/task/13162/stat : 13162 (java) S 13144 13146 11688 0 -1 4202560 8256 0 0 0 78 0 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13163] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13163/stat : 13163 (java) S 13144 13146 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273432473 0 4 0 16800975 18446604471162829504 0 0 -1 5 0 0 0
[pid=13146/tid=13164] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13164/stat : 13164 (java) S 13144 13146 11688 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858581569 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 1 0 0 0
[pid=13146/tid=13165] ppid=13144 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/13146/task/13165/stat : 13165 (java) S 13144 13146 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581580 10801737728 951717 33554432000 1073741824 1073778376 140735363663472 18446744073709551615 254273433088 0 4 0 16800975 18446604471162829504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10548572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.61 s]
/proc/loadavg: 2.05 2.06 2.01 3/214 13330
/proc/meminfo: memFree=24358012/32951124 swapFree=67057920/67111528
[pid=13146] ppid=13144 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/13146/stat : 13146 (java) Z 13144 13146 11688 0 -1 4203548 962722 0 1 0 179898 123 0 0 17 0 2 0 858581564 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.69
CPU time (s): 1800.29
CPU user time (s): 1798.98
CPU system time (s): 1.3088
CPU usage (%): 100.48
Max. virtual memory (cumulated for all children) (KiB): 10557172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.3088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962722
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= 41144
involuntary context switches= 29371
runsolver used 2.83457 second user time and 6.95594 second system time
The end