runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3500799-1308036301/watcher-3500799-1308036301 -o /var/tmp/evaluation-result-3500799-1308036301/solver-3500799-1308036301 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500799-1308036301.gcnf
running on 2 cores: 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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.40 0.33 0.11 4/221 12252
/proc/meminfo: memFree=11145360/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=11804 CPUtime=0 cores=5,7
/proc/12252/stat : 12252 (runsolver) S 12250 12252 11983 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 896046765 12087296 51 33554432000 4194304 5436572 140736752857008 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 5 0 0 0
/proc/12252/statm: 2951 51 31 304 0 2643 0
[startup+0.015173 s]
/proc/loadavg: 1.40 0.33 0.11 4/221 12252
/proc/meminfo: memFree=11145360/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=11804 CPUtime=0 cores=5,7
/proc/12252/stat : 12252 (runsolver) S 12250 12252 11983 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 1 0 896046765 12087296 56 33554432000 4194304 5436572 140736752857008 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 5 0 0 0
/proc/12252/statm: 2951 56 36 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100263 s]
/proc/loadavg: 1.40 0.33 0.11 4/221 12252
/proc/meminfo: memFree=11145360/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=35820 CPUtime=0 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 1365 0 1 0 0 0 0 0 21 0 2 0 896046765 36679680 1066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 8955 1066 828 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35820
[startup+0.301738 s]
/proc/loadavg: 1.40 0.33 0.11 4/221 12252
/proc/meminfo: memFree=11145360/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6430172 CPUtime=0.17 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 19543 0 1 0 15 2 0 0 21 0 18 0 896046765 6584496128 19238 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1607543 19238 2127 9 0 1598281 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6430172
[startup+0.701049 s]
/proc/loadavg: 1.40 0.33 0.11 4/221 12252
/proc/meminfo: memFree=11145360/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6433592 CPUtime=0.74 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 35916 0 1 0 70 4 0 0 21 0 18 0 896046765 6587998208 35268 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1608398 35270 2201 9 0 1599136 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 6433592
[startup+1.50091 s]
/proc/loadavg: 1.40 0.33 0.11 6/260 12297
/proc/meminfo: memFree=10810500/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6433592 CPUtime=1.54 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 74055 0 1 0 145 9 0 0 21 0 18 0 896046765 6587998208 73406 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1608398 73408 2202 9 0 1599136 0
[pid=12252/tid=12259] ppid=12250 vsize=6433592 CPUtime=1.34 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 71015 0 1 0 125 9 0 0 18 0 18 0 896046772 6587998208 73409 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505515781 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896046777 6587998208 73410 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 896046777 6587998208 73411 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73412 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73413 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73414 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73415 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73417 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 73418 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896046778 6587998208 73419 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896046779 6587998208 73420 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896046779 6587998208 73422 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896046783 6587998208 73423 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6433592 CPUtime=0.01 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 74 0 0 0 1 0 0 0 18 0 18 0 896046783 6587998208 73424 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6433592 CPUtime=0.17 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 1815 0 0 0 17 0 0 0 17 0 18 0 896046783 6587998208 73425 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896046783 6587998208 73427 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896046783 6587998208 73428 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 6433592
[startup+3.10064 s]
/proc/loadavg: 1.40 0.33 0.11 7/260 12297
/proc/meminfo: memFree=10360880/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6433592 CPUtime=3.15 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 149486 0 1 0 297 18 0 0 21 0 18 0 896046765 6587998208 148837 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1608398 148839 2202 9 0 1599136 0
[pid=12252/tid=12259] ppid=12250 vsize=6433592 CPUtime=2.94 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 146445 0 1 0 276 18 0 0 21 0 18 0 896046772 6587998208 148839 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505516044 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896046777 6587998208 148841 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 896046777 6587998208 148842 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148843 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148844 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148845 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148846 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148847 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046777 6587998208 148848 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 896046778 6587998208 148849 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896046779 6587998208 148850 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896046779 6587998208 148851 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896046783 6587998208 148852 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6433592 CPUtime=0.01 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 74 0 0 0 1 0 0 0 18 0 18 0 896046783 6587998208 148854 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6433592 CPUtime=0.17 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 1815 0 0 0 17 0 0 0 17 0 18 0 896046783 6587998208 148855 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896046783 6587998208 148856 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6433592 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896046783 6587998208 148857 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 6433592
[startup+6.30107 s]
/proc/loadavg: 1.61 0.39 0.13 7/260 12297
/proc/meminfo: memFree=8927692/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6438368 CPUtime=6.85 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 279051 0 1 0 649 36 0 0 21 0 19 0 896046765 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1609592 277066 2226 9 0 1600330 0
[pid=12252/tid=12259] ppid=12250 vsize=6438368 CPUtime=6.14 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 273652 0 1 0 579 35 0 0 20 0 19 0 896046772 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505774712 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046777 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 896046778 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 896046779 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896046779 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896046783 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6438368 CPUtime=0.36 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 2248 0 0 0 36 0 0 0 15 0 19 0 896046783 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6438368 CPUtime=0.32 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 1986 0 0 0 32 0 0 0 15 0 19 0 896046783 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896046783 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6438368 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 896046783 6592888832 277066 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 6438368
[startup+12.701 s]
/proc/loadavg: 1.80 0.45 0.15 5/262 12303
/proc/meminfo: memFree=8399808/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6438368 CPUtime=13.44 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 279235 0 1 0 1308 36 0 0 21 0 19 0 896046765 6592888832 277247 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1609592 277247 2232 9 0 1600330 0
[pid=12252/tid=12259] ppid=12250 vsize=6438368 CPUtime=12.54 cores=5,7
################
# More data... #
################
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 3399 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 2016 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=30404] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/30404/stat : 30404 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896185343 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.05
Current children cumulated vsize (KiB) 6436712
[startup+1722.3 s]
/proc/loadavg: 4.10 4.07 3.43 5/262 1230
/proc/meminfo: memFree=5424248/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6436712 CPUtime=1725.14 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 653042 0 1 0 172437 77 0 0 21 0 19 0 896046765 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1609178 647863 2260 9 0 1599916 0
[pid=12252/tid=12259] ppid=12250 vsize=6436712 CPUtime=1709.79 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 390894 0 1 0 170932 47 0 0 25 0 19 0 896046772 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505768261 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6436712 CPUtime=0.49 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 30394 0 0 0 46 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6436712 CPUtime=0.61 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 35454 0 0 0 57 4 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6436712 CPUtime=0.67 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 27001 0 0 0 65 2 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6436712 CPUtime=0.28 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 12965 0 0 0 27 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 8887 0 0 0 19 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 2070 0 0 0 20 0 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 30932 0 0 0 59 3 0 0 16 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6436712 CPUtime=0.5 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 36882 0 0 0 47 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6436712 CPUtime=10.41 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 70878 0 0 0 1034 7 0 0 15 0 19 0 896046778 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 3399 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 2016 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) R 12250 12252 11983 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12252/tid=30404] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/30404/stat : 30404 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896185343 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.14
Current children cumulated vsize (KiB) 6436712
[startup+1782.3 s]
/proc/loadavg: 4.04 4.06 3.47 5/261 1856
/proc/meminfo: memFree=4762020/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6436712 CPUtime=1785.14 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 653044 0 1 0 178437 77 0 0 21 0 19 0 896046765 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1609178 647863 2260 9 0 1599916 0
[pid=12252/tid=12259] ppid=12250 vsize=6436712 CPUtime=1769.8 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 390894 0 1 0 176933 47 0 0 25 0 19 0 896046772 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505768256 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6436712 CPUtime=0.49 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 30394 0 0 0 46 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6436712 CPUtime=0.61 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 35454 0 0 0 57 4 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6436712 CPUtime=0.67 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 27001 0 0 0 65 2 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6436712 CPUtime=0.28 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 12965 0 0 0 27 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 8887 0 0 0 19 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 2070 0 0 0 20 0 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 30932 0 0 0 59 3 0 0 16 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6436712 CPUtime=0.5 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 36882 0 0 0 47 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6436712 CPUtime=10.41 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 70878 0 0 0 1034 7 0 0 15 0 19 0 896046778 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 3399 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 2016 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=30404] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/30404/stat : 30404 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896185343 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 6436712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 4.03 4.05 3.47 4/242 2066
/proc/meminfo: memFree=7375572/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=6436712 CPUtime=1800.05 cores=5,7
/proc/12252/stat : 12252 (java) S 12250 12252 11983 0 -1 4202496 653046 0 1 0 179928 77 0 0 21 0 19 0 896046765 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 1609178 647863 2260 9 0 1599916 0
[pid=12252/tid=12259] ppid=12250 vsize=6436712 CPUtime=1784.7 cores=5,7
/proc/12252/task/12259/stat : 12259 (java) R 12250 12252 11983 0 -1 4202560 390894 0 1 0 178423 47 0 0 25 0 19 0 896046772 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 46912505856348 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12252/tid=12265] ppid=12250 vsize=6436712 CPUtime=0.49 cores=5,7
/proc/12252/task/12265/stat : 12265 (java) S 12250 12252 11983 0 -1 4202560 30394 0 0 0 46 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12266] ppid=12250 vsize=6436712 CPUtime=0.61 cores=5,7
/proc/12252/task/12266/stat : 12266 (java) S 12250 12252 11983 0 -1 4202560 35454 0 0 0 57 4 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12267] ppid=12250 vsize=6436712 CPUtime=0.67 cores=5,7
/proc/12252/task/12267/stat : 12267 (java) S 12250 12252 11983 0 -1 4202560 27001 0 0 0 65 2 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12268] ppid=12250 vsize=6436712 CPUtime=0.28 cores=5,7
/proc/12252/task/12268/stat : 12268 (java) S 12250 12252 11983 0 -1 4202560 12965 0 0 0 27 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12269] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12269/stat : 12269 (java) S 12250 12252 11983 0 -1 4202560 8887 0 0 0 19 1 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12270] ppid=12250 vsize=6436712 CPUtime=0.2 cores=5,7
/proc/12252/task/12270/stat : 12270 (java) S 12250 12252 11983 0 -1 4202560 2070 0 0 0 20 0 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12271] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12271/stat : 12271 (java) S 12250 12252 11983 0 -1 4202560 30932 0 0 0 59 3 0 0 16 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12272] ppid=12250 vsize=6436712 CPUtime=0.5 cores=5,7
/proc/12252/task/12272/stat : 12272 (java) S 12250 12252 11983 0 -1 4202560 36882 0 0 0 47 3 0 0 15 0 19 0 896046777 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12273] ppid=12250 vsize=6436712 CPUtime=10.41 cores=5,7
/proc/12252/task/12273/stat : 12273 (java) S 12250 12252 11983 0 -1 4202560 70878 0 0 0 1034 7 0 0 15 0 19 0 896046778 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 0 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12274] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12274/stat : 12274 (java) S 12250 12252 11983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12275] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12275/stat : 12275 (java) S 12250 12252 11983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896046779 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12277] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12277/stat : 12277 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118592433 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12278] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12278/stat : 12278 (java) S 12250 12252 11983 0 -1 4202560 3399 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
[pid=12252/tid=12279] ppid=12250 vsize=6436712 CPUtime=0.62 cores=5,7
/proc/12252/task/12279/stat : 12279 (java) S 12250 12252 11983 0 -1 4202560 2016 0 0 0 62 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12280] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12280/stat : 12280 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118584729 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=12281] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/12281/stat : 12281 (java) S 12250 12252 11983 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 896046783 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 7 0 0 0
[pid=12252/tid=30404] ppid=12250 vsize=6436712 CPUtime=0 cores=5,7
/proc/12252/task/30404/stat : 30404 (java) S 12250 12252 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896185343 6591193088 647863 33554432000 1073741824 1073778376 140736857126128 18446744073709551615 255118585344 0 4 0 16800975 18446604461149221824 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6436712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.31 s]
/proc/loadavg: 4.03 4.05 3.47 5/226 2069
/proc/meminfo: memFree=9472320/32951124 swapFree=67055536/67111528
[pid=12252] ppid=12250 vsize=0 CPUtime=1800.17 cores=5,7
/proc/12252/stat : 12252 (java) Z 12250 12252 11983 0 -1 4203548 653075 0 1 0 179933 84 0 0 17 0 2 0 896046765 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12252/statm: 0 0 0 0 0 0 0
[pid=12252/tid=2068] ppid=12250 vsize=0 CPUtime=0.07 cores=5,7
/proc/12252/task/2068/stat : 2068 (java) R 12250 12252 11983 0 -1 4203588 11 0 0 0 0 7 0 0 20 0 2 0 896226486 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.33
CPU time (s): 1800.2
CPU user time (s): 1799.34
CPU system time (s): 0.864868
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 6440504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.864868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653075
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= 37081
involuntary context switches= 12591
runsolver used 3.03754 second user time and 6.87695 second system time
The end