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-3454739-1307186750/watcher-3454739-1307186750 -o /tmp/evaluation-result-3454739-1307186750/solver-3454739-1307186750 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454739-1307186750.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.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 7666 0 1 0 0 1 0 0 25 0 2 0 811090278 10694979584 7368 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2611079 7382 917 9 0 2602235 0
[pid=31123/tid=31124] ppid=31121 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) R 31121 31123 28116 0 -1 4202560 6612 0 1 0 0 0 0 0 25 0 2 0 811090279 10694979584 7428 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.11232 s]
/proc/loadavg: 1.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10540096 CPUtime=0.12 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 13301 0 1 0 11 1 0 0 25 0 18 0 811090278 10793058304 12996 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2635024 12996 2133 9 0 2625758 0
[pid=31123/tid=31124] ppid=31121 vsize=10540096 CPUtime=0.1 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) R 31121 31123 28116 0 -1 4202560 11299 0 1 0 9 1 0 0 18 0 18 0 811090279 10793058304 12996 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 47394876686243 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540096
[startup+0.202458 s]
/proc/loadavg: 1.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10550108 CPUtime=1.99 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 37809 0 1 0 193 6 0 0 25 0 22 0 811090278 10803310592 32979 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2637527 32980 2236 9 0 2628261 0
[pid=31123/tid=31124] ppid=31121 vsize=10550108 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 19 0 22 0 811090279 10803310592 32981 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10550108
[startup+0.867024 s]
/proc/loadavg: 1.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10566668 CPUtime=2.89 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 57557 0 1 0 281 8 0 0 25 0 22 0 811090278 10820268032 50789 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2641667 50789 2253 9 0 2632401 0
[pid=31123/tid=31124] ppid=31121 vsize=10566668 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10820268032 50789 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10566668
[startup+0.900956 s]
/proc/loadavg: 1.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10566668 CPUtime=3 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 59292 0 1 0 291 9 0 0 25 0 22 0 811090278 10820268032 52524 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2641667 52528 2253 9 0 2632401 0
[pid=31123/tid=31124] ppid=31121 vsize=10566668 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10820268032 52530 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10566668
[startup+1.50091 s]
/proc/loadavg: 1.50 1.66 1.86 3/498 31123
/proc/meminfo: memFree=21033544/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10566668 CPUtime=4.35 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 82644 0 1 0 424 11 0 0 25 0 22 0 811090278 10820268032 75873 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2641667 75873 2256 9 0 2632401 0
[pid=31123/tid=31124] ppid=31121 vsize=10566668 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10820268032 75873 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10566668
[startup+3.10162 s]
/proc/loadavg: 1.50 1.66 1.86 6/520 31145
/proc/meminfo: memFree=20726424/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10566668 CPUtime=7.5 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 84064 0 1 0 739 11 0 0 25 0 22 0 811090278 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2641667 77289 2256 9 0 2632401 0
[pid=31123/tid=31124] ppid=31121 vsize=10566668 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 344 0 0 0 0 0 0 0 15 0 22 0 811090280 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 28116 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 811090280 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31128] ppid=31121 vsize=10566668 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 28116 0 -1 4202560 155 0 0 0 1 0 0 0 15 0 22 0 811090280 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31129] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 28116 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 811090281 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31130] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 28116 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 22 0 811090281 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31131] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 28116 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811090281 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31132] ppid=31121 vsize=10566668 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31132/stat : 31132 (java) S 31121 31123 28116 0 -1 4202560 272 0 0 0 1 0 0 0 15 0 22 0 811090281 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31133] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31133/stat : 31133 (java) S 31121 31123 28116 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 22 0 811090281 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31134] ppid=31121 vsize=10566668 CPUtime=0.15 cores=0,2,4,6
/proc/31123/task/31134/stat : 31134 (java) S 31121 31123 28116 0 -1 4202560 2651 0 0 0 15 0 0 0 16 0 22 0 811090282 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 0 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31135] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31135/stat : 31135 (java) S 31121 31123 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811090282 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31136] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31136/stat : 31136 (java) S 31121 31123 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811090282 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31137] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31137/stat : 31137 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273440177 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31138] ppid=31121 vsize=10566668 CPUtime=0.76 cores=0,2,4,6
/proc/31123/task/31138/stat : 31138 (java) S 31121 31123 28116 0 -1 4202560 6182 0 0 0 75 1 0 0 18 0 22 0 811090284 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31139] ppid=31121 vsize=10566668 CPUtime=0.86 cores=0,2,4,6
/proc/31123/task/31139/stat : 31139 (java) S 31121 31123 28116 0 -1 4202560 9694 0 0 0 85 1 0 0 15 0 22 0 811090284 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31140] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31140/stat : 31140 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31141] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31141/stat : 31141 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811090284 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31142] ppid=31121 vsize=10566668 CPUtime=2.74 cores=0,2,4,6
/proc/31123/task/31142/stat : 31142 (java) R 31121 31123 28116 0 -1 4202560 299 0 0 0 274 0 0 0 22 0 22 0 811090296 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505545727 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31123/tid=31143] ppid=31121 vsize=10566668 CPUtime=2.73 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) R 31121 31123 28116 0 -1 4202560 50955 0 0 0 268 5 0 0 25 0 22 0 811090296 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505216225 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10566668 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10820268032 77289 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 10566668
[startup+6.30105 s]
/proc/loadavg: 1.70 1.70 1.87 5/520 31194
/proc/meminfo: memFree=20783800/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10552608 CPUtime=13.7 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 85665 0 1 0 1358 12 0 0 25 0 22 0 811090278 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2638152 74685 2256 9 0 2628886 0
[pid=31123/tid=31124] ppid=31121 vsize=10552608 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 344 0 0 0 1 0 0 0 15 0 22 0 811090280 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 28116 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 22 0 811090280 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31128] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 28116 0 -1 4202560 155 0 0 0 2 0 0 0 15 0 22 0 811090280 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31129] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 28116 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 811090281 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31130] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 28116 0 -1 4202560 158 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31131] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 28116 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31132] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31132/stat : 31132 (java) S 31121 31123 28116 0 -1 4202560 272 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31133] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31133/stat : 31133 (java) S 31121 31123 28116 0 -1 4202560 207 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31134] ppid=31121 vsize=10552608 CPUtime=0.38 cores=0,2,4,6
/proc/31123/task/31134/stat : 31134 (java) S 31121 31123 28116 0 -1 4202560 4236 0 0 0 38 0 0 0 15 0 22 0 811090282 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 0 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31135] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31135/stat : 31135 (java) S 31121 31123 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811090282 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31136] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31136/stat : 31136 (java) S 31121 31123 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811090282 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31137] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31137/stat : 31137 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273440177 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31138] ppid=31121 vsize=10552608 CPUtime=0.76 cores=0,2,4,6
/proc/31123/task/31138/stat : 31138 (java) S 31121 31123 28116 0 -1 4202560 6182 0 0 0 75 1 0 0 18 0 22 0 811090284 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31139] ppid=31121 vsize=10552608 CPUtime=0.87 cores=0,2,4,6
/proc/31123/task/31139/stat : 31139 (java) S 31121 31123 28116 0 -1 4202560 9694 0 0 0 86 1 0 0 15 0 22 0 811090284 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31140] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31140/stat : 31140 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31141] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31141/stat : 31141 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811090284 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31142] ppid=31121 vsize=10552608 CPUtime=5.68 cores=0,2,4,6
/proc/31123/task/31142/stat : 31142 (java) R 31121 31123 28116 0 -1 4202560 308 0 0 0 568 0 0 0 25 0 22 0 811090296 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505534793 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31123/tid=31143] ppid=31121 vsize=10552608 CPUtime=5.67 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) R 31121 31123 28116 0 -1 4202560 50955 0 0 0 561 6 0 0 25 0 22 0 811090296 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505746193 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10805870592 74685 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.7
Current children cumulated vsize (KiB) 10552608
Solver just ended. Dumping a history of the last processes samples
[startup+6.90096 s]
/proc/loadavg: 1.70 1.70 1.87 5/520 31194
/proc/meminfo: memFree=20783800/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10552608 CPUtime=14.84 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 85756 0 1 0 1472 12 0 0 25 0 22 0 811090278 10805870592 74774 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2638152 74774 2256 9 0 2628886 0
[pid=31123/tid=31124] ppid=31121 vsize=10552608 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10805870592 74774 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 344 0 0 0 1 0 0 0 15 0 22 0 811090280 10805870592 74774 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
[pid=31123/tid=31143] ppid=31121 vsize=10552608 CPUtime=7.69 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) R 31121 31123 28116 0 -1 4202560 50957 0 0 0 763 6 0 0 25 0 22 0 811090296 10805870592 75081 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505746235 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10805870592 75081 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10805870592 75081 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.92
Current children cumulated vsize (KiB) 10552608
[startup+10.1014 s]
/proc/loadavg: 1.70 1.70 1.87 5/520 31194
/proc/meminfo: memFree=20767464/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10552608 CPUtime=20.97 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 86251 0 1 0 2085 12 0 0 25 0 22 0 811090278 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2638152 75258 2257 9 0 2628886 0
[pid=31123/tid=31124] ppid=31121 vsize=10552608 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 345 0 0 0 1 0 0 0 16 0 22 0 811090280 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 28116 0 -1 4202560 41 0 0 0 1 0 0 0 16 0 22 0 811090280 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31128] ppid=31121 vsize=10552608 CPUtime=0.03 cores=0,2,4,6
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 28116 0 -1 4202560 156 0 0 0 3 0 0 0 15 0 22 0 811090280 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31129] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 28116 0 -1 4202560 162 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31130] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 28116 0 -1 4202560 158 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31131] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 28116 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31132] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31132/stat : 31132 (java) S 31121 31123 28116 0 -1 4202560 272 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31133] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31133/stat : 31133 (java) S 31121 31123 28116 0 -1 4202560 209 0 0 0 2 0 0 0 16 0 22 0 811090281 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31134] ppid=31121 vsize=10552608 CPUtime=0.71 cores=0,2,4,6
/proc/31123/task/31134/stat : 31134 (java) S 31121 31123 28116 0 -1 4202560 4802 0 0 0 71 0 0 0 15 0 22 0 811090282 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 0 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31135] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31135/stat : 31135 (java) S 31121 31123 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811090282 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31136] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31136/stat : 31136 (java) S 31121 31123 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811090282 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31137] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31137/stat : 31137 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273440177 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31138] ppid=31121 vsize=10552608 CPUtime=0.76 cores=0,2,4,6
/proc/31123/task/31138/stat : 31138 (java) S 31121 31123 28116 0 -1 4202560 6182 0 0 0 75 1 0 0 18 0 22 0 811090284 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31139] ppid=31121 vsize=10552608 CPUtime=0.87 cores=0,2,4,6
/proc/31123/task/31139/stat : 31139 (java) S 31121 31123 28116 0 -1 4202560 9694 0 0 0 86 1 0 0 15 0 22 0 811090284 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31140] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31140/stat : 31140 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31141] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31141/stat : 31141 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811090284 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31142] ppid=31121 vsize=10552608 CPUtime=9.12 cores=0,2,4,6
/proc/31123/task/31142/stat : 31142 (java) R 31121 31123 28116 0 -1 4202560 317 0 0 0 912 0 0 0 25 0 22 0 811090296 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505567169 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31123/tid=31143] ppid=31121 vsize=10552608 CPUtime=9.13 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) R 31121 31123 28116 0 -1 4202560 50960 0 0 0 907 6 0 0 25 0 22 0 811090296 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505746160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10805870592 75258 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.97
Current children cumulated vsize (KiB) 10552608
[startup+10.5193 s]
/proc/loadavg: 1.80 1.72 1.88 5/520 31194
/proc/meminfo: memFree=20764612/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10552608 CPUtime=21.83 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 87221 0 1 0 2171 12 0 0 25 0 22 0 811090278 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2638152 76226 2258 9 0 2628886 0
[pid=31123/tid=31124] ppid=31121 vsize=10552608 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 811090280 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 28116 0 -1 4202560 41 0 0 0 1 0 0 0 16 0 22 0 811090280 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31128] ppid=31121 vsize=10552608 CPUtime=0.03 cores=0,2,4,6
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 28116 0 -1 4202560 156 0 0 0 3 0 0 0 15 0 22 0 811090280 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31129] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 28116 0 -1 4202560 162 0 0 0 1 0 0 0 16 0 22 0 811090281 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31130] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 28116 0 -1 4202560 158 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31131] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 28116 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31132] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31132/stat : 31132 (java) S 31121 31123 28116 0 -1 4202560 272 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31133] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31133/stat : 31133 (java) S 31121 31123 28116 0 -1 4202560 209 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31134] ppid=31121 vsize=10552608 CPUtime=0.73 cores=0,2,4,6
/proc/31123/task/31134/stat : 31134 (java) R 31121 31123 28116 0 -1 4202560 4802 0 0 0 73 0 0 0 15 0 22 0 811090282 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 47394879897672 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=31123/tid=31135] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31135/stat : 31135 (java) S 31121 31123 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811090282 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31136] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31136/stat : 31136 (java) S 31121 31123 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811090282 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31137] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31137/stat : 31137 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273440177 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31138] ppid=31121 vsize=10552608 CPUtime=0.81 cores=0,2,4,6
/proc/31123/task/31138/stat : 31138 (java) S 31121 31123 28116 0 -1 4202560 7150 0 0 0 80 1 0 0 17 0 22 0 811090284 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31139] ppid=31121 vsize=10552608 CPUtime=0.89 cores=0,2,4,6
/proc/31123/task/31139/stat : 31139 (java) S 31121 31123 28116 0 -1 4202560 9694 0 0 0 88 1 0 0 16 0 22 0 811090284 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31140] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31140/stat : 31140 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31141] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31141/stat : 31141 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811090284 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31142] ppid=31121 vsize=10552608 CPUtime=9.51 cores=0,2,4,6
/proc/31123/task/31142/stat : 31142 (java) S 31121 31123 28116 0 -1 4202560 319 0 0 0 951 0 0 0 25 0 22 0 811090296 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31143] ppid=31121 vsize=10552608 CPUtime=9.52 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) S 31121 31123 28116 0 -1 4202560 50960 0 0 0 946 6 0 0 25 0 22 0 811090296 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10805870592 76226 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (KiB) 10552608
[startup+10.7012 s]
/proc/loadavg: 1.80 1.72 1.88 5/520 31194
/proc/meminfo: memFree=20764612/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=10552608 CPUtime=22.35 cores=0,2,4,6
/proc/31123/stat : 31123 (java) S 31121 31123 28116 0 -1 4202496 89756 0 1 0 2223 12 0 0 25 0 22 0 811090278 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 2638152 77744 2258 9 0 2628886 0
[pid=31123/tid=31124] ppid=31121 vsize=10552608 CPUtime=0.16 cores=0,2,4,6
/proc/31123/task/31124/stat : 31124 (java) S 31121 31123 28116 0 -1 4202560 11738 0 1 0 14 2 0 0 15 0 22 0 811090279 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31126] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 28116 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 811090280 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31127] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 28116 0 -1 4202560 41 0 0 0 1 0 0 0 16 0 22 0 811090280 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31128] ppid=31121 vsize=10552608 CPUtime=0.03 cores=0,2,4,6
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 28116 0 -1 4202560 156 0 0 0 3 0 0 0 15 0 22 0 811090280 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31129] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 28116 0 -1 4202560 162 0 0 0 1 0 0 0 16 0 22 0 811090281 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31130] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 28116 0 -1 4202560 158 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31131] ppid=31121 vsize=10552608 CPUtime=0.01 cores=0,2,4,6
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 28116 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 22 0 811090281 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31132] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31132/stat : 31132 (java) S 31121 31123 28116 0 -1 4202560 272 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 0 0 0 0
[pid=31123/tid=31133] ppid=31121 vsize=10552608 CPUtime=0.02 cores=0,2,4,6
/proc/31123/task/31133/stat : 31133 (java) S 31121 31123 28116 0 -1 4202560 209 0 0 0 2 0 0 0 15 0 22 0 811090281 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31134] ppid=31121 vsize=10552608 CPUtime=0.75 cores=0,2,4,6
/proc/31123/task/31134/stat : 31134 (java) S 31121 31123 28116 0 -1 4202560 4941 0 0 0 75 0 0 0 16 0 22 0 811090282 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 0 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31135] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31135/stat : 31135 (java) S 31121 31123 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811090282 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31136] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31136/stat : 31136 (java) S 31121 31123 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811090282 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31137] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31137/stat : 31137 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273440177 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31138] ppid=31121 vsize=10552608 CPUtime=0.97 cores=0,2,4,6
/proc/31123/task/31138/stat : 31138 (java) R 31121 31123 28116 0 -1 4202560 9502 0 0 0 96 1 0 0 17 0 22 0 811090284 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 47394875861235 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31123/tid=31139] ppid=31121 vsize=10552608 CPUtime=0.9 cores=0,2,4,6
/proc/31123/task/31139/stat : 31139 (java) S 31121 31123 28116 0 -1 4202560 9738 0 0 0 89 1 0 0 15 0 22 0 811090284 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31140] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31140/stat : 31140 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811090284 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273432473 0 4 0 16800975 18446604445186396224 0 0 -1 4 0 0 0
[pid=31123/tid=31141] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31141/stat : 31141 (java) S 31121 31123 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811090284 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 6 0 0 0
[pid=31123/tid=31142] ppid=31121 vsize=10552608 CPUtime=9.67 cores=0,2,4,6
/proc/31123/task/31142/stat : 31142 (java) R 31121 31123 28116 0 -1 4202560 319 0 0 0 967 0 0 0 25 0 22 0 811090296 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505648095 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31123/tid=31143] ppid=31121 vsize=10552608 CPUtime=9.69 cores=0,2,4,6
/proc/31123/task/31143/stat : 31143 (java) R 31121 31123 28116 0 -1 4202560 50960 0 0 0 963 6 0 0 25 0 22 0 811090296 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 46912505746221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31123/tid=31144] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31144/stat : 31144 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811090296 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
[pid=31123/tid=31145] ppid=31121 vsize=10552608 CPUtime=0 cores=0,2,4,6
/proc/31123/task/31145/stat : 31145 (java) S 31121 31123 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811090296 10805870592 77744 33554432000 1073741824 1073778376 140736610741760 18446744073709551615 254273433088 0 4 0 16800975 18446604445186396224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 10552608
[startup+10.8012 s]
/proc/loadavg: 1.80 1.72 1.88 5/520 31194
/proc/meminfo: memFree=20764612/32951124 swapFree=67057928/67111528
[pid=31123] ppid=31121 vsize=0 CPUtime=22.45 cores=0,2,4,6
/proc/31123/stat : 31123 (java) R 31121 31123 28116 0 -1 4203524 89796 0 1 0 2232 13 0 0 18 0 1 0 811090278 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31123/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 22.45
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 10.8075
CPU time (s): 22.4726
CPU user time (s): 22.3286
CPU system time (s): 0.143978
CPU usage (%): 207.936
Max. virtual memory (cumulated for all children) (KiB): 10566668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3286
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89796
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= 1314
involuntary context switches= 1154
runsolver used 0.06399 second user time and 0.117982 second system time
The end