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-3457268-1307219479/watcher-3457268-1307219479 -o /tmp/evaluation-result-3457268-1307219479/solver-3457268-1307219479 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457268-1307219479.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: 2.01 2.05 1.97 3/516 5303
/proc/meminfo: memFree=24724544/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 1211 0 0 0 0 0 0 0 23 0 2 0 912178526 31313920 937 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 7645 942 717 9 0 383 0
[pid=5303/tid=5304] ppid=5301 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 5447 0 1 0 0 0 0 0 25 0 2 0 912178527 10694979584 6263 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0948139 s]
/proc/loadavg: 2.01 2.05 1.97 3/516 5303
/proc/meminfo: memFree=24724544/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10540256 CPUtime=0.1 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 12938 0 1 0 8 2 0 0 23 0 18 0 912178526 10793222144 12635 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2635064 12635 2093 9 0 2625798 0
[pid=5303/tid=5304] ppid=5301 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 11042 0 1 0 6 2 0 0 22 0 18 0 912178527 10793222144 12635 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 47620192202010 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540256
[startup+0.100811 s]
/proc/loadavg: 2.01 2.05 1.97 3/516 5303
/proc/meminfo: memFree=24724544/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10540256 CPUtime=0.1 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 13042 0 1 0 8 2 0 0 23 0 18 0 912178526 10793222144 12739 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2635064 12739 2093 9 0 2625798 0
[pid=5303/tid=5304] ppid=5301 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 11146 0 1 0 6 2 0 0 22 0 18 0 912178527 10793222144 12739 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251367231820 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540256
[startup+0.300776 s]
/proc/loadavg: 2.01 2.05 1.97 3/516 5303
/proc/meminfo: memFree=24724544/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10549464 CPUtime=0.57 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 17708 0 1 0 55 2 0 0 23 0 19 0 912178526 10802651136 16759 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2637366 16759 2210 9 0 2628100 0
[pid=5303/tid=5304] ppid=5301 vsize=10549464 CPUtime=0.28 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 13183 0 1 0 26 2 0 0 23 0 19 0 912178527 10802651136 16759 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505199175 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10549464
[startup+0.700703 s]
/proc/loadavg: 2.01 2.05 1.97 3/516 5303
/proc/meminfo: memFree=24724544/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=1.73 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 31172 0 1 0 169 4 0 0 23 0 19 0 912178526 10814226432 25563 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 25563 2230 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=0.68 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 17124 0 1 0 66 2 0 0 25 0 19 0 912178527 10814226432 25563 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505185958 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10560768
[startup+1.50155 s]
/proc/loadavg: 2.01 2.05 1.97 3/535 5322
/proc/meminfo: memFree=24088972/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=2.8 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 113625 0 1 0 269 11 0 0 23 0 19 0 912178526 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 107985 2233 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=1.47 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 99458 0 1 0 137 10 0 0 18 0 19 0 912178527 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912178529 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178530 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178530 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.69 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7526 0 0 0 69 0 0 0 17 0 19 0 912178532 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.61 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5481 0 0 0 61 0 0 0 15 0 19 0 912178532 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 107985 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10560768
[startup+3.10134 s]
/proc/loadavg: 2.01 2.05 1.97 3/535 5322
/proc/meminfo: memFree=23099824/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=4.43 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 311719 0 1 0 412 31 0 0 23 0 19 0 912178526 10814226432 306078 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 306081 2233 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=3.07 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 297553 0 1 0 277 30 0 0 18 0 19 0 912178527 10814226432 306082 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505845704 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306083 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306085 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306086 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306087 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306088 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306089 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306090 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178528 10814226432 306090 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912178529 10814226432 306091 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178530 10814226432 306091 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178530 10814226432 306091 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 306092 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.72 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7530 0 0 0 72 0 0 0 15 0 19 0 912178532 10814226432 306093 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.62 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5481 0 0 0 62 0 0 0 16 0 19 0 912178532 10814226432 306093 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 306093 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 306093 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 306095 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10560768
[startup+6.30074 s]
/proc/loadavg: 2.01 2.04 1.97 3/535 5322
/proc/meminfo: memFree=21324532/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=7.77 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 667787 0 1 0 707 70 0 0 23 0 19 0 912178526 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 662009 2251 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=6.25 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 651095 0 1 0 557 68 0 0 20 0 19 0 912178527 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505673581 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=0.01 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 1060 0 0 0 1 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 1079 0 0 0 0 0 0 0 18 0 19 0 912178528 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 912178529 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.78 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7548 0 0 0 78 0 0 0 16 0 19 0 912178532 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.67 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5494 0 0 0 67 0 0 0 15 0 19 0 912178532 10814226432 662009 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.94 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7578 0 0 0 94 0 0 0 16 0 19 0 912178532 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.7 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5502 0 0 0 70 0 0 0 15 0 19 0 912178532 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 994193 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.41
Current children cumulated vsize (KiB) 10560768
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 5417
/proc/meminfo: memFree=18727452/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=1730.76 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 1007119 0 1 0 172962 114 0 0 23 0 19 0 912178526 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 998355 2264 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=1717.58 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 830254 0 1 0 171671 87 0 0 25 0 19 0 912178527 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505530471 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=1.5 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 24661 0 0 0 147 3 0 0 15 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=1.25 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 20721 0 0 0 123 2 0 0 15 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=1.12 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 17801 0 0 0 110 2 0 0 16 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=1.22 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 22460 0 0 0 120 2 0 0 15 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=1.25 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 19916 0 0 0 122 3 0 0 16 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=1.15 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 15846 0 0 0 114 1 0 0 15 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=1.29 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 22757 0 0 0 127 2 0 0 16 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=1.04 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 16693 0 0 0 102 2 0 0 16 0 19 0 912178528 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=1.57 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 1677 0 0 0 154 3 0 0 15 0 19 0 912178529 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.94 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7578 0 0 0 94 0 0 0 16 0 19 0 912178532 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.72 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5504 0 0 0 72 0 0 0 15 0 19 0 912178532 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 998355 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.76
Current children cumulated vsize (KiB) 10560768
[startup+1782.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/535 5418
/proc/meminfo: memFree=18711388/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=1790.96 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 1009722 0 1 0 178982 114 0 0 23 0 19 0 912178526 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 1000928 2264 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=1777.48 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 830258 0 1 0 177661 87 0 0 25 0 19 0 912178527 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505676808 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=1.56 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 24942 0 0 0 153 3 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=1.31 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 21394 0 0 0 129 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=1.12 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 17801 0 0 0 110 2 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=1.24 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 22673 0 0 0 122 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=1.3 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 20428 0 0 0 127 3 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=1.19 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 16157 0 0 0 118 1 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=1.33 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 23226 0 0 0 131 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=1.06 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 16825 0 0 0 104 2 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=1.57 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 1681 0 0 0 154 3 0 0 15 0 19 0 912178529 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.94 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7578 0 0 0 94 0 0 0 16 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.72 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5504 0 0 0 72 0 0 0 15 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.96
Current children cumulated vsize (KiB) 10560768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.11 2.05 2.01 3/535 5428
/proc/meminfo: memFree=18709596/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=10560768 CPUtime=1800.07 cores=1,3,5,7
/proc/5303/stat : 5303 (java) S 5301 5303 4849 0 -1 4202496 1009722 0 1 0 179893 114 0 0 23 0 19 0 912178526 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 2640192 1000928 2264 9 0 2630926 0
[pid=5303/tid=5304] ppid=5301 vsize=10560768 CPUtime=1786.6 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4202560 830258 0 1 0 178573 87 0 0 25 0 19 0 912178527 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 46912505728406 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5303/tid=5306] ppid=5301 vsize=10560768 CPUtime=1.56 cores=1,3,5,7
/proc/5303/task/5306/stat : 5306 (java) S 5301 5303 4849 0 -1 4202560 24942 0 0 0 153 3 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5307] ppid=5301 vsize=10560768 CPUtime=1.31 cores=1,3,5,7
/proc/5303/task/5307/stat : 5307 (java) S 5301 5303 4849 0 -1 4202560 21394 0 0 0 129 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 7 0 0 0
[pid=5303/tid=5308] ppid=5301 vsize=10560768 CPUtime=1.12 cores=1,3,5,7
/proc/5303/task/5308/stat : 5308 (java) S 5301 5303 4849 0 -1 4202560 17801 0 0 0 110 2 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5309] ppid=5301 vsize=10560768 CPUtime=1.24 cores=1,3,5,7
/proc/5303/task/5309/stat : 5309 (java) S 5301 5303 4849 0 -1 4202560 22673 0 0 0 122 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5310] ppid=5301 vsize=10560768 CPUtime=1.3 cores=1,3,5,7
/proc/5303/task/5310/stat : 5310 (java) S 5301 5303 4849 0 -1 4202560 20428 0 0 0 127 3 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5311] ppid=5301 vsize=10560768 CPUtime=1.19 cores=1,3,5,7
/proc/5303/task/5311/stat : 5311 (java) S 5301 5303 4849 0 -1 4202560 16157 0 0 0 118 1 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5312] ppid=5301 vsize=10560768 CPUtime=1.33 cores=1,3,5,7
/proc/5303/task/5312/stat : 5312 (java) S 5301 5303 4849 0 -1 4202560 23226 0 0 0 131 2 0 0 16 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5313] ppid=5301 vsize=10560768 CPUtime=1.06 cores=1,3,5,7
/proc/5303/task/5313/stat : 5313 (java) S 5301 5303 4849 0 -1 4202560 16825 0 0 0 104 2 0 0 15 0 19 0 912178528 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5314] ppid=5301 vsize=10560768 CPUtime=1.57 cores=1,3,5,7
/proc/5303/task/5314/stat : 5314 (java) S 5301 5303 4849 0 -1 4202560 1681 0 0 0 154 3 0 0 15 0 19 0 912178529 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 0 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5315] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5315/stat : 5315 (java) S 5301 5303 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5316] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5316/stat : 5316 (java) S 5301 5303 4849 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178530 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5317] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5317/stat : 5317 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379370417 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5318] ppid=5301 vsize=10560768 CPUtime=0.94 cores=1,3,5,7
/proc/5303/task/5318/stat : 5318 (java) S 5301 5303 4849 0 -1 4202560 7578 0 0 0 94 0 0 0 16 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5319] ppid=5301 vsize=10560768 CPUtime=0.72 cores=1,3,5,7
/proc/5303/task/5319/stat : 5319 (java) S 5301 5303 4849 0 -1 4202560 5504 0 0 0 72 0 0 0 15 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 1 0 0 0
[pid=5303/tid=5320] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5320/stat : 5320 (java) S 5301 5303 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379362713 0 4 0 16800975 18446604463485066048 0 0 -1 5 0 0 0
[pid=5303/tid=5321] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5321/stat : 5321 (java) S 5301 5303 4849 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912178532 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
[pid=5303/tid=5322] ppid=5301 vsize=10560768 CPUtime=0 cores=1,3,5,7
/proc/5303/task/5322/stat : 5322 (java) S 5301 5303 4849 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912178555 10814226432 1000928 33554432000 1073741824 1073778376 140735639941040 18446744073709551615 251379363328 0 4 0 16800975 18446604463485066048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10560768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.6 s]
/proc/loadavg: 2.11 2.05 2.01 3/535 5428
/proc/meminfo: memFree=18709596/32950928 swapFree=34421304/67111528
[pid=5303] ppid=5301 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/5303/stat : 5303 (java) Z 5301 5303 4849 0 -1 4203548 1009756 0 1 0 179899 129 0 0 17 0 2 0 912178526 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5303/statm: 0 0 0 0 0 0 0
[pid=5303/tid=5304] ppid=5301 vsize=0 CPUtime=1786.78 cores=1,3,5,7
/proc/5303/task/5304/stat : 5304 (java) R 5301 5303 4849 0 -1 4203588 830258 0 1 0 178576 102 0 0 25 0 2 0 912178527 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.61
CPU time (s): 1800.29
CPU user time (s): 1799
CPU system time (s): 1.2958
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 10567136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.2958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009756
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= 41315
involuntary context switches= 23441
runsolver used 8.99663 second user time and 21.4287 second system time
The end