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-3457454-1307221264/watcher-3457454-1307221264 -o /tmp/evaluation-result-3457454-1307221264/solver-3457454-1307221264 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457454-1307221264.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.04 2.08 2.03 6/553 31228
/proc/meminfo: memFree=28816932/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 6959 0 1 0 0 0 0 0 25 0 2 0 833724318 10694979584 6661 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2611079 6675 917 9 0 2602235 0
[pid=31228/tid=31229] ppid=31226 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 5909 0 1 0 0 0 0 0 25 0 2 0 833724319 10694979584 6726 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.073856 s]
/proc/loadavg: 2.04 2.08 2.03 6/553 31228
/proc/meminfo: memFree=28816932/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 11880 0 1 0 5 1 0 0 25 0 18 0 833724318 10724442112 11577 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2618272 11577 1754 9 0 2609006 0
[pid=31228/tid=31229] ppid=31226 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 10706 0 1 0 5 1 0 0 25 0 18 0 833724319 10724442112 11577 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 47124534169050 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100852 s]
/proc/loadavg: 2.04 2.08 2.03 6/553 31228
/proc/meminfo: memFree=28816932/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10540452 CPUtime=0.1 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 13103 0 1 0 8 2 0 0 25 0 18 0 833724318 10793422848 12766 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2635113 12768 2093 9 0 2625847 0
[pid=31228/tid=31229] ppid=31226 vsize=10540452 CPUtime=0.08 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 11156 0 1 0 7 1 0 0 18 0 18 0 833724319 10793422848 12768 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 47124530415204 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540452
[startup+0.30082 s]
/proc/loadavg: 2.04 2.08 2.03 6/553 31228
/proc/meminfo: memFree=28816932/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10542404 CPUtime=0.43 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 14722 0 1 0 41 2 0 0 25 0 19 0 833724318 10795421696 14289 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2635601 14289 2207 9 0 2626335 0
[pid=31228/tid=31229] ppid=31226 vsize=10542404 CPUtime=0.28 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 12307 0 1 0 26 2 0 0 19 0 19 0 833724319 10795421696 14289 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505215728 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10542404
[startup+0.700716 s]
/proc/loadavg: 2.04 2.08 2.03 6/553 31228
/proc/meminfo: memFree=28816932/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10551900 CPUtime=1.52 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 32237 0 1 0 148 4 0 0 25 0 19 0 833724318 10805145600 28470 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2637975 28472 2222 9 0 2628709 0
[pid=31228/tid=31229] ppid=31226 vsize=10551900 CPUtime=0.68 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 19887 0 1 0 65 3 0 0 19 0 19 0 833724319 10805145600 28473 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505630396 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10551900
[startup+1.50161 s]
/proc/loadavg: 2.20 2.12 2.04 5/572 31293
/proc/meminfo: memFree=28578324/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=2.51 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 104035 0 1 0 240 11 0 0 25 0 19 0 833724318 10805518336 99996 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 100003 2225 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=1.48 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 91314 0 1 0 138 10 0 0 21 0 19 0 833724319 10805518336 100005 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505631370 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100010 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100015 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100018 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100021 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100025 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100029 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100033 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 100036 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 100040 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 100044 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 100049 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 100052 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.42 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3209 0 0 0 42 0 0 0 18 0 19 0 833724324 10805518336 100055 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.59 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8362 0 0 0 59 0 0 0 20 0 19 0 833724324 10805518336 100059 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31245] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31245/stat : 31245 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 100064 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31246] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31246/stat : 31246 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724324 10805518336 100067 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 100070 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10552264
[startup+3.10132 s]
/proc/loadavg: 2.20 2.12 2.04 3/572 31293
/proc/meminfo: memFree=27767332/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=4.16 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 192361 0 1 0 396 20 0 0 25 0 19 0 833724318 10805518336 188319 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 188321 2225 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=3.08 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 179598 0 1 0 289 19 0 0 25 0 19 0 833724319 10805518336 188325 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505630388 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188328 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188331 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188336 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188340 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188343 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188347 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188351 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 188356 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 188360 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 188363 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 188367 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 188372 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.43 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3232 0 0 0 43 0 0 0 15 0 19 0 833724324 10805518336 188376 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.63 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8377 0 0 0 63 0 0 0 15 0 19 0 833724324 10805518336 188379 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31245] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31245/stat : 31245 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 188383 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31246] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31246/stat : 31246 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724324 10805518336 188387 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 188392 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 10552264
[startup+6.30079 s]
/proc/loadavg: 2.18 2.11 2.04 3/572 31293
/proc/meminfo: memFree=25541052/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=7.48 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 444430 0 1 0 702 46 0 0 25 0 19 0 833724318 10805518336 439836 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 439838 2226 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=6.28 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 431643 0 1 0 584 44 0 0 25 0 19 0 833724319 10805518336 439840 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505592959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439842 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439844 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439845 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439847 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439849 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439850 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439852 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724321 10805518336 439853 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833724322 10805518336 439854 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 439856 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724322 10805518336 439858 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 439859 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.45 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3232 0 0 0 45 0 0 0 15 0 19 0 833724324 10805518336 439860 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.73 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8398 0 0 0 73 0 0 0 15 0 19 0 833724324 10805518336 439862 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 1043647 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.79
Current children cumulated vsize (KiB) 10552264
[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/572 31341
/proc/meminfo: memFree=20415392/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=1727.84 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 1059504 0 1 0 172663 121 0 0 25 0 19 0 833724318 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 1046305 2258 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=1719.48 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 788446 0 1 0 171866 82 0 0 25 0 19 0 833724319 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912506182785 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0.69 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 28455 0 0 0 66 3 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0.71 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 31295 0 0 0 67 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0.62 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 25479 0 0 0 58 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0.72 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 28951 0 0 0 68 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0.74 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 35476 0 0 0 70 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0.76 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 38851 0 0 0 72 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0.7 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 30906 0 0 0 66 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0.83 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 36143 0 0 0 78 5 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0.89 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 2545 0 0 0 89 0 0 0 15 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.66 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3282 0 0 0 66 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.9 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8424 0 0 0 90 0 0 0 16 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31245] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31245/stat : 31245 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31246] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31246/stat : 31246 (java) S 31226 31228 30535 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.84
Current children cumulated vsize (KiB) 10552264
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/572 31343
/proc/meminfo: memFree=20382640/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=1787.84 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 1059506 0 1 0 178663 121 0 0 25 0 19 0 833724318 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 1046305 2258 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=1779.48 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 788446 0 1 0 177866 82 0 0 25 0 19 0 833724319 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912506142636 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0.69 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 28455 0 0 0 66 3 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0.71 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 31295 0 0 0 67 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0.62 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 25479 0 0 0 58 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0.72 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 28951 0 0 0 68 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0.74 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 35476 0 0 0 70 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0.76 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 38851 0 0 0 72 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0.7 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 30906 0 0 0 66 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0.83 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 36143 0 0 0 78 5 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0.89 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 2545 0 0 0 89 0 0 0 15 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.66 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3282 0 0 0 66 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.9 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8424 0 0 0 90 0 0 0 16 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31245] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31245/stat : 31245 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31246] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31246/stat : 31246 (java) S 31226 31228 30535 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.84
Current children cumulated vsize (KiB) 10552264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/572 31343
/proc/meminfo: memFree=20382620/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=10552264 CPUtime=1800.06 cores=1,3,5,7
/proc/31228/stat : 31228 (java) S 31226 31228 30535 0 -1 4202496 1059508 0 1 0 179885 121 0 0 25 0 19 0 833724318 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 2638066 1046305 2258 9 0 2628800 0
[pid=31228/tid=31229] ppid=31226 vsize=10552264 CPUtime=1791.7 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4202560 788446 0 1 0 179088 82 0 0 25 0 19 0 833724319 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 46912505593156 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31228/tid=31231] ppid=31226 vsize=10552264 CPUtime=0.69 cores=1,3,5,7
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 30535 0 -1 4202560 28455 0 0 0 66 3 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31232] ppid=31226 vsize=10552264 CPUtime=0.71 cores=1,3,5,7
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 30535 0 -1 4202560 31295 0 0 0 67 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31233] ppid=31226 vsize=10552264 CPUtime=0.62 cores=1,3,5,7
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 30535 0 -1 4202560 25479 0 0 0 58 4 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31234] ppid=31226 vsize=10552264 CPUtime=0.72 cores=1,3,5,7
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 30535 0 -1 4202560 28951 0 0 0 68 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31235] ppid=31226 vsize=10552264 CPUtime=0.74 cores=1,3,5,7
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 30535 0 -1 4202560 35476 0 0 0 70 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31236] ppid=31226 vsize=10552264 CPUtime=0.76 cores=1,3,5,7
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 30535 0 -1 4202560 38851 0 0 0 72 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31237] ppid=31226 vsize=10552264 CPUtime=0.7 cores=1,3,5,7
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 30535 0 -1 4202560 30906 0 0 0 66 4 0 0 15 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31238] ppid=31226 vsize=10552264 CPUtime=0.83 cores=1,3,5,7
/proc/31228/task/31238/stat : 31238 (java) S 31226 31228 30535 0 -1 4202560 36143 0 0 0 78 5 0 0 16 0 19 0 833724321 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31239] ppid=31226 vsize=10552264 CPUtime=0.89 cores=1,3,5,7
/proc/31228/task/31239/stat : 31239 (java) S 31226 31228 30535 0 -1 4202560 2545 0 0 0 89 0 0 0 15 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 0 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31240] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31240/stat : 31240 (java) S 31226 31228 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31241] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31241/stat : 31241 (java) S 31226 31228 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833724322 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31242] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31242/stat : 31242 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256172465 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31243] ppid=31226 vsize=10552264 CPUtime=0.66 cores=1,3,5,7
/proc/31228/task/31243/stat : 31243 (java) S 31226 31228 30535 0 -1 4202560 3282 0 0 0 66 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
[pid=31228/tid=31244] ppid=31226 vsize=10552264 CPUtime=0.9 cores=1,3,5,7
/proc/31228/task/31244/stat : 31244 (java) S 31226 31228 30535 0 -1 4202560 8424 0 0 0 90 0 0 0 16 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 7 0 0 0
[pid=31228/tid=31245] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31245/stat : 31245 (java) S 31226 31228 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256164761 0 4 0 16800975 18446604460042646784 0 0 -1 3 0 0 0
[pid=31228/tid=31246] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31246/stat : 31246 (java) S 31226 31228 30535 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833724324 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 1 0 0 0
[pid=31228/tid=31265] ppid=31226 vsize=10552264 CPUtime=0 cores=1,3,5,7
/proc/31228/task/31265/stat : 31265 (java) S 31226 31228 30535 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724340 10805518336 1046305 33554432000 1073741824 1073778376 140735233230560 18446744073709551615 228256165376 0 4 0 16800975 18446604460042646784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10552264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.63 s]
/proc/loadavg: 2.01 2.04 2.01 3/572 31343
/proc/meminfo: memFree=20382620/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/31228/stat : 31228 (java) Z 31226 31228 30535 0 -1 4203548 1059548 0 1 0 179890 129 0 0 17 0 2 0 833724318 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 0 0 0 0 0 0 0
[pid=31228/tid=31229] ppid=31226 vsize=0 CPUtime=1791.8 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4203588 788446 0 1 0 179091 89 0 0 25 0 2 0 833724319 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.19
Current children cumulated vsize (KiB) 0
[startup+1794.7 s]
/proc/loadavg: 2.01 2.04 2.01 3/572 31343
/proc/meminfo: memFree=20382620/32951124 swapFree=58212616/67111528
[pid=31228] ppid=31226 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/31228/stat : 31228 (java) Z 31226 31228 30535 0 -1 4203548 1059548 0 1 0 179890 137 0 0 17 0 2 0 833724318 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 0 0 0 0 0 0 0
[pid=31228/tid=31229] ppid=31226 vsize=0 CPUtime=1791.88 cores=1,3,5,7
/proc/31228/task/31229/stat : 31229 (java) R 31226 31228 30535 0 -1 4203588 788446 0 1 0 179091 97 0 0 25 0 2 0 833724319 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.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.71
CPU time (s): 1800.29
CPU user time (s): 1798.9
CPU system time (s): 1.38779
CPU usage (%): 100.311
Max. virtual memory (cumulated for all children) (KiB): 10552264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.38779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059548
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= 38510
involuntary context switches= 27268
runsolver used 10.2554 second user time and 21.7897 second system time
The end