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-3454765-1307186790/watcher-3454765-1307186790 -o /tmp/evaluation-result-3454765-1307186790/solver-3454765-1307186790 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454765-1307186790.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.01 1.85 1.85 3/421 11068
/proc/meminfo: memFree=29800988/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 2621 0 1 0 0 0 0 0 25 0 2 0 830278752 10681323520 2323 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2607745 2337 906 9 0 2598901 0
[pid=11068/tid=11069] ppid=11066 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) R 11066 11068 8078 0 -1 4202560 4954 0 1 0 0 0 0 0 25 0 2 0 830278752 10694979584 5771 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0412121 s]
/proc/loadavg: 3.01 1.85 1.85 3/421 11068
/proc/meminfo: memFree=29800988/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 11249 0 1 0 2 1 0 0 25 0 13 0 830278752 10718699520 10946 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2616870 10946 1672 9 0 2607618 0
[pid=11068/tid=11069] ppid=11066 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) R 11066 11068 8078 0 -1 4202560 10102 0 1 0 1 1 0 0 25 0 13 0 830278752 10718699520 10947 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 47109896876803 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.104203 s]
/proc/loadavg: 3.01 1.85 1.85 3/421 11068
/proc/meminfo: memFree=29800988/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10540348 CPUtime=0.11 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 13093 0 1 0 9 2 0 0 25 0 18 0 830278752 10793316352 12790 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2635087 12791 2092 9 0 2625821 0
[pid=11068/tid=11069] ppid=11066 vsize=10540348 CPUtime=0.09 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) R 11066 11068 8078 0 -1 4202560 11186 0 1 0 7 2 0 0 25 0 18 0 830278752 10793316352 12792 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 47109896876803 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540348
[startup+0.300169 s]
/proc/loadavg: 3.01 1.85 1.85 3/421 11068
/proc/meminfo: memFree=29800988/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10549284 CPUtime=0.68 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 16965 0 1 0 65 3 0 0 25 0 22 0 830278752 10802466816 16188 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2637321 16188 2212 9 0 2628055 0
[pid=11068/tid=11069] ppid=11066 vsize=10549284 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11763 0 1 0 14 2 0 0 25 0 22 0 830278752 10802466816 16189 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10549284
[startup+0.701097 s]
/proc/loadavg: 3.01 1.85 1.85 3/421 11068
/proc/meminfo: memFree=29800988/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=2.23 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 50383 0 1 0 216 7 0 0 25 0 22 0 830278752 10811027456 45887 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 45888 2251 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11763 0 1 0 14 2 0 0 20 0 22 0 830278752 10811027456 45888 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10557644
[startup+1.50096 s]
/proc/loadavg: 3.01 1.85 1.85 5/443 11090
/proc/meminfo: memFree=29598036/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=4.3 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 79117 0 1 0 420 10 0 0 25 0 22 0 830278752 10811027456 71102 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 71106 2257 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11763 0 1 0 14 2 0 0 15 0 22 0 830278752 10811027456 71107 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71108 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 71111 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 196 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 71113 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71115 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71117 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71118 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 71120 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.07 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 1501 0 0 0 7 0 0 0 15 0 22 0 830278755 10811027456 71121 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 71124 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 71126 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 71129 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 22 0 830278757 10811027456 71134 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.8 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5254 0 0 0 80 0 0 0 22 0 22 0 830278757 10811027456 71139 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 71144 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278757 10811027456 71149 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11087] ppid=11066 vsize=10557644 CPUtime=1.22 cores=1,3,5,7
/proc/11068/task/11087/stat : 11087 (java) R 11066 11068 8078 0 -1 4202560 383 0 0 0 122 0 0 0 25 0 22 0 830278769 10811027456 71154 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505654631 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11068/tid=11088] ppid=11066 vsize=10557644 CPUtime=1.23 cores=1,3,5,7
/proc/11068/task/11088/stat : 11088 (java) R 11066 11068 8078 0 -1 4202560 47852 0 0 0 118 5 0 0 25 0 22 0 830278769 10811027456 71159 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505559914 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11068/tid=11089] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11089/stat : 11089 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 71164 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 71168 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10557644
[startup+3.10173 s]
/proc/loadavg: 3.01 1.85 1.85 5/443 11090
/proc/meminfo: memFree=29495624/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=7.41 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 94463 0 1 0 730 11 0 0 25 0 22 0 830278752 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 86444 2257 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11763 0 1 0 14 2 0 0 15 0 22 0 830278752 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 158 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.17 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 3219 0 0 0 17 0 0 0 16 0 22 0 830278755 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 22 0 830278757 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.82 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5256 0 0 0 82 0 0 0 15 0 22 0 830278757 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278757 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11087] ppid=11066 vsize=10557644 CPUtime=2.71 cores=1,3,5,7
/proc/11068/task/11087/stat : 11087 (java) R 11066 11068 8078 0 -1 4202560 386 0 0 0 271 0 0 0 25 0 22 0 830278769 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505655111 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11068/tid=11088] ppid=11066 vsize=10557644 CPUtime=2.71 cores=1,3,5,7
/proc/11068/task/11088/stat : 11088 (java) R 11066 11068 8078 0 -1 4202560 61066 0 0 0 265 6 0 0 18 0 22 0 830278769 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505559890 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11068/tid=11089] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11089/stat : 11089 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 86444 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 10557644
[startup+6.3011 s]
/proc/loadavg: 3.01 1.87 1.86 4/443 11139
/proc/meminfo: memFree=29436908/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=13.54 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 96195 0 1 0 1343 11 0 0 25 0 22 0 830278752 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 88110 2257 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11764 0 1 0 14 2 0 0 15 0 22 0 830278752 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 1 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.44 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 4937 0 0 0 44 0 0 0 15 0 22 0 830278755 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 22 0 830278757 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.82 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5256 0 0 0 82 0 0 0 15 0 22 0 830278757 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278757 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11087] ppid=11066 vsize=10557644 CPUtime=5.62 cores=1,3,5,7
/proc/11068/task/11087/stat : 11087 (java) R 11066 11068 8078 0 -1 4202560 393 0 0 0 562 0 0 0 25 0 22 0 830278769 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505622676 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11068/tid=11088] ppid=11066 vsize=10557644 CPUtime=5.63 cores=1,3,5,7
/proc/11068/task/11088/stat : 11088 (java) R 11066 11068 8078 0 -1 4202560 61067 0 0 0 557 6 0 0 20 0 22 0 830278769 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505759360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11068/tid=11089] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11089/stat : 11089 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 88110 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.54
Current children cumulated vsize (KiB) 10557644
Solver just ended. Dumping a history of the last processes samples
[startup+6.70103 s]
/proc/loadavg: 3.01 1.87 1.86 5/443 11139
/proc/meminfo: memFree=29422772/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=14.32 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 96559 0 1 0 1420 12 0 0 25 0 22 0 830278752 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 88473 2257 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11764 0 1 0 14 2 0 0 15 0 22 0 830278752 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 160 0 0 0 1 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 265 0 0 0 1 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 362 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 69 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 830278754 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.47 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 5299 0 0 0 47 0 0 0 15 0 22 0 830278755 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830278755 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 22 0 830278757 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.82 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5256 0 0 0 82 0 0 0 15 0 22 0 830278757 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278757 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278757 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11087] ppid=11066 vsize=10557644 CPUtime=5.98 cores=1,3,5,7
/proc/11068/task/11087/stat : 11087 (java) R 11066 11068 8078 0 -1 4202560 394 0 0 0 598 0 0 0 25 0 22 0 830278769 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505539743 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11068/tid=11088] ppid=11066 vsize=10557644 CPUtime=5.99 cores=1,3,5,7
/proc/11068/task/11088/stat : 11088 (java) R 11066 11068 8078 0 -1 4202560 61067 0 0 0 593 6 0 0 20 0 22 0 830278769 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 46912505966864 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11068/tid=11089] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11089/stat : 11089 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278770 10811027456 88473 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 10557644
[startup+7.10103 s]
/proc/loadavg: 3.01 1.87 1.86 5/443 11139
/proc/meminfo: memFree=29422772/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=14.77 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 96560 0 1 0 1465 12 0 0 25 0 19 0 830278752 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 88474 2258 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11764 0 1 0 14 2 0 0 15 0 19 0 830278752 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 160 0 0 0 1 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 265 0 0 0 1 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 362 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 69 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.47 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 5299 0 0 0 47 0 0 0 15 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.82 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5256 0 0 0 82 0 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830278770 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (KiB) 10557644
[startup+7.20101 s]
/proc/loadavg: 3.01 1.87 1.86 5/443 11139
/proc/meminfo: memFree=29422772/32950904 swapFree=56615552/67111528
[pid=11068] ppid=11066 vsize=10557644 CPUtime=14.77 cores=1,3,5,7
/proc/11068/stat : 11068 (java) S 11066 11068 8078 0 -1 4202496 96560 0 1 0 1465 12 0 0 25 0 19 0 830278752 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11068/statm: 2639411 88474 2258 9 0 2630145 0
[pid=11068/tid=11069] ppid=11066 vsize=10557644 CPUtime=0.16 cores=1,3,5,7
/proc/11068/task/11069/stat : 11069 (java) S 11066 11068 8078 0 -1 4202560 11764 0 1 0 14 2 0 0 15 0 19 0 830278752 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11071] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11071/stat : 11071 (java) S 11066 11068 8078 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11072] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11072/stat : 11072 (java) S 11066 11068 8078 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11073] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11073/stat : 11073 (java) S 11066 11068 8078 0 -1 4202560 160 0 0 0 1 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11074] ppid=11066 vsize=10557644 CPUtime=0.01 cores=1,3,5,7
/proc/11068/task/11074/stat : 11074 (java) S 11066 11068 8078 0 -1 4202560 265 0 0 0 1 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11075] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11075/stat : 11075 (java) S 11066 11068 8078 0 -1 4202560 362 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11076] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11076/stat : 11076 (java) S 11066 11068 8078 0 -1 4202560 264 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11077] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11077/stat : 11077 (java) S 11066 11068 8078 0 -1 4202560 69 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11078] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11078/stat : 11078 (java) S 11066 11068 8078 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 830278754 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=11068/tid=11079] ppid=11066 vsize=10557644 CPUtime=0.47 cores=1,3,5,7
/proc/11068/task/11079/stat : 11079 (java) S 11066 11068 8078 0 -1 4202560 5299 0 0 0 47 0 0 0 15 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11080] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11080/stat : 11080 (java) S 11066 11068 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11081] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11081/stat : 11081 (java) S 11066 11068 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 830278755 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11082] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11082/stat : 11082 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11083] ppid=11066 vsize=10557644 CPUtime=0.75 cores=1,3,5,7
/proc/11068/task/11083/stat : 11083 (java) S 11066 11068 8078 0 -1 4202560 10005 0 0 0 74 1 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=11068/tid=11084] ppid=11066 vsize=10557644 CPUtime=0.82 cores=1,3,5,7
/proc/11068/task/11084/stat : 11084 (java) S 11066 11068 8078 0 -1 4202560 5256 0 0 0 82 0 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11085] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11085/stat : 11085 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=11068/tid=11086] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11086/stat : 11086 (java) S 11066 11068 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830278757 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=11068/tid=11090] ppid=11066 vsize=10557644 CPUtime=0 cores=1,3,5,7
/proc/11068/task/11090/stat : 11090 (java) S 11066 11068 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830278770 10811027456 88474 33554432000 1073741824 1073778376 140734871156592 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (KiB) 10557644
Child status: 10
Real time (s): 7.28631
CPU time (s): 14.8087
CPU user time (s): 14.6718
CPU system time (s): 0.136979
CPU usage (%): 203.241
Max. virtual memory (cumulated for all children) (KiB): 10557644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6718
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96577
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= 906
involuntary context switches= 403
runsolver used 0.031995 second user time and 0.072988 second system time
The end