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-3455938-1307225450/watcher-3455938-1307225450 -o /tmp/evaluation-result-3455938-1307225450/solver-3455938-1307225450 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455938-1307225450.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: 2.00 2.00 2.00 3/291 18461
/proc/meminfo: memFree=24806872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/18461/stat : 18461 (java) R 18459 18461 17036 0 -1 4202496 1027 0 0 0 0 0 0 0 25 0 1 0 834145749 23580672 772 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 47142896672400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18461/statm: 5757 788 584 9 0 124 0
[pid=18461/tid=18462] ppid=18459 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 648 0 1 0 0 0 0 0 25 0 2 0 834145749 10681323520 1464 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222921471035 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0422949 s]
/proc/loadavg: 2.00 2.00 2.00 3/291 18461
/proc/meminfo: memFree=24806872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 11250 0 1 0 2 1 0 0 25 0 13 0 834145749 10785808384 10945 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2633254 10946 1673 9 0 2624002 0
[pid=18461/tid=18462] ppid=18459 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 10102 0 1 0 2 1 0 0 20 0 13 0 834145749 10785808384 10948 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 47142893314053 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/291 18461
/proc/meminfo: memFree=24806872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 13058 0 1 0 9 1 0 0 25 0 18 0 834145749 10793365504 12753 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2635099 12753 2093 9 0 2625833 0
[pid=18461/tid=18462] ppid=18459 vsize=10540396 CPUtime=0.08 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 11142 0 1 0 7 1 0 0 18 0 18 0 834145749 10793365504 12754 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 47142897814355 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) 10540396
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/291 18461
/proc/meminfo: memFree=24806872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10551664 CPUtime=0.53 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 19582 0 1 0 50 3 0 0 25 0 19 0 834145749 10804903936 17841 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2637916 17842 2188 9 0 2628650 0
[pid=18461/tid=18462] ppid=18459 vsize=10551664 CPUtime=0.28 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 12844 0 1 0 26 2 0 0 19 0 19 0 834145749 10804903936 17842 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10551664
[startup+0.701172 s]
/proc/loadavg: 2.00 2.00 2.00 3/291 18461
/proc/meminfo: memFree=24806872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=1.71 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 46221 0 1 0 164 7 0 0 25 0 19 0 834145749 10816471040 42353 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 42355 2217 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=0.68 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 32215 0 1 0 64 4 0 0 19 0 19 0 834145749 10816471040 42356 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505605931 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10562960
[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18480
/proc/meminfo: memFree=24516692/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=2.83 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 135586 0 1 0 267 16 0 0 25 0 19 0 834145749 10816471040 131718 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 131722 2220 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=1.47 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 121505 0 1 0 134 13 0 0 18 0 19 0 834145749 10816471040 131725 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505584065 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131728 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131731 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131734 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131735 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131739 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131741 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131744 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 131747 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834145752 10816471040 131749 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834145753 10816471040 131752 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834145753 10816471040 131754 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 131757 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.68 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6206 0 0 0 67 1 0 0 20 0 19 0 834145755 10816471040 131759 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.65 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6719 0 0 0 64 1 0 0 25 0 19 0 834145755 10816471040 131762 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 131764 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 131766 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 131769 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10562960
[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18480
/proc/meminfo: memFree=24017716/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=4.48 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 310674 0 1 0 412 36 0 0 25 0 19 0 834145749 10816471040 306804 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 306809 2220 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=3.07 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 296568 0 1 0 274 33 0 0 19 0 19 0 834145749 10816471040 306812 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505633374 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306814 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306817 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306819 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306821 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306823 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306824 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306827 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834145751 10816471040 306829 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834145752 10816471040 306831 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834145753 10816471040 306834 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834145753 10816471040 306837 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 306839 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.73 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6231 0 0 0 72 1 0 0 15 0 19 0 834145755 10816471040 306842 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.66 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6719 0 0 0 65 1 0 0 15 0 19 0 834145755 10816471040 306844 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 306847 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 306849 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 306851 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10562960
[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18480
/proc/meminfo: memFree=22596872/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=7.79 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 607075 0 1 0 712 67 0 0 25 0 19 0 834145749 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 602909 2250 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=6.22 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 586288 0 1 0 558 64 0 0 20 0 19 0 834145749 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505529477 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=0.01 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 954 0 0 0 1 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 530 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 766 0 0 0 0 0 0 0 18 0 19 0 834145751 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=0.04 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 3519 0 0 0 4 0 0 0 15 0 19 0 834145752 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.79 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6251 0 0 0 78 1 0 0 15 0 19 0 834145755 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.67 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6725 0 0 0 66 1 0 0 15 0 19 0 834145755 10816471040 602909 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.92 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6283 0 0 0 91 1 0 0 15 0 19 0 834145755 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.69 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6727 0 0 0 68 1 0 0 15 0 19 0 834145755 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 941446 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.08
Current children cumulated vsize (KiB) 10562960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/310 18664
/proc/meminfo: memFree=21098992/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=1730.33 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 949294 0 1 0 172925 108 0 0 25 0 19 0 834145749 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 943720 2257 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=1717.58 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 847858 0 1 0 171666 92 0 0 25 0 19 0 834145749 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505947067 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=0.99 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 7956 0 0 0 98 1 0 0 15 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=1.08 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 7476 0 0 0 108 0 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=1.31 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 9828 0 0 0 130 1 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=1.12 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 9009 0 0 0 111 1 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=1.33 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 12356 0 0 0 132 1 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=1.1 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 9719 0 0 0 109 1 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=1.11 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 9556 0 0 0 110 1 0 0 16 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=1.23 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 8826 0 0 0 122 1 0 0 15 0 19 0 834145751 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=1.76 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 12451 0 0 0 174 2 0 0 15 0 19 0 834145752 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.92 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6283 0 0 0 91 1 0 0 15 0 19 0 834145755 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.69 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6727 0 0 0 68 1 0 0 15 0 19 0 834145755 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 943720 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.33
Current children cumulated vsize (KiB) 10562960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/310 18666
/proc/meminfo: memFree=21079240/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=1790.55 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 952768 0 1 0 178947 108 0 0 25 0 19 0 834145749 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 946949 2257 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=1777.48 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 847862 0 1 0 177656 92 0 0 25 0 19 0 834145749 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505530067 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=1.05 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 8359 0 0 0 104 1 0 0 15 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=1.12 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 7819 0 0 0 112 0 0 0 16 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=1.35 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 10084 0 0 0 134 1 0 0 15 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=1.16 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 10224 0 0 0 115 1 0 0 15 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=1.35 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 12444 0 0 0 134 1 0 0 15 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=1.15 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 10367 0 0 0 114 1 0 0 16 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=1.14 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 9926 0 0 0 113 1 0 0 16 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=1.26 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 8965 0 0 0 125 1 0 0 15 0 19 0 834145751 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=1.76 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 12455 0 0 0 174 2 0 0 15 0 19 0 834145752 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.92 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6283 0 0 0 91 1 0 0 15 0 19 0 834145755 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.69 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6727 0 0 0 68 1 0 0 15 0 19 0 834145755 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 946949 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (KiB) 10562960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 2.08 2.03 2.01 4/310 18666
/proc/meminfo: memFree=21077488/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=10562960 CPUtime=1800.1 cores=1,3,5,7
/proc/18461/stat : 18461 (java) S 18459 18461 17036 0 -1 4202496 953325 0 1 0 179902 108 0 0 25 0 19 0 834145749 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 2640740 947505 2257 9 0 2631474 0
[pid=18461/tid=18462] ppid=18459 vsize=10562960 CPUtime=1786.97 cores=1,3,5,7
/proc/18461/task/18462/stat : 18462 (java) R 18459 18461 17036 0 -1 4202560 847863 0 1 0 178605 92 0 0 25 0 19 0 834145749 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 46912505548400 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=10562960 CPUtime=1.09 cores=1,3,5,7
/proc/18461/task/18464/stat : 18464 (java) S 18459 18461 17036 0 -1 4202560 8814 0 0 0 108 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=10562960 CPUtime=1.12 cores=1,3,5,7
/proc/18461/task/18465/stat : 18465 (java) S 18459 18461 17036 0 -1 4202560 7819 0 0 0 112 0 0 0 15 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=10562960 CPUtime=1.35 cores=1,3,5,7
/proc/18461/task/18466/stat : 18466 (java) S 18459 18461 17036 0 -1 4202560 10084 0 0 0 134 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=10562960 CPUtime=1.17 cores=1,3,5,7
/proc/18461/task/18467/stat : 18467 (java) S 18459 18461 17036 0 -1 4202560 10224 0 0 0 116 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=10562960 CPUtime=1.36 cores=1,3,5,7
/proc/18461/task/18468/stat : 18468 (java) S 18459 18461 17036 0 -1 4202560 12444 0 0 0 135 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18469] ppid=18459 vsize=10562960 CPUtime=1.15 cores=1,3,5,7
/proc/18461/task/18469/stat : 18469 (java) S 18459 18461 17036 0 -1 4202560 10367 0 0 0 114 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18470] ppid=18459 vsize=10562960 CPUtime=1.14 cores=1,3,5,7
/proc/18461/task/18470/stat : 18470 (java) S 18459 18461 17036 0 -1 4202560 9926 0 0 0 113 1 0 0 15 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
[pid=18461/tid=18471] ppid=18459 vsize=10562960 CPUtime=1.29 cores=1,3,5,7
/proc/18461/task/18471/stat : 18471 (java) S 18459 18461 17036 0 -1 4202560 9066 0 0 0 128 1 0 0 16 0 19 0 834145751 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18472] ppid=18459 vsize=10562960 CPUtime=1.76 cores=1,3,5,7
/proc/18461/task/18472/stat : 18472 (java) S 18459 18461 17036 0 -1 4202560 12455 0 0 0 174 2 0 0 15 0 19 0 834145752 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 0 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18473] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18473/stat : 18473 (java) S 18459 18461 17036 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18474] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18474/stat : 18474 (java) S 18459 18461 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834145753 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 7 0 0 0
[pid=18461/tid=18475] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18475/stat : 18475 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834145755 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933600689 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18476] ppid=18459 vsize=10562960 CPUtime=0.92 cores=1,3,5,7
/proc/18461/task/18476/stat : 18476 (java) S 18459 18461 17036 0 -1 4202560 6283 0 0 0 91 1 0 0 15 0 19 0 834145755 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18477] ppid=18459 vsize=10562960 CPUtime=0.69 cores=1,3,5,7
/proc/18461/task/18477/stat : 18477 (java) S 18459 18461 17036 0 -1 4202560 6727 0 0 0 68 1 0 0 15 0 19 0 834145755 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18478] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18478/stat : 18478 (java) S 18459 18461 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834145755 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933592985 0 4 0 16800975 18446604455736383680 0 0 -1 1 0 0 0
[pid=18461/tid=18479] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18479/stat : 18479 (java) S 18459 18461 17036 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834145755 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 5 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=10562960 CPUtime=0 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) S 18459 18461 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834145764 10816471040 947505 33554432000 1073741824 1073778376 140735291986624 18446744073709551615 222933593600 0 4 0 16800975 18446604455736383680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10562960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.93 s]
/proc/loadavg: 2.08 2.03 2.01 4/310 18666
/proc/meminfo: memFree=21077488/32951124 swapFree=55664332/67111528
[pid=18461] ppid=18459 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/18461/stat : 18461 (java) Z 18459 18461 17036 0 -1 4203548 953365 0 1 0 179911 116 0 0 17 0 2 0 834145749 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18461/statm: 0 0 0 0 0 0 0
[pid=18461/tid=18480] ppid=18459 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/18461/task/18480/stat : 18480 (java) R 18459 18461 17036 0 -1 4203588 7 0 0 0 0 7 0 0 18 0 2 0 834145764 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.99
CPU time (s): 1800.34
CPU user time (s): 1799.12
CPU system time (s): 1.22581
CPU usage (%): 100.466
Max. virtual memory (cumulated for all children) (KiB): 10562960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.22581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953365
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= 41249
involuntary context switches= 10931
runsolver used 4.69029 second user time and 11.5642 second system time
The end