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-3455901-1307224981/watcher-3455901-1307224981 -o /tmp/evaluation-result-3455901-1307224981/solver-3455901-1307224981 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455901-1307224981.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.01 2/516 26243
/proc/meminfo: memFree=25532604/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 2 0 834097699 36646912 1018 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 8947 1018 782 9 0 386 0
[pid=26243/tid=26244] ppid=26241 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 403 0 1 0 0 0 0 0 25 0 2 0 834097700 10681323520 1219 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.11927 s]
/proc/loadavg: 2.10 2.06 2.01 2/516 26243
/proc/meminfo: memFree=25532604/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10540056 CPUtime=0.11 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 13192 0 1 0 10 1 0 0 25 0 18 0 834097699 10793017344 12860 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2635014 12861 2108 9 0 2625748 0
[pid=26243/tid=26244] ppid=26241 vsize=10540056 CPUtime=0.09 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 11265 0 1 0 8 1 0 0 18 0 18 0 834097700 10793017344 12861 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658973131 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540056
[startup+0.20024 s]
/proc/loadavg: 2.10 2.06 2.01 2/516 26243
/proc/meminfo: memFree=25532604/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10541360 CPUtime=0.23 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 13909 0 1 0 21 2 0 0 25 0 19 0 834097699 10794352640 13549 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2635340 13549 2166 9 0 2626074 0
[pid=26243/tid=26244] ppid=26241 vsize=10541360 CPUtime=0.17 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 11822 0 1 0 16 1 0 0 19 0 19 0 834097700 10794352640 13550 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10541360
[startup+0.301221 s]
/proc/loadavg: 2.10 2.06 2.01 2/516 26243
/proc/meminfo: memFree=25532604/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10547136 CPUtime=0.47 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 17301 0 1 0 45 2 0 0 25 0 19 0 834097699 10800267264 15848 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2636784 15849 2198 9 0 2627518 0
[pid=26243/tid=26244] ppid=26241 vsize=10547136 CPUtime=0.27 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 12662 0 1 0 26 1 0 0 19 0 19 0 834097700 10800267264 15850 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505545254 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10547136
[startup+0.701121 s]
/proc/loadavg: 2.10 2.06 2.01 2/516 26243
/proc/meminfo: memFree=25532604/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10556704 CPUtime=1.56 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 42415 0 1 0 151 5 0 0 25 0 19 0 834097699 10810064896 37307 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2639176 37310 2220 9 0 2629910 0
[pid=26243/tid=26244] ppid=26241 vsize=10556704 CPUtime=0.67 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 26666 0 1 0 64 3 0 0 19 0 19 0 834097700 10810064896 37312 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505542101 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10556704
[startup+1.50106 s]
/proc/loadavg: 2.33 2.11 2.02 3/535 26262
/proc/meminfo: memFree=25268404/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10557868 CPUtime=2.88 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 109595 0 1 0 274 14 0 0 25 0 19 0 834097699 10811256832 103235 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2639467 103240 2225 9 0 2630201 0
[pid=26243/tid=26244] ppid=26241 vsize=10557868 CPUtime=1.47 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 93119 0 1 0 136 11 0 0 21 0 19 0 834097700 10811256832 103241 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505542162 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103243 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103245 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103246 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103246 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103246 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103249 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103251 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 103253 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834097703 10811256832 103256 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834097704 10811256832 103258 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834097704 10811256832 103261 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10811256832 103263 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10557868 CPUtime=0.75 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) R 26241 26243 24816 0 -1 4202560 6577 0 0 0 75 0 0 0 15 0 19 0 834097706 10811256832 103265 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 47833193852744 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10557868 CPUtime=0.62 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 8746 0 0 0 61 1 0 0 18 0 19 0 834097706 10811256832 103268 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26260] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26260/stat : 26260 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10811256832 103270 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26261] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26261/stat : 26261 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834097706 10811256832 103273 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26262] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10811256832 103275 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10557868
[startup+3.10078 s]
/proc/loadavg: 2.33 2.11 2.02 3/535 26262
/proc/meminfo: memFree=24852880/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10557868 CPUtime=4.5 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 261258 0 1 0 419 31 0 0 25 0 19 0 834097699 10811256832 254897 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2639467 254901 2225 9 0 2630201 0
[pid=26243/tid=26244] ppid=26241 vsize=10557868 CPUtime=3.07 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 244779 0 1 0 278 29 0 0 19 0 19 0 834097700 10811256832 254902 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505582747 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254904 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254905 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254908 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254910 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254912 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254914 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254916 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10811256832 254919 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834097703 10811256832 254922 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834097704 10811256832 254925 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834097704 10811256832 254928 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10811256832 254931 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10557868 CPUtime=0.76 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) S 26241 26243 24816 0 -1 4202560 6577 0 0 0 76 0 0 0 15 0 19 0 834097706 10811256832 254934 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10557868 CPUtime=0.64 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 8748 0 0 0 63 1 0 0 15 0 19 0 834097706 10811256832 254935 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26260] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26260/stat : 26260 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10811256832 254937 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26261] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26261/stat : 26261 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834097706 10811256832 254939 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26262] ppid=26241 vsize=10557868 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10811256832 254941 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10557868
[startup+6.30125 s]
/proc/loadavg: 2.33 2.11 2.02 3/535 26262
/proc/meminfo: memFree=23642024/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10554900 CPUtime=7.72 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 548618 0 1 0 709 63 0 0 25 0 19 0 834097699 10808217600 541212 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2638725 541214 2226 9 0 2629459 0
[pid=26243/tid=26244] ppid=26241 vsize=10554900 CPUtime=6.27 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 532135 0 1 0 567 60 0 0 25 0 19 0 834097700 10808217600 541216 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505582724 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541218 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541220 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541222 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541223 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541223 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541225 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541228 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097702 10808217600 541230 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834097703 10808217600 541232 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834097704 10808217600 541234 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834097704 10808217600 541235 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 541236 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10554900 CPUtime=0.78 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) S 26241 26243 24816 0 -1 4202560 6580 0 0 0 78 0 0 0 15 0 19 0 834097706 10808217600 541238 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10554900 CPUtime=0.64 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 8748 0 0 0 63 1 0 0 16 0 19 0 834097706 10808217600 541240 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=26243/tid=26262] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10808217600 943228 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.88
Current children cumulated vsize (KiB) 10554900
[startup+1722.3 s]
/proc/loadavg: 2.34 2.09 2.02 3/535 26405
/proc/meminfo: memFree=23911748/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10554900 CPUtime=1729.09 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 955387 0 1 0 172792 117 0 0 25 0 19 0 834097699 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2638725 943262 2257 9 0 2629459 0
[pid=26243/tid=26244] ppid=26241 vsize=10554900 CPUtime=1717.15 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 833140 0 1 0 171620 95 0 0 25 0 19 0 834097700 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505542162 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10554900 CPUtime=0.97 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 11236 0 0 0 96 1 0 0 16 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10554900 CPUtime=0.92 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 11434 0 0 0 91 1 0 0 16 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10554900 CPUtime=0.76 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 8863 0 0 0 75 1 0 0 16 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10554900 CPUtime=0.88 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 11754 0 0 0 87 1 0 0 16 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10554900 CPUtime=0.85 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 12945 0 0 0 84 1 0 0 15 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10554900 CPUtime=0.97 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 13197 0 0 0 95 2 0 0 15 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10554900 CPUtime=0.82 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 10382 0 0 0 81 1 0 0 15 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10554900 CPUtime=0.71 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 9746 0 0 0 70 1 0 0 15 0 19 0 834097702 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10554900 CPUtime=2.83 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 12698 0 0 0 280 3 0 0 15 0 19 0 834097703 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10554900 CPUtime=0.84 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) S 26241 26243 24816 0 -1 4202560 6595 0 0 0 84 0 0 0 16 0 19 0 834097706 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10554900 CPUtime=1.21 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 12149 0 0 0 120 1 0 0 15 0 19 0 834097706 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26260] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26260/stat : 26260 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26261] ppid=26241 vsize=10554900 CPUtime=0.04 cores=0,2,4,6
/proc/26243/task/26261/stat : 26261 (java) S 26241 26243 24816 0 -1 4202560 100 0 0 0 3 1 0 0 15 0 19 0 834097706 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26262] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10808217600 943262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.09
Current children cumulated vsize (KiB) 10554900
[startup+1782.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/535 26407
/proc/meminfo: memFree=22587432/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10554900 CPUtime=1789.34 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 956413 0 1 0 178817 117 0 0 25 0 19 0 834097699 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2638725 944262 2257 9 0 2629459 0
[pid=26243/tid=26244] ppid=26241 vsize=10554900 CPUtime=1777.06 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 833145 0 1 0 177611 95 0 0 25 0 19 0 834097700 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505746202 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10554900 CPUtime=1.02 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 11379 0 0 0 101 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10554900 CPUtime=1.01 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 11612 0 0 0 100 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10554900 CPUtime=0.78 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 8886 0 0 0 77 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10554900 CPUtime=0.91 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 11916 0 0 0 90 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10554900 CPUtime=0.88 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 13131 0 0 0 87 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10554900 CPUtime=1.02 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 13297 0 0 0 100 2 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10554900 CPUtime=0.86 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 10434 0 0 0 85 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10554900 CPUtime=0.75 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 9915 0 0 0 74 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10554900 CPUtime=2.83 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 12702 0 0 0 280 3 0 0 15 0 19 0 834097703 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10554900 CPUtime=0.84 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) S 26241 26243 24816 0 -1 4202560 6595 0 0 0 84 0 0 0 16 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10554900 CPUtime=1.21 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 12149 0 0 0 120 1 0 0 15 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26260] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26260/stat : 26260 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26261] ppid=26241 vsize=10554900 CPUtime=0.04 cores=0,2,4,6
/proc/26243/task/26261/stat : 26261 (java) S 26241 26243 24816 0 -1 4202560 104 0 0 0 3 1 0 0 15 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26262] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1789.34
Current children cumulated vsize (KiB) 10554900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793 s]
/proc/loadavg: 2.16 2.09 2.02 4/535 26407
/proc/meminfo: memFree=22538576/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=10554900 CPUtime=1800.08 cores=0,2,4,6
/proc/26243/stat : 26243 (java) S 26241 26243 24816 0 -1 4202496 956413 0 1 0 179891 117 0 0 25 0 19 0 834097699 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 2638725 944262 2257 9 0 2629459 0
[pid=26243/tid=26244] ppid=26241 vsize=10554900 CPUtime=1787.79 cores=0,2,4,6
/proc/26243/task/26244/stat : 26244 (java) R 26241 26243 24816 0 -1 4202560 833145 0 1 0 178684 95 0 0 25 0 19 0 834097700 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 46912505558810 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26243/tid=26246] ppid=26241 vsize=10554900 CPUtime=1.02 cores=0,2,4,6
/proc/26243/task/26246/stat : 26246 (java) S 26241 26243 24816 0 -1 4202560 11379 0 0 0 101 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26247] ppid=26241 vsize=10554900 CPUtime=1.01 cores=0,2,4,6
/proc/26243/task/26247/stat : 26247 (java) S 26241 26243 24816 0 -1 4202560 11612 0 0 0 100 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26248] ppid=26241 vsize=10554900 CPUtime=0.78 cores=0,2,4,6
/proc/26243/task/26248/stat : 26248 (java) S 26241 26243 24816 0 -1 4202560 8886 0 0 0 77 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26249] ppid=26241 vsize=10554900 CPUtime=0.91 cores=0,2,4,6
/proc/26243/task/26249/stat : 26249 (java) S 26241 26243 24816 0 -1 4202560 11916 0 0 0 90 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26250] ppid=26241 vsize=10554900 CPUtime=0.88 cores=0,2,4,6
/proc/26243/task/26250/stat : 26250 (java) S 26241 26243 24816 0 -1 4202560 13131 0 0 0 87 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26251] ppid=26241 vsize=10554900 CPUtime=1.02 cores=0,2,4,6
/proc/26243/task/26251/stat : 26251 (java) S 26241 26243 24816 0 -1 4202560 13297 0 0 0 100 2 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26252] ppid=26241 vsize=10554900 CPUtime=0.86 cores=0,2,4,6
/proc/26243/task/26252/stat : 26252 (java) S 26241 26243 24816 0 -1 4202560 10434 0 0 0 85 1 0 0 16 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26253] ppid=26241 vsize=10554900 CPUtime=0.75 cores=0,2,4,6
/proc/26243/task/26253/stat : 26253 (java) S 26241 26243 24816 0 -1 4202560 9915 0 0 0 74 1 0 0 15 0 19 0 834097702 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=10554900 CPUtime=2.83 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) S 26241 26243 24816 0 -1 4202560 12702 0 0 0 280 3 0 0 15 0 19 0 834097703 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 0 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26255] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26255/stat : 26255 (java) S 26241 26243 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26256] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26256/stat : 26256 (java) S 26241 26243 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834097704 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26257] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26257/stat : 26257 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658970033 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26258] ppid=26241 vsize=10554900 CPUtime=0.84 cores=0,2,4,6
/proc/26243/task/26258/stat : 26258 (java) S 26241 26243 24816 0 -1 4202560 6595 0 0 0 84 0 0 0 16 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 2 0 0 0
[pid=26243/tid=26259] ppid=26241 vsize=10554900 CPUtime=1.21 cores=0,2,4,6
/proc/26243/task/26259/stat : 26259 (java) S 26241 26243 24816 0 -1 4202560 12149 0 0 0 120 1 0 0 15 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 4 0 0 0
[pid=26243/tid=26260] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26260/stat : 26260 (java) S 26241 26243 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962329 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
[pid=26243/tid=26261] ppid=26241 vsize=10554900 CPUtime=0.04 cores=0,2,4,6
/proc/26243/task/26261/stat : 26261 (java) S 26241 26243 24816 0 -1 4202560 104 0 0 0 3 1 0 0 15 0 19 0 834097706 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 0 0 0 0
[pid=26243/tid=26262] ppid=26241 vsize=10554900 CPUtime=0 cores=0,2,4,6
/proc/26243/task/26262/stat : 26262 (java) S 26241 26243 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834097718 10808217600 944262 33554432000 1073741824 1073778376 140735796061648 18446744073709551615 210658962944 0 4 0 16800975 18446604445919890240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10554900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.14 s]
/proc/loadavg: 2.16 2.09 2.02 4/535 26407
/proc/meminfo: memFree=22538576/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/26243/stat : 26243 (java) Z 26241 26243 24816 0 -1 4203548 956453 0 1 0 179899 124 0 0 17 0 2 0 834097699 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 0 0 0 0 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=0 CPUtime=2.9 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) R 26241 26243 24816 0 -1 4202564 12703 0 0 0 280 10 0 0 16 0 2 0 834097703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1793.2 s]
/proc/loadavg: 2.16 2.09 2.02 4/535 26407
/proc/meminfo: memFree=22538576/32951132 swapFree=57925096/67111528
[pid=26243] ppid=26241 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/26243/stat : 26243 (java) Z 26241 26243 24816 0 -1 4203548 956453 0 1 0 179899 130 0 0 17 0 2 0 834097699 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26243/statm: 0 0 0 0 0 0 0
[pid=26243/tid=26254] ppid=26241 vsize=0 CPUtime=2.96 cores=0,2,4,6
/proc/26243/task/26254/stat : 26254 (java) R 26241 26243 24816 0 -1 4202564 12703 0 0 0 280 16 0 0 16 0 2 0 834097703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.21
CPU time (s): 1800.31
CPU user time (s): 1799
CPU system time (s): 1.3148
CPU usage (%): 100.396
Max. virtual memory (cumulated for all children) (KiB): 10557868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 956453
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= 40895
involuntary context switches= 10813
runsolver used 10.1385 second user time and 20.5869 second system time
The end