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-3454745-1307186762/watcher-3454745-1307186762 -o /tmp/evaluation-result-3454745-1307186762/solver-3454745-1307186762 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454745-1307186762.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.80 1.72 1.88 3/498 31270
/proc/meminfo: memFree=21132160/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 6919 0 1 0 0 0 0 0 25 0 2 0 811091526 10694979584 6620 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2611079 6634 917 9 0 2602235 0
[pid=31270/tid=31271] ppid=31268 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) R 31268 31270 28116 0 -1 4202560 5865 0 1 0 0 0 0 0 25 0 2 0 811091526 10694979584 6681 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.076157 s]
/proc/loadavg: 1.80 1.72 1.88 3/498 31270
/proc/meminfo: memFree=21132160/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 11952 0 1 0 5 1 0 0 25 0 18 0 811091526 10724442112 11648 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2618272 11649 1755 9 0 2609006 0
[pid=31270/tid=31271] ppid=31268 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) R 31268 31270 28116 0 -1 4202560 10777 0 1 0 5 1 0 0 25 0 18 0 811091526 10724442112 11649 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 47327102581587 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.105188 s]
/proc/loadavg: 1.80 1.72 1.88 3/498 31270
/proc/meminfo: memFree=21132160/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10539984 CPUtime=0.1 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 13091 0 1 0 9 1 0 0 25 0 18 0 811091526 10792943616 12787 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2634996 12787 2092 9 0 2625730 0
[pid=31270/tid=31271] ppid=31268 vsize=10539984 CPUtime=0.08 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) R 31268 31270 28116 0 -1 4202560 11165 0 1 0 7 1 0 0 18 0 18 0 811091526 10792943616 12787 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539984
[startup+0.30108 s]
/proc/loadavg: 1.80 1.72 1.88 3/498 31270
/proc/meminfo: memFree=21132160/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10545972 CPUtime=0.67 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 17833 0 1 0 65 2 0 0 25 0 22 0 811091526 10799075328 16243 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2636493 16243 2210 9 0 2627227 0
[pid=31270/tid=31271] ppid=31268 vsize=10545972 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 19 0 22 0 811091526 10799075328 16243 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10545972
[startup+0.701042 s]
/proc/loadavg: 1.80 1.72 1.88 3/498 31270
/proc/meminfo: memFree=21132160/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10567208 CPUtime=2.25 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 46020 0 1 0 218 7 0 0 25 0 22 0 811091526 10820820992 42234 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2641802 42239 2243 9 0 2632536 0
[pid=31270/tid=31271] ppid=31268 vsize=10567208 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 15 0 22 0 811091526 10820820992 42242 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10567208
[startup+1.50091 s]
/proc/loadavg: 1.80 1.72 1.88 7/520 31292
/proc/meminfo: memFree=20881892/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10563952 CPUtime=4.39 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 76401 0 1 0 428 11 0 0 25 0 22 0 811091526 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2640988 69609 2257 9 0 2631722 0
[pid=31270/tid=31271] ppid=31268 vsize=10563952 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 15 0 22 0 811091526 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31273] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31273/stat : 31273 (java) S 31268 31270 28116 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31274] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31274/stat : 31274 (java) S 31268 31270 28116 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31275] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31275/stat : 31275 (java) S 31268 31270 28116 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31276] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31276/stat : 31276 (java) S 31268 31270 28116 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31277] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31277/stat : 31277 (java) S 31268 31270 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31278] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31278/stat : 31278 (java) S 31268 31270 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31279] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31279/stat : 31279 (java) S 31268 31270 28116 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31280] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31280/stat : 31280 (java) S 31268 31270 28116 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31281] ppid=31268 vsize=10563952 CPUtime=0.07 cores=1,3,5,7
/proc/31270/task/31281/stat : 31281 (java) S 31268 31270 28116 0 -1 4202560 1464 0 0 0 7 0 0 0 15 0 22 0 811091529 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 0 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31282] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31282/stat : 31282 (java) S 31268 31270 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811091529 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31283] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31283/stat : 31283 (java) S 31268 31270 28116 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811091529 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31284] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31284/stat : 31284 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811091531 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273440177 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31285] ppid=31268 vsize=10563952 CPUtime=0.81 cores=1,3,5,7
/proc/31270/task/31285/stat : 31285 (java) S 31268 31270 28116 0 -1 4202560 9020 0 0 0 80 1 0 0 21 0 22 0 811091531 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31286] ppid=31268 vsize=10563952 CPUtime=0.85 cores=1,3,5,7
/proc/31270/task/31286/stat : 31286 (java) S 31268 31270 28116 0 -1 4202560 7311 0 0 0 84 1 0 0 15 0 22 0 811091531 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31287] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31287/stat : 31287 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811091531 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31288] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31288/stat : 31288 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811091531 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31289] ppid=31268 vsize=10563952 CPUtime=1.22 cores=1,3,5,7
/proc/31270/task/31289/stat : 31289 (java) R 31268 31270 28116 0 -1 4202560 295 0 0 0 122 0 0 0 21 0 22 0 811091543 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 46912505633879 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31270/tid=31290] ppid=31268 vsize=10563952 CPUtime=1.21 cores=1,3,5,7
/proc/31270/task/31290/stat : 31290 (java) R 31268 31270 28116 0 -1 4202560 44326 0 0 0 116 5 0 0 18 0 22 0 811091543 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 46912505696520 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31270/tid=31291] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31291/stat : 31291 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811091544 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31292] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31292/stat : 31292 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811091544 10817486848 69609 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10563952
[startup+3.10159 s]
/proc/loadavg: 1.80 1.72 1.88 5/520 31292
/proc/meminfo: memFree=20755324/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10563952 CPUtime=7.57 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 105011 0 1 0 743 14 0 0 25 0 22 0 811091526 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2640988 98215 2257 9 0 2631722 0
[pid=31270/tid=31271] ppid=31268 vsize=10563952 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 15 0 22 0 811091526 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31273] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31273/stat : 31273 (java) S 31268 31270 28116 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31274] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31274/stat : 31274 (java) S 31268 31270 28116 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31275] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31275/stat : 31275 (java) S 31268 31270 28116 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31276] ppid=31268 vsize=10563952 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31276/stat : 31276 (java) S 31268 31270 28116 0 -1 4202560 340 0 0 0 1 0 0 0 16 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31277] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31277/stat : 31277 (java) S 31268 31270 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31278] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31278/stat : 31278 (java) S 31268 31270 28116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31279] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31279/stat : 31279 (java) S 31268 31270 28116 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31280] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31280/stat : 31280 (java) S 31268 31270 28116 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 22 0 811091528 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31281] ppid=31268 vsize=10563952 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31281/stat : 31281 (java) S 31268 31270 28116 0 -1 4202560 2828 0 0 0 15 0 0 0 16 0 22 0 811091529 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 0 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31282] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31282/stat : 31282 (java) S 31268 31270 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811091529 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31283] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31283/stat : 31283 (java) S 31268 31270 28116 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811091529 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31284] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31284/stat : 31284 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811091531 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273440177 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31285] ppid=31268 vsize=10563952 CPUtime=0.81 cores=1,3,5,7
/proc/31270/task/31285/stat : 31285 (java) S 31268 31270 28116 0 -1 4202560 9020 0 0 0 80 1 0 0 20 0 22 0 811091531 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31286] ppid=31268 vsize=10563952 CPUtime=0.91 cores=1,3,5,7
/proc/31270/task/31286/stat : 31286 (java) S 31268 31270 28116 0 -1 4202560 7315 0 0 0 90 1 0 0 15 0 22 0 811091531 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31287] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31287/stat : 31287 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811091531 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31288] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31288/stat : 31288 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811091531 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31289] ppid=31268 vsize=10563952 CPUtime=2.73 cores=1,3,5,7
/proc/31270/task/31289/stat : 31289 (java) R 31268 31270 28116 0 -1 4202560 297 0 0 0 273 0 0 0 25 0 22 0 811091543 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 46912505678503 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31270/tid=31290] ppid=31268 vsize=10563952 CPUtime=2.72 cores=1,3,5,7
/proc/31270/task/31290/stat : 31290 (java) R 31268 31270 28116 0 -1 4202560 71274 0 0 0 264 8 0 0 19 0 22 0 811091543 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 46912505696314 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31270/tid=31291] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31291/stat : 31291 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811091544 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31292] ppid=31268 vsize=10563952 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31292/stat : 31292 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811091544 10817486848 98215 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 10563952
[startup+6.30106 s]
/proc/loadavg: 1.98 1.76 1.89 5/520 31342
/proc/meminfo: memFree=20828456/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10629488 CPUtime=13.68 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 107037 0 1 0 1353 15 0 0 25 0 22 0 811091526 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2657372 99209 2257 9 0 2648106 0
[pid=31270/tid=31271] ppid=31268 vsize=10629488 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 15 0 22 0 811091526 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31273] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31273/stat : 31273 (java) S 31268 31270 28116 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31274] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31274/stat : 31274 (java) S 31268 31270 28116 0 -1 4202560 103 0 0 0 1 0 0 0 15 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31275] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31275/stat : 31275 (java) S 31268 31270 28116 0 -1 4202560 130 0 0 0 1 0 0 0 15 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31276] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31276/stat : 31276 (java) S 31268 31270 28116 0 -1 4202560 341 0 0 0 1 0 0 0 16 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31277] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31277/stat : 31277 (java) S 31268 31270 28116 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31278] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31278/stat : 31278 (java) S 31268 31270 28116 0 -1 4202560 55 0 0 0 1 0 0 0 15 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31279] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31279/stat : 31279 (java) S 31268 31270 28116 0 -1 4202560 218 0 0 0 1 0 0 0 16 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31280] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31280/stat : 31280 (java) S 31268 31270 28116 0 -1 4202560 286 0 0 0 1 0 0 0 15 0 22 0 811091528 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31281] ppid=31268 vsize=10629488 CPUtime=0.46 cores=1,3,5,7
/proc/31270/task/31281/stat : 31281 (java) R 31268 31270 28116 0 -1 4202560 4834 0 0 0 46 0 0 0 15 0 22 0 811091529 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254261310537 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=31270/tid=31282] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31282/stat : 31282 (java) S 31268 31270 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811091529 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31283] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31283/stat : 31283 (java) S 31268 31270 28116 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811091529 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31284] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31284/stat : 31284 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811091531 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273440177 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31285] ppid=31268 vsize=10629488 CPUtime=0.81 cores=1,3,5,7
/proc/31270/task/31285/stat : 31285 (java) S 31268 31270 28116 0 -1 4202560 9020 0 0 0 80 1 0 0 18 0 22 0 811091531 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31286] ppid=31268 vsize=10629488 CPUtime=0.91 cores=1,3,5,7
/proc/31270/task/31286/stat : 31286 (java) S 31268 31270 28116 0 -1 4202560 7315 0 0 0 90 1 0 0 15 0 22 0 811091531 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31287] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31287/stat : 31287 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811091531 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31288] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31288/stat : 31288 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811091531 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31289] ppid=31268 vsize=10629488 CPUtime=5.59 cores=1,3,5,7
/proc/31270/task/31289/stat : 31289 (java) S 31268 31270 28116 0 -1 4202560 305 0 0 0 559 0 0 0 25 0 22 0 811091543 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31290] ppid=31268 vsize=10629488 CPUtime=5.57 cores=1,3,5,7
/proc/31270/task/31290/stat : 31290 (java) S 31268 31270 28116 0 -1 4202560 71275 0 0 0 549 8 0 0 23 0 22 0 811091543 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31291] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31291/stat : 31291 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811091544 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31292] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31292/stat : 31292 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811091544 10884595712 99209 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.68
Current children cumulated vsize (KiB) 10629488
Solver just ended. Dumping a history of the last processes samples
[startup+6.701 s]
/proc/loadavg: 1.98 1.76 1.89 5/520 31342
/proc/meminfo: memFree=20708920/32951124 swapFree=67057928/67111528
[pid=31270] ppid=31268 vsize=10629488 CPUtime=14.1 cores=1,3,5,7
/proc/31270/stat : 31270 (java) S 31268 31270 28116 0 -1 4202496 107038 0 1 0 1395 15 0 0 25 0 19 0 811091526 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31270/statm: 2657372 99210 2258 9 0 2648106 0
[pid=31270/tid=31271] ppid=31268 vsize=10629488 CPUtime=0.15 cores=1,3,5,7
/proc/31270/task/31271/stat : 31271 (java) S 31268 31270 28116 0 -1 4202560 11719 0 1 0 14 1 0 0 15 0 19 0 811091526 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31273] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31273/stat : 31273 (java) S 31268 31270 28116 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31274] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31274/stat : 31274 (java) S 31268 31270 28116 0 -1 4202560 103 0 0 0 1 0 0 0 15 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31275] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31275/stat : 31275 (java) S 31268 31270 28116 0 -1 4202560 130 0 0 0 1 0 0 0 15 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31276] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31276/stat : 31276 (java) S 31268 31270 28116 0 -1 4202560 341 0 0 0 1 0 0 0 16 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31277] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31277/stat : 31277 (java) S 31268 31270 28116 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31278] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31278/stat : 31278 (java) S 31268 31270 28116 0 -1 4202560 55 0 0 0 1 0 0 0 15 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31279] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31279/stat : 31279 (java) S 31268 31270 28116 0 -1 4202560 218 0 0 0 1 0 0 0 16 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31280] ppid=31268 vsize=10629488 CPUtime=0.01 cores=1,3,5,7
/proc/31270/task/31280/stat : 31280 (java) S 31268 31270 28116 0 -1 4202560 286 0 0 0 1 0 0 0 15 0 19 0 811091528 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31281] ppid=31268 vsize=10629488 CPUtime=0.46 cores=1,3,5,7
/proc/31270/task/31281/stat : 31281 (java) S 31268 31270 28116 0 -1 4202560 4834 0 0 0 46 0 0 0 16 0 19 0 811091529 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 0 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31282] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31282/stat : 31282 (java) S 31268 31270 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 811091529 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31283] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31283/stat : 31283 (java) S 31268 31270 28116 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 811091529 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31284] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31284/stat : 31284 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811091531 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273440177 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31285] ppid=31268 vsize=10629488 CPUtime=0.81 cores=1,3,5,7
/proc/31270/task/31285/stat : 31285 (java) S 31268 31270 28116 0 -1 4202560 9020 0 0 0 80 1 0 0 18 0 19 0 811091531 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 7 0 0 0
[pid=31270/tid=31286] ppid=31268 vsize=10629488 CPUtime=0.91 cores=1,3,5,7
/proc/31270/task/31286/stat : 31286 (java) S 31268 31270 28116 0 -1 4202560 7315 0 0 0 90 1 0 0 15 0 19 0 811091531 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 1 0 0 0
[pid=31270/tid=31287] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31287/stat : 31287 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 811091531 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273432473 0 4 0 16800975 18446604467101137792 0 0 -1 5 0 0 0
[pid=31270/tid=31288] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31288/stat : 31288 (java) S 31268 31270 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811091531 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
[pid=31270/tid=31292] ppid=31268 vsize=10629488 CPUtime=0 cores=1,3,5,7
/proc/31270/task/31292/stat : 31292 (java) S 31268 31270 28116 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811091544 10884595712 99210 33554432000 1073741824 1073778376 140734715815232 18446744073709551615 254273433088 0 4 0 16800975 18446604467101137792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 10629488
Child status: 10
Real time (s): 6.73323
CPU time (s): 14.1478
CPU user time (s): 13.9729
CPU system time (s): 0.174973
CPU usage (%): 210.12
Max. virtual memory (cumulated for all children) (KiB): 10629488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9729
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107050
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= 920
involuntary context switches= 474
runsolver used 0.037994 second user time and 0.092985 second system time
The end