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-3454802-1307186827/watcher-3454802-1307186827 -o /tmp/evaluation-result-3454802-1307186827/solver-3454802-1307186827 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454802-1307186827.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: 4.21 2.85 2.19 4/509 21574
/proc/meminfo: memFree=20741768/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 1777 0 1 0 0 0 0 0 24 0 2 0 562873950 10681323520 1478 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2607745 1492 906 9 0 2598901 0
[pid=21574/tid=21575] ppid=21572 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) R 21572 21574 17058 0 -1 4202560 7006 0 1 0 0 0 0 0 25 0 2 0 562873950 10694979584 7822 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0991199 s]
/proc/loadavg: 4.21 2.85 2.19 4/509 21574
/proc/meminfo: memFree=20741768/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10540196 CPUtime=0.1 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 13106 0 1 0 9 1 0 0 24 0 18 0 562873950 10793160704 12788 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2635049 12789 2093 9 0 2625783 0
[pid=21574/tid=21575] ppid=21572 vsize=10540196 CPUtime=0.08 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) R 21572 21574 17058 0 -1 4202560 11152 0 1 0 7 1 0 0 18 0 18 0 562873950 10793160704 12791 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540196
[startup+0.101104 s]
/proc/loadavg: 4.21 2.85 2.19 4/509 21574
/proc/meminfo: memFree=20741768/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10540196 CPUtime=0.1 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 13134 0 1 0 9 1 0 0 24 0 18 0 562873950 10793160704 12816 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2635049 12816 2093 9 0 2625783 0
[pid=21574/tid=21575] ppid=21572 vsize=10540196 CPUtime=0.09 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) R 21572 21574 17058 0 -1 4202560 11177 0 1 0 8 1 0 0 18 0 18 0 562873950 10793160704 12816 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 47920381075461 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540196
[startup+0.301039 s]
/proc/loadavg: 4.21 2.85 2.19 4/509 21574
/proc/meminfo: memFree=20741768/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10547356 CPUtime=0.68 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 17613 0 1 0 66 2 0 0 24 0 22 0 562873950 10800492544 16311 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2636839 16311 2212 9 0 2627573 0
[pid=21574/tid=21575] ppid=21572 vsize=10547356 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21572 21574 17058 0 -1 4202560 11738 0 1 0 14 1 0 0 19 0 22 0 562873950 10800492544 16311 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10547356
[startup+0.700969 s]
/proc/loadavg: 4.21 2.85 2.19 4/509 21574
/proc/meminfo: memFree=20741768/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10557056 CPUtime=2.21 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 49541 0 1 0 215 6 0 0 24 0 22 0 562873950 10810425344 46094 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2639264 46099 2251 9 0 2629998 0
[pid=21574/tid=21575] ppid=21572 vsize=10557056 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21572 21574 17058 0 -1 4202560 11738 0 1 0 14 1 0 0 15 0 22 0 562873950 10810425344 46102 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10557056
[startup+1.50086 s]
/proc/loadavg: 4.21 2.85 2.19 7/531 21599
/proc/meminfo: memFree=20494148/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10557056 CPUtime=4.29 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 82152 0 1 0 419 10 0 0 24 0 22 0 562873950 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2639264 75683 2257 9 0 2629998 0
[pid=21574/tid=21575] ppid=21572 vsize=10557056 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21572 21574 17058 0 -1 4202560 11738 0 1 0 14 1 0 0 15 0 22 0 562873950 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21577] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21577/stat : 21577 (java) S 21572 21574 17058 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21578] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21578/stat : 21578 (java) S 21572 21574 17058 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21579] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21579/stat : 21579 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21580] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21580/stat : 21580 (java) S 21572 21574 17058 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21581] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21581/stat : 21581 (java) S 21572 21574 17058 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21582] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21582/stat : 21582 (java) S 21572 21574 17058 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21583] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21583/stat : 21583 (java) S 21572 21574 17058 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 5 0 0 0
[pid=21574/tid=21584] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21584/stat : 21584 (java) S 21572 21574 17058 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21585] ppid=21572 vsize=10557056 CPUtime=0.05 cores=1,3,5,7
/proc/21574/task/21585/stat : 21585 (java) R 21572 21574 17058 0 -1 4202560 1300 0 0 0 5 0 0 0 15 0 22 0 562873953 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268660356169 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=21574/tid=21586] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21586/stat : 21586 (java) S 21572 21574 17058 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 562873953 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21587] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) S 21572 21574 17058 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 562873953 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21588] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21588/stat : 21588 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562873956 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672485809 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21589] ppid=21572 vsize=10557056 CPUtime=0.74 cores=1,3,5,7
/proc/21574/task/21589/stat : 21589 (java) S 21572 21574 17058 0 -1 4202560 3826 0 0 0 74 0 0 0 21 0 22 0 562873956 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21591] ppid=21572 vsize=10557056 CPUtime=0.77 cores=1,3,5,7
/proc/21574/task/21591/stat : 21591 (java) S 21572 21574 17058 0 -1 4202560 10060 0 0 0 76 1 0 0 15 0 22 0 562873956 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21592] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21592/stat : 21592 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562873956 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21594] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21594/stat : 21594 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562873956 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21595] ppid=21572 vsize=10557056 CPUtime=1.25 cores=1,3,5,7
/proc/21574/task/21595/stat : 21595 (java) S 21572 21574 17058 0 -1 4202560 341 0 0 0 125 0 0 0 19 0 22 0 562873967 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21597] ppid=21572 vsize=10557056 CPUtime=1.24 cores=1,3,5,7
/proc/21574/task/21597/stat : 21597 (java) S 21572 21574 17058 0 -1 4202560 52437 0 0 0 119 5 0 0 18 0 22 0 562873967 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 5 0 0 0
[pid=21574/tid=21598] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21598/stat : 21598 (java) S 21572 21574 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562873967 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21599] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21599/stat : 21599 (java) S 21572 21574 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 562873967 10810425344 75683 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10557056
Solver just ended. Dumping a history of the last processes samples
[startup+2.30072 s]
/proc/loadavg: 4.21 2.85 2.19 5/531 21599
/proc/meminfo: memFree=20442092/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=10557056 CPUtime=5.87 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21572 21574 17058 0 -1 4202496 82886 0 1 0 577 10 0 0 24 0 22 0 562873950 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 2639264 76416 2257 9 0 2629998 0
[pid=21574/tid=21575] ppid=21572 vsize=10557056 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21572 21574 17058 0 -1 4202560 11738 0 1 0 14 1 0 0 15 0 22 0 562873950 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21577] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21577/stat : 21577 (java) S 21572 21574 17058 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21578] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21578/stat : 21578 (java) S 21572 21574 17058 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21579] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21579/stat : 21579 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21580] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21580/stat : 21580 (java) S 21572 21574 17058 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21581] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21581/stat : 21581 (java) S 21572 21574 17058 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21582] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21582/stat : 21582 (java) S 21572 21574 17058 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21583] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21583/stat : 21583 (java) S 21572 21574 17058 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 5 0 0 0
[pid=21574/tid=21584] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21584/stat : 21584 (java) S 21572 21574 17058 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 562873952 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21585] ppid=21572 vsize=10557056 CPUtime=0.09 cores=1,3,5,7
/proc/21574/task/21585/stat : 21585 (java) S 21572 21574 17058 0 -1 4202560 1980 0 0 0 9 0 0 0 15 0 22 0 562873953 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 0 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21586] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21586/stat : 21586 (java) S 21572 21574 17058 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 562873953 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21587] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) S 21572 21574 17058 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 562873953 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21588] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21588/stat : 21588 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562873956 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672485809 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21589] ppid=21572 vsize=10557056 CPUtime=0.75 cores=1,3,5,7
/proc/21574/task/21589/stat : 21589 (java) S 21572 21574 17058 0 -1 4202560 3832 0 0 0 75 0 0 0 15 0 22 0 562873956 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21591] ppid=21572 vsize=10557056 CPUtime=0.78 cores=1,3,5,7
/proc/21574/task/21591/stat : 21591 (java) S 21572 21574 17058 0 -1 4202560 10060 0 0 0 77 1 0 0 15 0 22 0 562873956 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21592] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21592/stat : 21592 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562873956 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478105 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
[pid=21574/tid=21594] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21594/stat : 21594 (java) S 21572 21574 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562873956 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 7 0 0 0
[pid=21574/tid=21595] ppid=21572 vsize=10557056 CPUtime=2 cores=1,3,5,7
/proc/21574/task/21595/stat : 21595 (java) R 21572 21574 17058 0 -1 4202560 341 0 0 0 200 0 0 0 19 0 22 0 562873967 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 46912505569507 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21574/tid=21597] ppid=21572 vsize=10557056 CPUtime=2 cores=1,3,5,7
/proc/21574/task/21597/stat : 21597 (java) R 21572 21574 17058 0 -1 4202560 52438 0 0 0 195 5 0 0 19 0 22 0 562873967 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 46912505711507 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21574/tid=21598] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21598/stat : 21598 (java) S 21572 21574 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562873967 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 1 0 0 0
[pid=21574/tid=21599] ppid=21572 vsize=10557056 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21599/stat : 21599 (java) S 21572 21574 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 562873967 10810425344 76416 33554432000 1073741824 1073778376 140734222412720 18446744073709551615 268672478720 0 4 0 16800975 18446604470221822016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10557056
[startup+2.70168 s]
/proc/loadavg: 4.21 2.85 2.19 5/531 21599
/proc/meminfo: memFree=20442092/32951124 swapFree=46575304/67111528
[pid=21574] ppid=21572 vsize=0 CPUtime=6.49 cores=1,3,5,7
/proc/21574/stat : 21574 (java) Z 21572 21574 17058 0 -1 4203548 85148 0 1 0 638 11 0 0 18 0 2 0 562873950 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21574/statm: 0 0 0 0 0 0 0
[pid=21574/tid=21587] ppid=21572 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) R 21572 21574 17058 0 -1 4203588 10 0 0 0 0 0 0 0 18 0 2 0 562873953 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 2.70756
CPU time (s): 6.50301
CPU user time (s): 6.38003
CPU system time (s): 0.122981
CPU usage (%): 240.18
Max. virtual memory (cumulated for all children) (KiB): 10557056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.38003
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85148
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= 491
involuntary context switches= 208
runsolver used 0.018997 second user time and 0.037994 second system time
The end