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-3453911-1307194419/watcher-3453911-1307194419 -o /tmp/evaluation-result-3453911-1307194419/solver-3453911-1307194419 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453911-1307194419.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.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1452 0 1 0 0 0 0 0 25 0 2 0 909672607 88928256 1154 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2607745 1160 906 9 0 2598901 0
[pid=21136/tid=21137] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 3083 0 1 0 0 0 0 0 25 0 2 0 909672608 10694979584 3899 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.022999 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 6578 0 1 0 0 0 0 0 25 0 2 0 909672607 10694979584 6280 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2611079 6300 917 9 0 2602235 0
[pid=21136/tid=21137] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 5497 0 1 0 0 0 0 0 25 0 2 0 909672608 10694979584 6313 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.106041 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10539768 CPUtime=0.1 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 12994 0 1 0 9 1 0 0 25 0 18 0 909672607 10792722432 12691 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2634942 12692 2092 9 0 2625676 0
[pid=21136/tid=21137] ppid=21134 vsize=10539768 CPUtime=0.08 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 11096 0 1 0 7 1 0 0 22 0 18 0 909672608 10792722432 12692 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 47348802646787 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539768
[startup+0.30463 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10541440 CPUtime=0.44 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 15631 0 1 0 43 1 0 0 25 0 18 0 909672607 10794434560 15051 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2635360 15052 2208 9 0 2626094 0
[pid=21136/tid=21137] ppid=21134 vsize=10541440 CPUtime=0.28 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 12822 0 1 0 27 1 0 0 22 0 18 0 909672608 10794434560 15052 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505592676 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541440
[startup+0.70089 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10556304 CPUtime=1.6 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 35334 0 1 0 155 5 0 0 25 0 18 0 909672607 10809655296 29756 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2639076 29759 2227 9 0 2629810 0
[pid=21136/tid=21137] ppid=21134 vsize=10556304 CPUtime=0.67 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 22629 0 1 0 64 3 0 0 18 0 18 0 909672608 10809655296 29761 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505661427 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10556304
[startup+1.50076 s]
/proc/loadavg: 3.75 3.85 3.75 6/556 21158
/proc/meminfo: memFree=22119684/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=2.58 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 57569 0 1 0 251 7 0 0 25 0 19 0 909672607 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 51580 2238 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.86 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 38799 0 1 0 81 5 0 0 17 0 19 0 909672608 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.69 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 5750 0 0 0 69 0 0 0 16 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=0.64 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6269 0 0 0 64 0 0 0 15 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21157] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21157/stat : 21157 (java) S 21134 21136 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909672695 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10560416
[startup+3.10139 s]
/proc/loadavg: 3.75 3.85 3.75 4/555 21164
/proc/meminfo: memFree=22094336/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=3.93 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 72339 0 1 0 384 9 0 0 25 0 22 0 909672607 10813865984 66084 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 66092 2244 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39375 0 1 0 86 5 0 0 17 0 22 0 909672608 10813865984 66092 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66099 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66100 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66105 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66107 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66111 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66115 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66117 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66122 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 909672611 10813865984 66123 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 66129 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 22 0 909672611 10813865984 66130 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 66135 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6048 0 0 0 94 1 0 0 15 0 22 0 909672614 10813865984 66137 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=0.88 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6308 0 0 0 88 0 0 0 15 0 22 0 909672614 10813865984 66141 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 66145 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 66147 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21157] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21157/stat : 21157 (java) S 21134 21136 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909672695 10813865984 66152 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10560416
[startup+6.30078 s]
/proc/loadavg: 3.75 3.85 3.75 7/558 21170
/proc/meminfo: memFree=21205540/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=10.32 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 361485 0 1 0 991 41 0 0 25 0 22 0 909672607 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 355207 2268 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39375 0 1 0 86 5 0 0 15 0 22 0 909672608 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.04 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2883 0 0 0 4 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.04 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 3327 0 0 0 4 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.03 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 3424 0 0 0 3 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.02 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 2264 0 0 0 2 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.01 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 932 0 0 0 1 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0.22 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 15598 0 0 0 21 1 0 0 16 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.97 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6049 0 0 0 96 1 0 0 15 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.01 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6346 0 0 0 101 0 0 0 15 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18089820/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1619.46 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 989473 0 1 0 161839 107 0 0 25 0 22 0 909672607 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 979852 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39387 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.59 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 4635 0 0 0 59 0 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.69 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 16178 0 0 0 67 2 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.77 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 8522 0 0 0 76 1 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.81 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 13754 0 0 0 80 1 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.7 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 69 1 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.67 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 12924 0 0 0 67 0 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.7 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 4281 0 0 0 70 0 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.74 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10214 0 0 0 73 1 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=25.61 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 62908 0 0 0 2554 7 0 0 15 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=720.34 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 919 0 0 0 72034 0 0 0 25 0 22 0 909680466 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506041796 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=720.35 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180696 0 0 0 72017 18 0 0 25 0 22 0 909680467 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506072604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1619.46
Current children cumulated vsize (KiB) 10560416
[startup+882.301 s]
/proc/loadavg: 3.99 3.95 3.84 4/558 21269
/proc/meminfo: memFree=18020836/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1738.2 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1002750 0 1 0 173711 109 0 0 25 0 22 0 909672607 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 992549 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39387 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.64 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 8139 0 0 0 63 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.72 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 17115 0 0 0 70 2 0 0 15 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.86 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 10737 0 0 0 85 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.87 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 16016 0 0 0 86 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.71 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 70 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.76 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 13991 0 0 0 76 0 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.8 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 6605 0 0 0 79 1 0 0 15 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.79 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10244 0 0 0 78 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=27.08 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 63837 0 0 0 2701 7 0 0 15 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=778.73 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 923 0 0 0 77873 0 0 0 25 0 22 0 909680466 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506200535 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=778.74 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180697 0 0 0 77856 18 0 0 25 0 22 0 909680467 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506433621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1738.2
Current children cumulated vsize (KiB) 10560416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+913.501 s]
/proc/loadavg: 3.99 3.95 3.85 4/558 21270
/proc/meminfo: memFree=18015492/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1800.11 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1002765 0 1 0 179902 109 0 0 25 0 22 0 909672607 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 992560 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39389 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.66 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 8139 0 0 0 65 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.74 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 17116 0 0 0 72 2 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.88 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 10737 0 0 0 87 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 16016 0 0 0 90 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.73 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 72 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.79 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 13991 0 0 0 79 0 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.84 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 6615 0 0 0 83 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.82 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10244 0 0 0 81 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=27.68 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 63837 0 0 0 2761 7 0 0 15 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=809.28 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 923 0 0 0 80928 0 0 0 25 0 22 0 909680466 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505881831 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=809.29 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180697 0 0 0 80911 18 0 0 25 0 22 0 909680467 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506326621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10560416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+913.626 s]
/proc/loadavg: 3.99 3.95 3.85 4/558 21270
/proc/meminfo: memFree=18015492/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/21136/stat : 21136 (java) Z 21134 21136 16455 0 -1 4203548 1002795 0 1 0 179907 118 0 0 17 0 2 0 909672607 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 0 0 0 0 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=0 CPUtime=809.39 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4203588 180697 0 0 0 80912 27 0 0 25 0 2 0 909680467 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 913.684
CPU time (s): 1800.32
CPU user time (s): 1799.07
CPU system time (s): 1.24481
CPU usage (%): 197.039
Max. virtual memory (cumulated for all children) (KiB): 10560416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002795
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= 23919
involuntary context switches= 11502
runsolver used 4.92825 second user time and 11.5682 second system time
The end