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-3453638-1307195874/watcher-3453638-1307195874 -o /tmp/evaluation-result-3453638-1307195874/solver-3453638-1307195874 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453638-1307195874.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: 3.33 3.26 3.30 4/436 11572
/proc/meminfo: memFree=24461464/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/11572/stat : 11572 (java) R 11570 11572 11316 0 -1 4202496 1084 0 0 0 0 0 0 0 25 0 1 0 287196802 23580672 827 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 47439156034960 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11572/statm: 5757 844 636 9 0 124 0
[pid=11572/tid=11573] ppid=11570 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) R 11570 11572 11316 0 -1 4202560 1431 0 1 0 0 0 0 0 25 0 2 0 287196803 10681323520 2247 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0667271 s]
/proc/loadavg: 3.33 3.26 3.30 4/436 11572
/proc/meminfo: memFree=24461464/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 11693 0 1 0 3 1 0 0 25 0 18 0 287196802 10724274176 11390 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2618231 11391 1733 9 0 2608972 0
[pid=11572/tid=11573] ppid=11570 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) R 11570 11572 11316 0 -1 4202560 10520 0 1 0 3 1 0 0 25 0 18 0 287196803 10724274176 11392 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 47439156367365 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472924
[startup+0.100723 s]
/proc/loadavg: 3.33 3.26 3.30 4/436 11572
/proc/meminfo: memFree=24461464/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10539904 CPUtime=0.1 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 13023 0 1 0 8 2 0 0 25 0 18 0 287196802 10792861696 12698 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2634976 12700 2092 9 0 2625710 0
[pid=11572/tid=11573] ppid=11570 vsize=10539904 CPUtime=0.08 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) R 11570 11572 11316 0 -1 4202560 11089 0 1 0 6 2 0 0 18 0 18 0 287196803 10792861696 12701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 47439160867667 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) 10539904
[startup+0.300644 s]
/proc/loadavg: 3.33 3.26 3.30 4/436 11572
/proc/meminfo: memFree=24461464/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10541156 CPUtime=0.45 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 15857 0 1 0 43 2 0 0 25 0 18 0 287196802 10794143744 15392 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2635289 15393 2207 9 0 2626023 0
[pid=11572/tid=11573] ppid=11570 vsize=10541156 CPUtime=0.28 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) R 11570 11572 11316 0 -1 4202560 13024 0 1 0 26 2 0 0 18 0 18 0 287196803 10794143744 15393 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912505567064 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541156
[startup+0.700538 s]
/proc/loadavg: 3.33 3.26 3.30 4/436 11572
/proc/meminfo: memFree=24461464/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10555740 CPUtime=1.84 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 27969 0 1 0 180 4 0 0 25 0 22 0 287196802 10809077760 24946 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2638935 24946 2234 9 0 2629669 0
[pid=11572/tid=11573] ppid=11570 vsize=10555740 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 19 0 22 0 287196803 10809077760 24946 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10555740
[startup+1.5014 s]
/proc/loadavg: 3.31 3.25 3.30 8/458 11594
/proc/meminfo: memFree=24349944/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10557036 CPUtime=4.29 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 47531 0 1 0 422 7 0 0 25 0 22 0 287196802 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2639259 39701 2241 9 0 2629993 0
[pid=11572/tid=11573] ppid=11570 vsize=10557036 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 15 0 22 0 287196803 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11575] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11575/stat : 11575 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11576] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11576/stat : 11576 (java) S 11570 11572 11316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11577] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11577/stat : 11577 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11578] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11578/stat : 11578 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11579] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11579/stat : 11579 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11580] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11580/stat : 11580 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11581] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11581/stat : 11581 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11582] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11582/stat : 11582 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196804 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11583] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11583/stat : 11583 (java) S 11570 11572 11316 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 287196805 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 0 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11584] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11584/stat : 11584 (java) S 11570 11572 11316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287196806 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11585] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11585/stat : 11585 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287196806 10810404864 39701 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11586] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11586/stat : 11586 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892388785 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11587] ppid=11570 vsize=10557036 CPUtime=0.92 cores=1,3,5,7
/proc/11572/task/11587/stat : 11587 (java) S 11570 11572 11316 0 -1 4202560 5596 0 0 0 92 0 0 0 15 0 22 0 287196808 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11588] ppid=11570 vsize=10557036 CPUtime=0.81 cores=1,3,5,7
/proc/11572/task/11588/stat : 11588 (java) S 11570 11572 11316 0 -1 4202560 9429 0 0 0 80 1 0 0 16 0 22 0 287196808 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11589] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11589/stat : 11589 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11590] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11590/stat : 11590 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 287196808 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11591] ppid=11570 vsize=10557036 CPUtime=1.07 cores=1,3,5,7
/proc/11572/task/11591/stat : 11591 (java) R 11570 11572 11316 0 -1 4202560 1075 0 0 0 107 0 0 0 23 0 22 0 287196845 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912506006674 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11572/tid=11592] ppid=11570 vsize=10557036 CPUtime=1.05 cores=1,3,5,7
/proc/11572/task/11592/stat : 11592 (java) R 11570 11572 11316 0 -1 4202560 13914 0 0 0 103 2 0 0 25 0 22 0 287196845 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912506256365 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11572/tid=11593] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11593/stat : 11593 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 287196845 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11594] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11594/stat : 11594 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 287196845 10810404864 39704 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10557036
[startup+3.10112 s]
/proc/loadavg: 3.31 3.25 3.30 5/458 11594
/proc/meminfo: memFree=24229168/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10557036 CPUtime=7.58 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 109680 0 1 0 743 15 0 0 25 0 22 0 287196802 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2639259 100801 2267 9 0 2629993 0
[pid=11572/tid=11573] ppid=11570 vsize=10557036 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 15 0 22 0 287196803 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11575] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11575/stat : 11575 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11576] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11576/stat : 11576 (java) S 11570 11572 11316 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11577] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11577/stat : 11577 (java) S 11570 11572 11316 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11578] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11578/stat : 11578 (java) S 11570 11572 11316 0 -1 4202560 147 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11579] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11579/stat : 11579 (java) S 11570 11572 11316 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11580] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11580/stat : 11580 (java) S 11570 11572 11316 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11581] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11581/stat : 11581 (java) S 11570 11572 11316 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11582] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11582/stat : 11582 (java) S 11570 11572 11316 0 -1 4202560 1414 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11583] ppid=11570 vsize=10557036 CPUtime=0.03 cores=1,3,5,7
/proc/11572/task/11583/stat : 11583 (java) S 11570 11572 11316 0 -1 4202560 3497 0 0 0 3 0 0 0 16 0 22 0 287196805 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 0 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11584] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11584/stat : 11584 (java) S 11570 11572 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11585] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11585/stat : 11585 (java) S 11570 11572 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11586] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11586/stat : 11586 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892388785 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11587] ppid=11570 vsize=10557036 CPUtime=0.96 cores=1,3,5,7
/proc/11572/task/11587/stat : 11587 (java) S 11570 11572 11316 0 -1 4202560 5599 0 0 0 96 0 0 0 15 0 22 0 287196808 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11588] ppid=11570 vsize=10557036 CPUtime=0.89 cores=1,3,5,7
/proc/11572/task/11588/stat : 11588 (java) S 11570 11572 11316 0 -1 4202560 10472 0 0 0 88 1 0 0 15 0 22 0 287196808 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11589] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11589/stat : 11589 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11590] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11590/stat : 11590 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287196808 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11591] ppid=11570 vsize=10557036 CPUtime=2.62 cores=1,3,5,7
/proc/11572/task/11591/stat : 11591 (java) R 11570 11572 11316 0 -1 4202560 2454 0 0 0 262 0 0 0 25 0 22 0 287196845 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912506005211 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11572/tid=11592] ppid=11570 vsize=10557036 CPUtime=2.59 cores=1,3,5,7
/proc/11572/task/11592/stat : 11592 (java) R 11570 11572 11316 0 -1 4202560 66583 0 0 0 251 8 0 0 25 0 22 0 287196845 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912505963160 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11572/tid=11593] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11593/stat : 11593 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 287196845 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11594] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11594/stat : 11594 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 287196845 10810404864 100801 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10557036
Solver just ended. Dumping a history of the last processes samples
[startup+3.90103 s]
/proc/loadavg: 3.31 3.25 3.30 5/458 11594
/proc/meminfo: memFree=24052000/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10557036 CPUtime=9.18 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 112308 0 1 0 903 15 0 0 25 0 22 0 287196802 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2639259 103429 2267 9 0 2629993 0
[pid=11572/tid=11573] ppid=11570 vsize=10557036 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 15 0 22 0 287196803 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11575] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11575/stat : 11575 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11576] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11576/stat : 11576 (java) S 11570 11572 11316 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11577] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11577/stat : 11577 (java) S 11570 11572 11316 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11578] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11578/stat : 11578 (java) S 11570 11572 11316 0 -1 4202560 147 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11579] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11579/stat : 11579 (java) S 11570 11572 11316 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11580] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11580/stat : 11580 (java) S 11570 11572 11316 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11581] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11581/stat : 11581 (java) S 11570 11572 11316 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11582] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11582/stat : 11582 (java) S 11570 11572 11316 0 -1 4202560 1414 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11583] ppid=11570 vsize=10557036 CPUtime=0.03 cores=1,3,5,7
/proc/11572/task/11583/stat : 11583 (java) S 11570 11572 11316 0 -1 4202560 3497 0 0 0 3 0 0 0 15 0 22 0 287196805 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 0 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11584] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11584/stat : 11584 (java) S 11570 11572 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11585] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11585/stat : 11585 (java) S 11570 11572 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11586] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11586/stat : 11586 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892388785 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11587] ppid=11570 vsize=10557036 CPUtime=0.96 cores=1,3,5,7
/proc/11572/task/11587/stat : 11587 (java) S 11570 11572 11316 0 -1 4202560 5599 0 0 0 96 0 0 0 15 0 22 0 287196808 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11588] ppid=11570 vsize=10557036 CPUtime=0.89 cores=1,3,5,7
/proc/11572/task/11588/stat : 11588 (java) S 11570 11572 11316 0 -1 4202560 10472 0 0 0 88 1 0 0 15 0 22 0 287196808 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11589] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11589/stat : 11589 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11590] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11590/stat : 11590 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287196808 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11591] ppid=11570 vsize=10557036 CPUtime=3.42 cores=1,3,5,7
/proc/11572/task/11591/stat : 11591 (java) R 11570 11572 11316 0 -1 4202560 2454 0 0 0 342 0 0 0 25 0 22 0 287196845 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912506233084 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11572/tid=11592] ppid=11570 vsize=10557036 CPUtime=3.39 cores=1,3,5,7
/proc/11572/task/11592/stat : 11592 (java) R 11570 11572 11316 0 -1 4202560 69211 0 0 0 331 8 0 0 25 0 22 0 287196845 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912505963213 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11572/tid=11593] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11593/stat : 11593 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 287196845 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11594] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11594/stat : 11594 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 287196845 10810404864 103429 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 10557036
[startup+4.70084 s]
/proc/loadavg: 3.31 3.25 3.30 5/458 11594
/proc/meminfo: memFree=24052000/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10557036 CPUtime=10.81 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 118644 0 1 0 1065 16 0 0 25 0 22 0 287196802 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2639259 109765 2267 9 0 2629993 0
[pid=11572/tid=11573] ppid=11570 vsize=10557036 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 15 0 22 0 287196803 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11575] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11575/stat : 11575 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11576] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11576/stat : 11576 (java) S 11570 11572 11316 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11577] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11577/stat : 11577 (java) S 11570 11572 11316 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11578] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11578/stat : 11578 (java) S 11570 11572 11316 0 -1 4202560 147 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11579] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11579/stat : 11579 (java) S 11570 11572 11316 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11580] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11580/stat : 11580 (java) S 11570 11572 11316 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11581] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11581/stat : 11581 (java) S 11570 11572 11316 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11582] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11582/stat : 11582 (java) S 11570 11572 11316 0 -1 4202560 1414 0 0 0 0 0 0 0 18 0 22 0 287196804 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11583] ppid=11570 vsize=10557036 CPUtime=0.03 cores=1,3,5,7
/proc/11572/task/11583/stat : 11583 (java) S 11570 11572 11316 0 -1 4202560 3497 0 0 0 3 0 0 0 15 0 22 0 287196805 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 0 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11584] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11584/stat : 11584 (java) S 11570 11572 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11585] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11585/stat : 11585 (java) S 11570 11572 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 287196806 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11586] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11586/stat : 11586 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892388785 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11587] ppid=11570 vsize=10557036 CPUtime=0.96 cores=1,3,5,7
/proc/11572/task/11587/stat : 11587 (java) R 11570 11572 11316 0 -1 4202560 5599 0 0 0 96 0 0 0 15 0 22 0 287196808 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 47439157197173 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11572/tid=11588] ppid=11570 vsize=10557036 CPUtime=0.92 cores=1,3,5,7
/proc/11572/task/11588/stat : 11588 (java) R 11570 11572 11316 0 -1 4202560 10477 0 0 0 91 1 0 0 15 0 22 0 287196808 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 47439155688038 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11572/tid=11589] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11589/stat : 11589 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287196808 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11590] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11590/stat : 11590 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287196808 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11591] ppid=11570 vsize=10557036 CPUtime=4.22 cores=1,3,5,7
/proc/11572/task/11591/stat : 11591 (java) R 11570 11572 11316 0 -1 4202560 2454 0 0 0 422 0 0 0 25 0 22 0 287196845 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912506233063 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11572/tid=11592] ppid=11570 vsize=10557036 CPUtime=4.19 cores=1,3,5,7
/proc/11572/task/11592/stat : 11592 (java) R 11570 11572 11316 0 -1 4202560 75542 0 0 0 410 9 0 0 25 0 22 0 287196845 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 46912505924984 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11572/tid=11593] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11593/stat : 11593 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 287196845 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11594] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11594/stat : 11594 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 287196845 10810404864 109765 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 10557036
[startup+4.90088 s]
/proc/loadavg: 3.31 3.25 3.30 5/458 11594
/proc/meminfo: memFree=24052000/32950928 swapFree=52006644/67111528
[pid=11572] ppid=11570 vsize=10557036 CPUtime=11.15 cores=1,3,5,7
/proc/11572/stat : 11572 (java) S 11570 11572 11316 0 -1 4202496 125776 0 1 0 1098 17 0 0 25 0 19 0 287196802 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11572/statm: 2639259 116896 2268 9 0 2629993 0
[pid=11572/tid=11573] ppid=11570 vsize=10557036 CPUtime=0.4 cores=1,3,5,7
/proc/11572/task/11573/stat : 11573 (java) S 11570 11572 11316 0 -1 4202560 16352 0 1 0 38 2 0 0 15 0 19 0 287196803 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11575] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11575/stat : 11575 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11576] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11576/stat : 11576 (java) S 11570 11572 11316 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11577] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11577/stat : 11577 (java) S 11570 11572 11316 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11578] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11578/stat : 11578 (java) S 11570 11572 11316 0 -1 4202560 147 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11579] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11579/stat : 11579 (java) S 11570 11572 11316 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11580] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11580/stat : 11580 (java) S 11570 11572 11316 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11581] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11581/stat : 11581 (java) S 11570 11572 11316 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11582] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11582/stat : 11582 (java) S 11570 11572 11316 0 -1 4202560 1414 0 0 0 0 0 0 0 18 0 19 0 287196804 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
[pid=11572/tid=11583] ppid=11570 vsize=10557036 CPUtime=0.03 cores=1,3,5,7
/proc/11572/task/11583/stat : 11583 (java) S 11570 11572 11316 0 -1 4202560 3497 0 0 0 3 0 0 0 15 0 19 0 287196805 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 0 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11584] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11584/stat : 11584 (java) S 11570 11572 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 287196806 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11585] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11585/stat : 11585 (java) S 11570 11572 11316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 287196806 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11586] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11586/stat : 11586 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287196808 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892388785 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11587] ppid=11570 vsize=10557036 CPUtime=0.98 cores=1,3,5,7
/proc/11572/task/11587/stat : 11587 (java) S 11570 11572 11316 0 -1 4202560 5601 0 0 0 98 0 0 0 15 0 19 0 287196808 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11588] ppid=11570 vsize=10557036 CPUtime=0.95 cores=1,3,5,7
/proc/11572/task/11588/stat : 11588 (java) S 11570 11572 11316 0 -1 4202560 10483 0 0 0 94 1 0 0 15 0 19 0 287196808 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 1 0 0 0
[pid=11572/tid=11589] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11589/stat : 11589 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287196808 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381081 0 4 0 16800975 18446604459356302208 0 0 -1 3 0 0 0
[pid=11572/tid=11590] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11590/stat : 11590 (java) S 11570 11572 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287196808 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 5 0 0 0
[pid=11572/tid=11594] ppid=11570 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/11572/task/11594/stat : 11594 (java) S 11570 11572 11316 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 287196845 10810404864 116896 33554432000 1073741824 1073778376 140734839914000 18446744073709551615 218892381696 0 4 0 16800975 18446604459356302208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 10557036
Child status: 10
Real time (s): 4.97086
CPU time (s): 11.1893
CPU user time (s): 10.9913
CPU system time (s): 0.197969
CPU usage (%): 225.098
Max. virtual memory (cumulated for all children) (KiB): 10559248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9913
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125797
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= 487
involuntary context switches= 159
runsolver used 0.022996 second user time and 0.052991 second system time
The end