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-3456647-1307221254/watcher-3456647-1307221254 -o /tmp/evaluation-result-3456647-1307221254/solver-3456647-1307221254 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456647-1307221254.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.05 2.04 2/539 5358
/proc/meminfo: memFree=17056860/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 814540846 31260672 956 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 7632 956 730 9 0 383 0
[pid=5358/tid=5359] ppid=5356 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 6241 0 1 0 0 0 0 0 25 0 2 0 814540847 10694979584 7056 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.123348 s]
/proc/loadavg: 1.94 2.05 2.04 2/539 5358
/proc/meminfo: memFree=17056860/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10539688 CPUtime=0.13 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 13382 0 1 0 12 1 0 0 25 0 18 0 814540846 10792640512 13067 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2634922 13067 2134 9 0 2625656 0
[pid=5358/tid=5359] ppid=5356 vsize=10539688 CPUtime=0.1 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 11368 0 1 0 9 1 0 0 18 0 18 0 814540847 10792640512 13067 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539688
[startup+0.213259 s]
/proc/loadavg: 1.94 2.05 2.04 2/539 5358
/proc/meminfo: memFree=17056860/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10540660 CPUtime=0.32 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 14703 0 1 0 30 2 0 0 25 0 18 0 814540846 10793635840 14347 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2635165 14347 2191 9 0 2625899 0
[pid=5358/tid=5359] ppid=5356 vsize=10544208 CPUtime=0.22 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) D 5356 5358 4768 0 -1 4202560 12220 0 1 0 20 2 0 0 18 0 18 0 814540847 10797268992 16580 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505550313 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10540660
[startup+0.495329 s]
/proc/loadavg: 1.94 2.05 2.04 2/539 5358
/proc/meminfo: memFree=17056860/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10548272 CPUtime=0.96 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 35238 0 1 0 91 5 0 0 25 0 18 0 814540846 10801430528 32816 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637068 32819 2213 9 0 2627802 0
[pid=5358/tid=5359] ppid=5356 vsize=10548272 CPUtime=0.47 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 26448 0 1 0 44 3 0 0 18 0 18 0 814540847 10801430528 32821 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505586622 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10548272
[startup+0.704302 s]
/proc/loadavg: 1.94 2.05 2.04 2/539 5358
/proc/meminfo: memFree=17056860/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10548272 CPUtime=1.17 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 55064 0 1 0 110 7 0 0 25 0 18 0 814540846 10801430528 52642 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637068 52645 2213 9 0 2627802 0
[pid=5358/tid=5359] ppid=5356 vsize=10548272 CPUtime=0.68 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 46274 0 1 0 62 6 0 0 18 0 18 0 814540847 10801430528 52647 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505550302 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10548272
[startup+1.50107 s]
/proc/loadavg: 1.94 2.05 2.04 3/558 5377
/proc/meminfo: memFree=16680624/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10549920 CPUtime=2.38 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 111468 0 1 0 224 14 0 0 25 0 19 0 814540846 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637480 108329 2232 9 0 2628214 0
[pid=5358/tid=5359] ppid=5356 vsize=10549920 CPUtime=1.47 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 101689 0 1 0 135 12 0 0 20 0 19 0 814540847 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505897112 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 814540850 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540850 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540850 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10549920 CPUtime=0.4 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 3319 0 0 0 40 0 0 0 15 0 19 0 814540852 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10549920 CPUtime=0.48 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5303 0 0 0 48 0 0 0 15 0 19 0 814540852 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5375] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5375/stat : 5375 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5376] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5376/stat : 5376 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814540852 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5377] ppid=5356 vsize=10549920 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10803118080 108329 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10549920
[startup+3.10077 s]
/proc/loadavg: 1.94 2.05 2.04 3/558 5377
/proc/meminfo: memFree=16491520/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10548856 CPUtime=4.25 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 181536 0 1 0 404 21 0 0 25 0 19 0 814540846 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637214 177838 2236 9 0 2627948 0
[pid=5358/tid=5359] ppid=5356 vsize=10548856 CPUtime=3.06 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 171353 0 1 0 287 19 0 0 25 0 19 0 814540847 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505895911 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814540850 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540850 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540850 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10548856 CPUtime=0.55 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 3702 0 0 0 55 0 0 0 15 0 19 0 814540852 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10548856 CPUtime=0.61 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5321 0 0 0 61 0 0 0 15 0 19 0 814540852 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5375] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5375/stat : 5375 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5376] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5376/stat : 5376 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814540852 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5377] ppid=5356 vsize=10548856 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10802028544 177838 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10548856
[startup+6.30118 s]
/proc/loadavg: 1.94 2.05 2.04 3/558 5377
/proc/meminfo: memFree=15741816/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10551196 CPUtime=7.64 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 329711 0 1 0 727 37 0 0 25 0 19 0 814540846 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637799 326005 2239 9 0 2628533 0
[pid=5358/tid=5359] ppid=5356 vsize=10551196 CPUtime=6.25 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 318945 0 1 0 590 35 0 0 25 0 19 0 814540847 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505895959 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540849 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814540850 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814540850 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814540850 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10551196 CPUtime=0.69 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 4276 0 0 0 69 0 0 0 15 0 19 0 814540852 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10551196 CPUtime=0.67 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5329 0 0 0 67 0 0 0 15 0 19 0 814540852 10804424704 326005 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=5358/tid=5377] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10804424704 930702 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1669.67
Current children cumulated vsize (KiB) 10551196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/558 5529
/proc/meminfo: memFree=13461372/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10551196 CPUtime=1729.92 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 936193 0 1 0 172883 109 0 0 25 0 19 0 814540846 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637799 931441 2268 9 0 2628533 0
[pid=5358/tid=5359] ppid=5356 vsize=10551196 CPUtime=1717.82 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 811414 0 1 0 171693 89 0 0 25 0 19 0 814540847 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505867993 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10551196 CPUtime=1.29 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 14847 0 0 0 127 2 0 0 16 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10551196 CPUtime=0.88 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 13155 0 0 0 87 1 0 0 16 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10551196 CPUtime=1.15 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 11674 0 0 0 113 2 0 0 15 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10551196 CPUtime=0.97 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 6368 0 0 0 96 1 0 0 15 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10551196 CPUtime=0.89 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 14914 0 0 0 88 1 0 0 15 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10551196 CPUtime=1.09 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 13627 0 0 0 107 2 0 0 16 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10551196 CPUtime=1.01 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 7761 0 0 0 100 1 0 0 16 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10551196 CPUtime=1.03 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 10268 0 0 0 102 1 0 0 15 0 19 0 814540849 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10551196 CPUtime=1.8 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 21221 0 0 0 177 3 0 0 15 0 19 0 814540850 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10551196 CPUtime=0.97 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 4326 0 0 0 97 0 0 0 15 0 19 0 814540852 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10551196 CPUtime=0.9 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5369 0 0 0 90 0 0 0 16 0 19 0 814540852 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5375] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5375/stat : 5375 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5376] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5376/stat : 5376 (java) S 5356 5358 4768 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814540852 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5377] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10804424704 931441 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.92
Current children cumulated vsize (KiB) 10551196
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/558 5531
/proc/meminfo: memFree=13453880/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10551196 CPUtime=1790.18 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 937717 0 1 0 178909 109 0 0 25 0 19 0 814540846 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637799 932953 2268 9 0 2628533 0
[pid=5358/tid=5359] ppid=5356 vsize=10551196 CPUtime=1777.26 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 811418 0 1 0 177637 89 0 0 25 0 19 0 814540847 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505915964 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10551196 CPUtime=1.34 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 14940 0 0 0 132 2 0 0 16 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10551196 CPUtime=0.89 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 13155 0 0 0 88 1 0 0 15 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10551196 CPUtime=1.21 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 11734 0 0 0 119 2 0 0 16 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10551196 CPUtime=1.03 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 6388 0 0 0 102 1 0 0 15 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10551196 CPUtime=0.92 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 14936 0 0 0 91 1 0 0 16 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10551196 CPUtime=1.12 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 13745 0 0 0 110 2 0 0 15 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10551196 CPUtime=1.07 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 7825 0 0 0 106 1 0 0 15 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10551196 CPUtime=1.1 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 10344 0 0 0 109 1 0 0 16 0 19 0 814540849 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10551196 CPUtime=2.25 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 22284 0 0 0 222 3 0 0 15 0 19 0 814540850 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10551196 CPUtime=0.97 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 4326 0 0 0 97 0 0 0 15 0 19 0 814540852 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10551196 CPUtime=0.9 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5369 0 0 0 90 0 0 0 16 0 19 0 814540852 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5375] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5375/stat : 5375 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5376] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5376/stat : 5376 (java) S 5356 5358 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814540852 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5377] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10804424704 932953 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1790.18
Current children cumulated vsize (KiB) 10551196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.12 s]
/proc/loadavg: 2.39 2.12 2.08 3/558 5531
/proc/meminfo: memFree=13452388/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=10551196 CPUtime=1800.07 cores=0,2,4,6
/proc/5358/stat : 5358 (java) S 5356 5358 4768 0 -1 4202496 937857 0 1 0 179898 109 0 0 25 0 19 0 814540846 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 2637799 933092 2268 9 0 2628533 0
[pid=5358/tid=5359] ppid=5356 vsize=10551196 CPUtime=1787.07 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4202560 811419 0 1 0 178618 89 0 0 25 0 19 0 814540847 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 46912505603536 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5358/tid=5361] ppid=5356 vsize=10551196 CPUtime=1.34 cores=0,2,4,6
/proc/5358/task/5361/stat : 5361 (java) S 5356 5358 4768 0 -1 4202560 14940 0 0 0 132 2 0 0 15 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5362] ppid=5356 vsize=10551196 CPUtime=0.92 cores=0,2,4,6
/proc/5358/task/5362/stat : 5362 (java) S 5356 5358 4768 0 -1 4202560 13182 0 0 0 91 1 0 0 16 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5363] ppid=5356 vsize=10551196 CPUtime=1.24 cores=0,2,4,6
/proc/5358/task/5363/stat : 5363 (java) S 5356 5358 4768 0 -1 4202560 11832 0 0 0 122 2 0 0 16 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5364] ppid=5356 vsize=10551196 CPUtime=1.03 cores=0,2,4,6
/proc/5358/task/5364/stat : 5364 (java) S 5356 5358 4768 0 -1 4202560 6388 0 0 0 102 1 0 0 15 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5365] ppid=5356 vsize=10551196 CPUtime=0.92 cores=0,2,4,6
/proc/5358/task/5365/stat : 5365 (java) S 5356 5358 4768 0 -1 4202560 14936 0 0 0 91 1 0 0 15 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 0 0 0 0
[pid=5358/tid=5366] ppid=5356 vsize=10551196 CPUtime=1.14 cores=0,2,4,6
/proc/5358/task/5366/stat : 5366 (java) S 5356 5358 4768 0 -1 4202560 13759 0 0 0 112 2 0 0 16 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
[pid=5358/tid=5367] ppid=5356 vsize=10551196 CPUtime=1.07 cores=0,2,4,6
/proc/5358/task/5367/stat : 5367 (java) S 5356 5358 4768 0 -1 4202560 7825 0 0 0 106 1 0 0 15 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5368] ppid=5356 vsize=10551196 CPUtime=1.1 cores=0,2,4,6
/proc/5358/task/5368/stat : 5368 (java) S 5356 5358 4768 0 -1 4202560 10344 0 0 0 109 1 0 0 15 0 19 0 814540849 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5369] ppid=5356 vsize=10551196 CPUtime=2.25 cores=0,2,4,6
/proc/5358/task/5369/stat : 5369 (java) S 5356 5358 4768 0 -1 4202560 22284 0 0 0 222 3 0 0 15 0 19 0 814540850 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 0 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5370] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5370/stat : 5370 (java) S 5356 5358 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5371] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5371/stat : 5371 (java) S 5356 5358 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814540850 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5372] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5372/stat : 5372 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107274673 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5373] ppid=5356 vsize=10551196 CPUtime=0.97 cores=0,2,4,6
/proc/5358/task/5373/stat : 5373 (java) S 5356 5358 4768 0 -1 4202560 4326 0 0 0 97 0 0 0 15 0 19 0 814540852 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5374] ppid=5356 vsize=10551196 CPUtime=0.9 cores=0,2,4,6
/proc/5358/task/5374/stat : 5374 (java) S 5356 5358 4768 0 -1 4202560 5369 0 0 0 90 0 0 0 16 0 19 0 814540852 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5375] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5375/stat : 5375 (java) S 5356 5358 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540852 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107266969 0 4 0 16800975 18446604444115683264 0 0 -1 6 0 0 0
[pid=5358/tid=5376] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5376/stat : 5376 (java) S 5356 5358 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814540852 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 4 0 0 0
[pid=5358/tid=5377] ppid=5356 vsize=10551196 CPUtime=0 cores=0,2,4,6
/proc/5358/task/5377/stat : 5377 (java) S 5356 5358 4768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814540958 10804424704 933092 33554432000 1073741824 1073778376 140734207721024 18446744073709551615 228107267584 0 4 0 16800975 18446604444115683264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10551196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.23 s]
/proc/loadavg: 2.39 2.12 2.08 3/558 5531
/proc/meminfo: memFree=13452388/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/5358/stat : 5358 (java) Z 5356 5358 4768 0 -1 4203548 937886 0 1 0 179906 114 0 0 17 0 2 0 814540846 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 0 0 0 0 0 0 0
[pid=5358/tid=5359] ppid=5356 vsize=0 CPUtime=1787.15 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4203588 811419 0 1 0 178622 93 0 0 18 0 2 0 814540847 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1792.3 s]
/proc/loadavg: 2.39 2.12 2.08 3/558 5531
/proc/meminfo: memFree=13452388/32951124 swapFree=58800704/67111528
[pid=5358] ppid=5356 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/5358/stat : 5358 (java) Z 5356 5358 4768 0 -1 4203548 937886 0 1 0 179906 121 0 0 17 0 2 0 814540846 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5358/statm: 0 0 0 0 0 0 0
[pid=5358/tid=5359] ppid=5356 vsize=0 CPUtime=1787.23 cores=0,2,4,6
/proc/5358/task/5359/stat : 5359 (java) R 5356 5358 4768 0 -1 4203588 811419 0 1 0 178622 101 0 0 18 0 2 0 814540847 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.33
CPU time (s): 1800.31
CPU user time (s): 1799.07
CPU system time (s): 1.24581
CPU usage (%): 100.446
Max. virtual memory (cumulated for all children) (KiB): 10551196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937886
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= 39895
involuntary context switches= 18598
runsolver used 9.99648 second user time and 21.1578 second system time
The end