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-3457090-1307216569/watcher-3457090-1307216569 -o /tmp/evaluation-result-3457090-1307216569/solver-3457090-1307216569 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457090-1307216569.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/396 17147
/proc/meminfo: memFree=29994360/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 1245 0 0 0 0 0 0 0 21 0 2 0 833256642 31268864 963 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 7634 963 736 9 0 385 0
[pid=17147/tid=17153] ppid=17144 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) S 17144 17147 15661 0 -1 4202560 202 0 0 0 0 0 0 0 18 0 2 0 833256643 36646912 1018 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237278899782 0 0 0 16784584 9429952958700716031 0 0 -1 4 0 0 0
[startup+0.0464899 s]
/proc/loadavg: 0.92 0.98 0.99 3/396 17147
/proc/meminfo: memFree=29994360/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10530960 CPUtime=0.02 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 10907 0 1 0 1 1 0 0 21 0 11 0 833256642 10783703040 10605 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2632740 10605 1567 9 0 2623488 0
[pid=17147/tid=17153] ppid=17144 vsize=10530960 CPUtime=0.02 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 9782 0 1 0 1 1 0 0 20 0 11 0 833256643 10783703040 10606 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 47780476772259 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10530960
[startup+0.100528 s]
/proc/loadavg: 0.92 0.98 0.99 3/396 17147
/proc/meminfo: memFree=29994360/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10538644 CPUtime=0.07 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 12289 0 1 0 6 1 0 0 21 0 18 0 833256642 10791571456 11985 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2634661 11985 1913 9 0 2625395 0
[pid=17147/tid=17153] ppid=17144 vsize=10538644 CPUtime=0.07 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 10901 0 1 0 6 1 0 0 25 0 18 0 833256643 10791571456 11985 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538644
[startup+0.300444 s]
/proc/loadavg: 0.92 0.98 0.99 3/396 17147
/proc/meminfo: memFree=29994360/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10541108 CPUtime=0.43 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 15240 0 1 0 41 2 0 0 21 0 18 0 833256642 10794094592 14592 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2635277 14593 2199 9 0 2626011 0
[pid=17147/tid=17153] ppid=17144 vsize=10541108 CPUtime=0.26 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 12420 0 1 0 25 1 0 0 25 0 18 0 833256643 10794094592 14593 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505590864 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10541108
[startup+0.700317 s]
/proc/loadavg: 0.92 0.98 0.99 3/396 17147
/proc/meminfo: memFree=29994360/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10553532 CPUtime=1.53 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 41469 0 1 0 148 5 0 0 21 0 19 0 833256642 10806816768 36586 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2638383 36588 2223 9 0 2629117 0
[pid=17147/tid=17153] ppid=17144 vsize=10553532 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 29301 0 1 0 63 3 0 0 25 0 19 0 833256643 10806816768 36589 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505644792 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10553532
[startup+1.5013 s]
/proc/loadavg: 0.92 0.98 0.99 5/437 17200
/proc/meminfo: memFree=29455144/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10553844 CPUtime=2.67 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 118148 0 1 0 253 14 0 0 21 0 19 0 833256642 10807136256 113264 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2638461 113271 2226 9 0 2629195 0
[pid=17147/tid=17153] ppid=17144 vsize=10553844 CPUtime=1.46 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 105896 0 1 0 134 12 0 0 25 0 19 0 833256643 10807136256 113273 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505644784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 113276 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 113280 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 113283 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 113287 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 113291 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 113294 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 113298 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 113301 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833256647 10807136256 113304 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 833256647 10807136256 113307 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833256647 10807136256 113310 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10807136256 113313 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10553844 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5027 0 0 0 66 0 0 0 15 0 19 0 833256650 10807136256 113316 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10553844 CPUtime=0.51 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6072 0 0 0 51 0 0 0 15 0 19 0 833256650 10807136256 113318 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10807136256 113321 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833256650 10807136256 113323 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10807136256 113326 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10553844
[startup+3.10089 s]
/proc/loadavg: 0.92 0.98 0.99 3/437 17200
/proc/meminfo: memFree=28545856/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10553844 CPUtime=4.29 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 277307 0 1 0 397 32 0 0 21 0 19 0 833256642 10807136256 272422 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2638461 272429 2227 9 0 2629195 0
[pid=17147/tid=17153] ppid=17144 vsize=10553844 CPUtime=3.06 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 265054 0 1 0 276 30 0 0 19 0 19 0 833256643 10807136256 272432 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505644784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 272436 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 272440 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 272444 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 272448 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 272452 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 272457 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10807136256 272460 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10807136256 272464 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833256647 10807136256 272468 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 833256647 10807136256 272472 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833256647 10807136256 272475 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10807136256 272479 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10553844 CPUtime=0.68 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5030 0 0 0 68 0 0 0 15 0 19 0 833256650 10807136256 272482 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10553844 CPUtime=0.51 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6072 0 0 0 51 0 0 0 15 0 19 0 833256650 10807136256 272485 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10807136256 272488 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833256650 10807136256 272491 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10553844 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10807136256 272493 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10553844
[startup+6.30145 s]
/proc/loadavg: 1.01 1.00 1.00 3/437 17200
/proc/meminfo: memFree=25822520/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10550208 CPUtime=7.49 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 572025 0 1 0 684 65 0 0 21 0 19 0 833256642 10803412992 566185 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2637552 566188 2228 9 0 2628286 0
[pid=17147/tid=17153] ppid=17144 vsize=10550208 CPUtime=6.26 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 559764 0 1 0 563 63 0 0 25 0 19 0 833256643 10803412992 566190 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505666258 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10803412992 566192 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10803412992 566195 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10803412992 566197 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10803412992 566199 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833256646 10803412992 566201 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10803412992 566203 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833256646 10803412992 566205 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833256646 10803412992 566208 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833256647 10803412992 566210 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 833256647 10803412992 566212 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833256647 10803412992 566213 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10803412992 566216 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10550208 CPUtime=0.69 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5031 0 0 0 69 0 0 0 15 0 19 0 833256650 10803412992 566217 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10550208 CPUtime=0.51 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6072 0 0 0 51 0 0 0 15 0 19 0 833256650 10803412992 566220 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10550208 CPUtime=0.78 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5053 0 0 0 78 0 0 0 16 0 19 0 833256650 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10550208 CPUtime=0.7 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6113 0 0 0 70 0 0 0 15 0 19 0 833256650 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833256650 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10803412992 917770 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.13
Current children cumulated vsize (KiB) 10550208
[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 1.86 4/437 17266
/proc/meminfo: memFree=22644568/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10550208 CPUtime=1727.25 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 924853 0 1 0 172614 111 0 0 21 0 19 0 833256642 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2637552 917803 2257 9 0 2628286 0
[pid=17147/tid=17153] ppid=17144 vsize=10550208 CPUtime=1719.67 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 835434 0 1 0 171869 98 0 0 25 0 19 0 833256643 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505813343 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10550208 CPUtime=0.64 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 11422 0 0 0 63 1 0 0 15 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10550208 CPUtime=0.56 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 4874 0 0 0 56 0 0 0 15 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10550208 CPUtime=0.61 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 8492 0 0 0 61 0 0 0 16 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10550208 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 11166 0 0 0 65 1 0 0 15 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10550208 CPUtime=0.58 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 5858 0 0 0 58 0 0 0 15 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10550208 CPUtime=0.62 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 8436 0 0 0 62 0 0 0 15 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10550208 CPUtime=0.72 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 12591 0 0 0 71 1 0 0 16 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10550208 CPUtime=0.61 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 8623 0 0 0 60 1 0 0 16 0 19 0 833256646 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10550208 CPUtime=0.97 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5539 0 0 0 95 2 0 0 15 0 19 0 833256647 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10550208 CPUtime=0.78 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5053 0 0 0 78 0 0 0 16 0 19 0 833256650 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10550208 CPUtime=0.7 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6113 0 0 0 70 0 0 0 15 0 19 0 833256650 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833256650 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10803412992 917803 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.25
Current children cumulated vsize (KiB) 10550208
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 1.86 3/437 17267
/proc/meminfo: memFree=22640692/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10550208 CPUtime=1787.36 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 924880 0 1 0 178624 112 0 0 21 0 19 0 833256642 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2637552 917822 2257 9 0 2628286 0
[pid=17147/tid=17153] ppid=17144 vsize=10550208 CPUtime=1779.59 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 835438 0 1 0 177861 98 0 0 25 0 19 0 833256643 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505813158 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10550208 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 11424 0 0 0 65 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10550208 CPUtime=0.58 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 4876 0 0 0 58 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10550208 CPUtime=0.61 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 8492 0 0 0 61 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10550208 CPUtime=0.69 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 11170 0 0 0 68 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10550208 CPUtime=0.6 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 5859 0 0 0 60 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10550208 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 8440 0 0 0 66 0 0 0 16 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10550208 CPUtime=0.76 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 12594 0 0 0 75 1 0 0 16 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10550208 CPUtime=0.63 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 8626 0 0 0 62 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10550208 CPUtime=0.97 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5541 0 0 0 95 2 0 0 15 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10550208 CPUtime=0.78 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5053 0 0 0 78 0 0 0 16 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10550208 CPUtime=0.7 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6113 0 0 0 70 0 0 0 15 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (KiB) 10550208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795 s]
/proc/loadavg: 2.02 2.05 1.86 3/437 17268
/proc/meminfo: memFree=22640060/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=10550208 CPUtime=1800.07 cores=0,2,4,6
/proc/17147/stat : 17147 (java) S 17144 17147 15661 0 -1 4202496 924882 0 1 0 179895 112 0 0 21 0 19 0 833256642 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 2637552 917822 2257 9 0 2628286 0
[pid=17147/tid=17153] ppid=17144 vsize=10550208 CPUtime=1792.31 cores=0,2,4,6
/proc/17147/task/17153/stat : 17153 (java) R 17144 17147 15661 0 -1 4202560 835438 0 1 0 179133 98 0 0 25 0 19 0 833256643 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 46912505705795 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17147/tid=17159] ppid=17144 vsize=10550208 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17159/stat : 17159 (java) S 17144 17147 15661 0 -1 4202560 11424 0 0 0 65 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17160] ppid=17144 vsize=10550208 CPUtime=0.58 cores=0,2,4,6
/proc/17147/task/17160/stat : 17160 (java) S 17144 17147 15661 0 -1 4202560 4876 0 0 0 58 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17161] ppid=17144 vsize=10550208 CPUtime=0.61 cores=0,2,4,6
/proc/17147/task/17161/stat : 17161 (java) S 17144 17147 15661 0 -1 4202560 8492 0 0 0 61 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17162] ppid=17144 vsize=10550208 CPUtime=0.69 cores=0,2,4,6
/proc/17147/task/17162/stat : 17162 (java) S 17144 17147 15661 0 -1 4202560 11170 0 0 0 68 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17163] ppid=17144 vsize=10550208 CPUtime=0.6 cores=0,2,4,6
/proc/17147/task/17163/stat : 17163 (java) S 17144 17147 15661 0 -1 4202560 5859 0 0 0 60 0 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17164] ppid=17144 vsize=10550208 CPUtime=0.66 cores=0,2,4,6
/proc/17147/task/17164/stat : 17164 (java) S 17144 17147 15661 0 -1 4202560 8440 0 0 0 66 0 0 0 16 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
[pid=17147/tid=17165] ppid=17144 vsize=10550208 CPUtime=0.76 cores=0,2,4,6
/proc/17147/task/17165/stat : 17165 (java) S 17144 17147 15661 0 -1 4202560 12594 0 0 0 75 1 0 0 16 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17166] ppid=17144 vsize=10550208 CPUtime=0.63 cores=0,2,4,6
/proc/17147/task/17166/stat : 17166 (java) S 17144 17147 15661 0 -1 4202560 8626 0 0 0 62 1 0 0 15 0 19 0 833256646 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17179] ppid=17144 vsize=10550208 CPUtime=0.97 cores=0,2,4,6
/proc/17147/task/17179/stat : 17179 (java) S 17144 17147 15661 0 -1 4202560 5541 0 0 0 95 2 0 0 15 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 0 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17182] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17182/stat : 17182 (java) S 17144 17147 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) S 17144 17147 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833256647 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17187] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17187/stat : 17187 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290703281 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17188] ppid=17144 vsize=10550208 CPUtime=0.78 cores=0,2,4,6
/proc/17147/task/17188/stat : 17188 (java) S 17144 17147 15661 0 -1 4202560 5053 0 0 0 78 0 0 0 16 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17191] ppid=17144 vsize=10550208 CPUtime=0.7 cores=0,2,4,6
/proc/17147/task/17191/stat : 17191 (java) S 17144 17147 15661 0 -1 4202560 6113 0 0 0 70 0 0 0 15 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 2 0 0 0
[pid=17147/tid=17192] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17192/stat : 17192 (java) S 17144 17147 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290695577 0 4 0 16800975 18446604442223373376 0 0 -1 4 0 0 0
[pid=17147/tid=17196] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17196/stat : 17196 (java) S 17144 17147 15661 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833256650 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 0 0 0 0
[pid=17147/tid=17200] ppid=17144 vsize=10550208 CPUtime=0 cores=0,2,4,6
/proc/17147/task/17200/stat : 17200 (java) S 17144 17147 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833256675 10803412992 917822 33554432000 1073741824 1073778376 140735147070528 18446744073709551615 237290696192 0 4 0 16800975 18446604442223373376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10550208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.12 s]
/proc/loadavg: 2.02 2.05 1.86 3/421 17271
/proc/meminfo: memFree=24743312/32950904 swapFree=56615552/67111528
[pid=17147] ppid=17144 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/17147/stat : 17147 (java) Z 17144 17147 15661 0 -1 4203548 924921 0 1 0 179899 121 0 0 17 0 2 0 833256642 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17147/statm: 0 0 0 0 0 0 0
[pid=17147/tid=17183] ppid=17144 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/17147/task/17183/stat : 17183 (java) R 17144 17147 15661 0 -1 4203588 9 0 0 0 0 9 0 0 18 0 2 0 833256647 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.18
CPU time (s): 1800.26
CPU user time (s): 1799
CPU system time (s): 1.25981
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 10553844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.25981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924921
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= 40435
involuntary context switches= 11307
runsolver used 7.53985 second user time and 16.9744 second system time
The end