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-3455764-1307228460/watcher-3455764-1307228460 -o /tmp/evaluation-result-3455764-1307228460/solver-3455764-1307228460 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455764-1307228460.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.04 2.00 2/553 26200
/proc/meminfo: memFree=21346452/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 5027 0 1 0 0 0 0 0 25 0 2 0 815262236 10694979584 4729 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2611079 4742 917 9 0 2602235 0
[pid=26200/tid=26201] ppid=26198 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 6246 0 1 0 0 0 0 0 25 0 2 0 815262237 10694979584 7062 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.081581 s]
/proc/loadavg: 1.94 2.04 2.00 2/553 26200
/proc/meminfo: memFree=21346452/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 12001 0 1 0 5 1 0 0 25 0 18 0 815262236 10724442112 11697 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2618272 11697 1755 9 0 2609006 0
[pid=26200/tid=26201] ppid=26198 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 10826 0 1 0 5 1 0 0 22 0 18 0 815262237 10724442112 11698 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100512 s]
/proc/loadavg: 1.94 2.04 2.00 2/553 26200
/proc/meminfo: memFree=21346452/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10540332 CPUtime=0.1 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 12989 0 1 0 9 1 0 0 25 0 18 0 815262236 10793299968 12685 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2635083 12685 2092 9 0 2625817 0
[pid=26200/tid=26201] ppid=26198 vsize=10540332 CPUtime=0.08 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 11078 0 1 0 7 1 0 0 22 0 18 0 815262237 10793299968 12686 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540332
[startup+0.300548 s]
/proc/loadavg: 1.94 2.04 2.00 2/553 26200
/proc/meminfo: memFree=21346452/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10543584 CPUtime=0.48 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 16083 0 1 0 46 2 0 0 25 0 18 0 815262236 10796630016 15494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2635896 15521 2201 9 0 2626630 0
[pid=26200/tid=26201] ppid=26198 vsize=10543584 CPUtime=0.28 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 12872 0 1 0 27 1 0 0 22 0 18 0 815262237 10796630016 15521 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46912505545118 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543584
[startup+0.700473 s]
/proc/loadavg: 1.94 2.04 2.00 2/553 26200
/proc/meminfo: memFree=21346452/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10551192 CPUtime=1.63 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 33330 0 1 0 159 4 0 0 25 0 19 0 815262236 10804420608 30487 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2637798 30489 2230 9 0 2628532 0
[pid=26200/tid=26201] ppid=26198 vsize=10551192 CPUtime=0.68 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 23682 0 1 0 65 3 0 0 19 0 19 0 815262237 10804420608 30490 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46912505616292 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10551192
[startup+1.50133 s]
/proc/loadavg: 1.94 2.04 2.00 4/572 26228
/proc/meminfo: memFree=21149124/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10550688 CPUtime=2.75 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 93536 0 1 0 264 11 0 0 25 0 19 0 815262236 10803904512 89722 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2637672 89726 2234 9 0 2628406 0
[pid=26200/tid=26201] ppid=26198 vsize=10550688 CPUtime=1.48 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 82976 0 1 0 138 10 0 0 18 0 19 0 815262237 10803904512 89728 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46912505683196 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26200/tid=26203] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26203/stat : 26203 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89731 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26204] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26204/stat : 26204 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89733 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26205] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26205/stat : 26205 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89735 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26206] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26206/stat : 26206 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89737 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26207] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26207/stat : 26207 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89739 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26208] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26208/stat : 26208 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89741 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26209] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26209/stat : 26209 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89744 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26210] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26210/stat : 26210 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10803904512 89746 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26211] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26211/stat : 26211 (java) S 26198 26200 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815262240 10803904512 89748 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 0 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26212] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26212/stat : 26212 (java) S 26198 26200 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815262240 10803904512 89749 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26213] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26213/stat : 26213 (java) S 26198 26200 24457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815262240 10803904512 89751 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26214] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26214/stat : 26214 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815262242 10803904512 89753 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051478961 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26215] ppid=26198 vsize=10550688 CPUtime=0.6 cores=0,2,4,6
/proc/26200/task/26215/stat : 26215 (java) S 26198 26200 24457 0 -1 4202560 4882 0 0 0 60 0 0 0 15 0 19 0 815262242 10803904512 89755 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 4 0 0 0
[pid=26200/tid=26216] ppid=26198 vsize=10550688 CPUtime=0.64 cores=0,2,4,6
/proc/26200/task/26216/stat : 26216 (java) S 26198 26200 24457 0 -1 4202560 4522 0 0 0 64 0 0 0 16 0 19 0 815262242 10803904512 89756 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26217] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26217/stat : 26217 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815262242 10803904512 89758 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26218] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26218/stat : 26218 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815262242 10803904512 89759 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26219] ppid=26198 vsize=10550688 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26219/stat : 26219 (java) S 26198 26200 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815262278 10803904512 89761 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10550688
Solver just ended. Dumping a history of the last processes samples
[startup+2.30119 s]
/proc/loadavg: 1.94 2.04 2.00 3/572 26228
/proc/meminfo: memFree=20794608/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10550904 CPUtime=3.6 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 162455 0 1 0 341 19 0 0 25 0 19 0 815262236 10804125696 158640 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2637726 158647 2234 9 0 2628460 0
[pid=26200/tid=26201] ppid=26198 vsize=10550904 CPUtime=2.28 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 151891 0 1 0 211 17 0 0 19 0 19 0 815262237 10804125696 158649 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46912505611882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26200/tid=26203] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26203/stat : 26203 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158654 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26204] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26204/stat : 26204 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158657 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26205] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26205/stat : 26205 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158661 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26206] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26206/stat : 26206 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158665 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26207] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26207/stat : 26207 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158669 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26208] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26208/stat : 26208 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158672 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26209] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26209/stat : 26209 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158675 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26210] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26210/stat : 26210 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 158679 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26211] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26211/stat : 26211 (java) S 26198 26200 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 158683 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 0 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26212] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26212/stat : 26212 (java) S 26198 26200 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 158686 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26213] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26213/stat : 26213 (java) S 26198 26200 24457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815262240 10804125696 158690 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26214] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26214/stat : 26214 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815262242 10804125696 158693 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051478961 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26215] ppid=26198 vsize=10550904 CPUtime=0.63 cores=0,2,4,6
/proc/26200/task/26215/stat : 26215 (java) S 26198 26200 24457 0 -1 4202560 4887 0 0 0 63 0 0 0 15 0 19 0 815262242 10804125696 158696 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 4 0 0 0
[pid=26200/tid=26216] ppid=26198 vsize=10550904 CPUtime=0.66 cores=0,2,4,6
/proc/26200/task/26216/stat : 26216 (java) S 26198 26200 24457 0 -1 4202560 4524 0 0 0 66 0 0 0 16 0 19 0 815262242 10804125696 158700 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26217] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26217/stat : 26217 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815262242 10804125696 158703 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26218] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26218/stat : 26218 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815262242 10804125696 158706 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26219] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26219/stat : 26219 (java) S 26198 26200 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815262278 10804125696 158709 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 10550904
[startup+2.70112 s]
/proc/loadavg: 1.94 2.04 2.00 3/572 26228
/proc/meminfo: memFree=20794608/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10550904 CPUtime=4 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 200803 0 1 0 377 23 0 0 25 0 19 0 815262236 10804125696 196988 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2637726 196995 2234 9 0 2628460 0
[pid=26200/tid=26201] ppid=26198 vsize=10550904 CPUtime=2.68 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 190240 0 1 0 246 22 0 0 20 0 19 0 815262237 10804125696 196998 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46912505611839 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26200/tid=26203] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26203/stat : 26203 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197002 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26204] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26204/stat : 26204 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197006 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26205] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26205/stat : 26205 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197008 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26206] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26206/stat : 26206 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197010 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26207] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26207/stat : 26207 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197011 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26208] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26208/stat : 26208 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197013 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26209] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26209/stat : 26209 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197015 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26210] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26210/stat : 26210 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 197016 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26211] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26211/stat : 26211 (java) S 26198 26200 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 197021 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 0 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26212] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26212/stat : 26212 (java) S 26198 26200 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 197025 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26213] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26213/stat : 26213 (java) S 26198 26200 24457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815262240 10804125696 197028 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26214] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26214/stat : 26214 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815262242 10804125696 197032 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051478961 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26215] ppid=26198 vsize=10550904 CPUtime=0.63 cores=0,2,4,6
/proc/26200/task/26215/stat : 26215 (java) S 26198 26200 24457 0 -1 4202560 4887 0 0 0 63 0 0 0 15 0 19 0 815262242 10804125696 197036 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 4 0 0 0
[pid=26200/tid=26216] ppid=26198 vsize=10550904 CPUtime=0.66 cores=0,2,4,6
/proc/26200/task/26216/stat : 26216 (java) S 26198 26200 24457 0 -1 4202560 4524 0 0 0 66 0 0 0 16 0 19 0 815262242 10804125696 197040 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26217] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26217/stat : 26217 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815262242 10804125696 197042 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26218] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26218/stat : 26218 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815262242 10804125696 197044 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26219] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26219/stat : 26219 (java) S 26198 26200 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815262278 10804125696 197049 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 10550904
[startup+2.9011 s]
/proc/loadavg: 1.94 2.04 2.00 3/572 26228
/proc/meminfo: memFree=20794608/32951124 swapFree=46970528/67111528
[pid=26200] ppid=26198 vsize=10550904 CPUtime=4.21 cores=0,2,4,6
/proc/26200/stat : 26200 (java) S 26198 26200 24457 0 -1 4202496 214303 0 1 0 396 25 0 0 25 0 19 0 815262236 10804125696 210488 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26200/statm: 2637726 210492 2234 9 0 2628460 0
[pid=26200/tid=26201] ppid=26198 vsize=10550904 CPUtime=2.88 cores=0,2,4,6
/proc/26200/task/26201/stat : 26201 (java) R 26198 26200 24457 0 -1 4202560 203733 0 1 0 265 23 0 0 20 0 19 0 815262237 10804125696 210492 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 46950249081683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26200/tid=26203] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26203/stat : 26203 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210492 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26204] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26204/stat : 26204 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210492 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26205] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26205/stat : 26205 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210492 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26206] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26206/stat : 26206 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210492 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26207] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26207/stat : 26207 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26208] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26208/stat : 26208 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26209] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26209/stat : 26209 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26210] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26210/stat : 26210 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815262239 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26211] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26211/stat : 26211 (java) S 26198 26200 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 0 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26212] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26212/stat : 26212 (java) S 26198 26200 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815262240 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26213] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26213/stat : 26213 (java) S 26198 26200 24457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815262240 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26214] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26214/stat : 26214 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815262242 10804125696 210493 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051478961 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26215] ppid=26198 vsize=10550904 CPUtime=0.63 cores=0,2,4,6
/proc/26200/task/26215/stat : 26215 (java) R 26198 26200 24457 0 -1 4202560 4888 0 0 0 63 0 0 0 15 0 19 0 815262242 10804125696 210494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051472326 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26200/tid=26216] ppid=26198 vsize=10550904 CPUtime=0.67 cores=0,2,4,6
/proc/26200/task/26216/stat : 26216 (java) R 26198 26200 24457 0 -1 4202560 4524 0 0 0 67 0 0 0 15 0 19 0 815262242 10804125696 210494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051481269 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26200/tid=26217] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26217/stat : 26217 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815262242 10804125696 210494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471257 0 4 0 16800975 18446604444163921856 0 0 -1 2 0 0 0
[pid=26200/tid=26218] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26218/stat : 26218 (java) S 26198 26200 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815262242 10804125696 210494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
[pid=26200/tid=26219] ppid=26198 vsize=10550904 CPUtime=0 cores=0,2,4,6
/proc/26200/task/26219/stat : 26219 (java) S 26198 26200 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815262278 10804125696 210494 33554432000 1073741824 1073778376 140735123475296 18446744073709551615 212051471872 0 4 0 16800975 18446604444163921856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10550904
Child status: 30
Real time (s): 2.98247
CPU time (s): 4.31334
CPU user time (s): 4.02639
CPU system time (s): 0.286956
CPU usage (%): 144.623
Max. virtual memory (cumulated for all children) (KiB): 10554684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.02639
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215175
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= 364
involuntary context switches= 44
runsolver used 0.018997 second user time and 0.043993 second system time
The end