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-3456152-1307664079/watcher-3456152-1307664079 -o /tmp/evaluation-result-3456152-1307664079/solver-3456152-1307664079 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456152-1307664079.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: 1.00 1.16 1.56 1/172 15147
/proc/meminfo: memFree=31824340/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/15147/stat : 15147 (java) R 15145 15147 11485 0 -1 4202496 953 0 0 0 0 0 0 0 23 0 1 0 878007504 23580672 697 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274659846033 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15147/statm: 5757 697 513 9 0 124 0
[startup+0.092018 s]
/proc/loadavg: 1.00 1.16 1.56 1/172 15147
/proc/meminfo: memFree=31824340/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10539928 CPUtime=0.09 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 12847 0 1 0 8 1 0 0 23 0 18 0 878007504 10792886272 12544 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2634982 12546 2079 9 0 2625716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539928
[startup+0.100564 s]
/proc/loadavg: 1.00 1.16 1.56 1/172 15147
/proc/meminfo: memFree=31824340/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10539928 CPUtime=0.1 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 12976 0 1 0 9 1 0 0 23 0 18 0 878007504 10792886272 12673 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2634982 12673 2092 9 0 2625716 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539928
[startup+0.305586 s]
/proc/loadavg: 1.00 1.16 1.56 1/172 15147
/proc/meminfo: memFree=31824340/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10541656 CPUtime=0.45 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 15440 0 1 0 43 2 0 0 23 0 18 0 878007504 10794655744 14995 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2635414 14995 2206 9 0 2626148 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541656
[startup+0.700517 s]
/proc/loadavg: 1.00 1.16 1.56 1/172 15147
/proc/meminfo: memFree=31824340/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=1.56 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 29675 0 1 0 151 5 0 0 23 0 19 0 878007504 10809114624 24731 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 24731 2232 9 0 2629678 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10555776
[startup+1.50141 s]
/proc/loadavg: 1.00 1.16 1.56 3/212 15194
/proc/meminfo: memFree=31477584/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=2.96 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 55485 0 1 0 288 8 0 0 23 0 19 0 878007504 10809114624 48179 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 48179 2237 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=1.48 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 39895 0 1 0 143 5 0 0 20 0 19 0 878007505 10809114624 48180 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505802482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48180 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48181 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48181 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48181 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48182 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48183 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878007506 10809114624 48184 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 48186 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878007507 10809114624 48188 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878007508 10809114624 48189 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878007508 10809114624 48191 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 48192 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=0.75 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6225 0 0 0 73 2 0 0 16 0 19 0 878007510 10809114624 48193 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.7 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8206 0 0 0 70 0 0 0 16 0 19 0 878007510 10809114624 48195 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 48196 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 48198 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 48199 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10555776
[startup+3.10113 s]
/proc/loadavg: 1.08 1.18 1.56 4/212 15194
/proc/meminfo: memFree=30948472/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=4.6 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 107204 0 1 0 444 16 0 0 23 0 19 0 878007504 10809114624 99898 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 99901 2237 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=3.08 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 91613 0 1 0 295 13 0 0 25 0 19 0 878007505 10809114624 99903 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505822932 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99905 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99907 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99909 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99910 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99911 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99913 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878007506 10809114624 99914 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 99915 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878007507 10809114624 99917 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878007508 10809114624 99918 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878007508 10809114624 99919 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 99921 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=0.76 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6225 0 0 0 74 2 0 0 15 0 19 0 878007510 10809114624 99922 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.74 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8212 0 0 0 74 0 0 0 15 0 19 0 878007510 10809114624 99922 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 99924 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 99925 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 99925 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 10555776
[startup+6.30156 s]
/proc/loadavg: 1.08 1.18 1.56 3/212 15251
/proc/meminfo: memFree=30286408/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=7.91 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 206098 0 1 0 762 29 0 0 23 0 19 0 878007504 10809114624 198316 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 198317 2240 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=6.27 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 190482 0 1 0 602 25 0 0 25 0 19 0 878007505 10809114624 198317 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505802501 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198317 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198318 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198318 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198318 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198319 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198319 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878007506 10809114624 198320 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878007506 10809114624 198320 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878007507 10809114624 198320 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878007508 10809114624 198321 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878007508 10809114624 198321 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 198321 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=0.86 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6245 0 0 0 84 2 0 0 15 0 19 0 878007510 10809114624 198322 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.75 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8212 0 0 0 75 0 0 0 15 0 19 0 878007510 10809114624 198322 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 198322 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 198323 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 198323 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 10555776
[startup+12.7015 s]
################
# More data... #
################
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=1.06 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6283 0 0 0 104 2 0 0 15 0 19 0 878007510 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8315 0 0 0 92 1 0 0 16 0 19 0 878007510 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 1043596 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.02
Current children cumulated vsize (KiB) 10555776
[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 1.94 3/212 15300
/proc/meminfo: memFree=23794272/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=1730.12 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 1057823 0 1 0 172857 155 0 0 23 0 19 0 878007504 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 1045746 2268 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=1718.62 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 732699 0 1 0 171765 97 0 0 25 0 19 0 878007505 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505822761 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=1.11 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 47094 0 0 0 104 7 0 0 15 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=1.02 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 43099 0 0 0 93 9 0 0 16 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=1.03 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 36857 0 0 0 97 6 0 0 15 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=1.01 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 40580 0 0 0 94 7 0 0 16 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0.81 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 37045 0 0 0 75 6 0 0 15 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0.94 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 31054 0 0 0 90 4 0 0 16 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 31555 0 0 0 88 5 0 0 16 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=1.01 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 37159 0 0 0 96 5 0 0 15 0 19 0 878007506 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=1.53 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 4830 0 0 0 153 0 0 0 15 0 19 0 878007507 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=1.06 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6283 0 0 0 104 2 0 0 15 0 19 0 878007510 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8315 0 0 0 92 1 0 0 16 0 19 0 878007510 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 1045746 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1730.12
Current children cumulated vsize (KiB) 10555776
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 1.94 3/212 15302
/proc/meminfo: memFree=23766596/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=1790.33 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 1063077 0 1 0 178877 156 0 0 23 0 19 0 878007504 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 1050912 2268 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=1778.55 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 732701 0 1 0 177757 98 0 0 25 0 19 0 878007505 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505822151 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=1.18 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 48463 0 0 0 111 7 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=1.09 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 44567 0 0 0 100 9 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=1.07 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 37520 0 0 0 101 6 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=1.08 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 41514 0 0 0 101 7 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0.81 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 37045 0 0 0 75 6 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0.97 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 31866 0 0 0 93 4 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 31555 0 0 0 88 5 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=1.01 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 37159 0 0 0 96 5 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=1.53 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 4834 0 0 0 153 0 0 0 15 0 19 0 878007507 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=1.06 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6283 0 0 0 104 2 0 0 15 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8315 0 0 0 92 1 0 0 16 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 10555776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.02 2.06 1.94 3/212 15302
/proc/meminfo: memFree=23766588/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=10555776 CPUtime=1800.04 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 11485 0 -1 4202496 1063079 0 1 0 179848 156 0 0 23 0 19 0 878007504 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 2638944 1050912 2268 9 0 2629678 0
[pid=15147/tid=15149] ppid=15145 vsize=10555776 CPUtime=1788.25 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4202560 732701 0 1 0 178727 98 0 0 25 0 19 0 878007505 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 46912505822048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10555776 CPUtime=1.18 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 11485 0 -1 4202560 48463 0 0 0 111 7 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10555776 CPUtime=1.09 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 11485 0 -1 4202560 44567 0 0 0 100 9 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10555776 CPUtime=1.07 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 11485 0 -1 4202560 37520 0 0 0 101 6 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10555776 CPUtime=1.08 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 11485 0 -1 4202560 41514 0 0 0 101 7 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10555776 CPUtime=0.81 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 11485 0 -1 4202560 37045 0 0 0 75 6 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10555776 CPUtime=0.97 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 11485 0 -1 4202560 31866 0 0 0 93 4 0 0 16 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 11485 0 -1 4202560 31555 0 0 0 88 5 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10555776 CPUtime=1.01 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 11485 0 -1 4202560 37159 0 0 0 96 5 0 0 15 0 19 0 878007506 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10555776 CPUtime=1.53 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 11485 0 -1 4202560 4834 0 0 0 153 0 0 0 15 0 19 0 878007507 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 0 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878007508 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15180] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15180/stat : 15180 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676631985 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15181] ppid=15145 vsize=10555776 CPUtime=1.06 cores=0,2,4,6
/proc/15147/task/15181/stat : 15181 (java) S 15145 15147 11485 0 -1 4202560 6283 0 0 0 104 2 0 0 15 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 2 0 0 0
[pid=15147/tid=15182] ppid=15145 vsize=10555776 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15182/stat : 15182 (java) S 15145 15147 11485 0 -1 4202560 8315 0 0 0 92 1 0 0 16 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15183] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15183/stat : 15183 (java) S 15145 15147 11485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624281 0 4 0 16800975 18446604453753766208 0 0 -1 6 0 0 0
[pid=15147/tid=15184] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15184/stat : 15184 (java) S 15145 15147 11485 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 878007510 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 4 0 0 0
[pid=15147/tid=15194] ppid=15145 vsize=10555776 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15194/stat : 15194 (java) S 15145 15147 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878007550 10809114624 1050912 33554432000 1073741824 1073778376 140734907986864 18446744073709551615 274676624896 0 4 0 16800975 18446604453753766208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.2 s]
/proc/loadavg: 2.02 2.06 1.94 3/212 15302
/proc/meminfo: memFree=23766588/32951132 swapFree=67054608/67111528
[pid=15147] ppid=15145 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/15147/stat : 15147 (java) Z 15145 15147 11485 0 -1 4203548 1063113 0 1 0 179852 172 0 0 17 0 2 0 878007504 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15147/statm: 0 0 0 0 0 0 0
[pid=15147/tid=15149] ppid=15145 vsize=0 CPUtime=1788.43 cores=0,2,4,6
/proc/15147/task/15149/stat : 15149 (java) R 15145 15147 11485 0 -1 4203588 732701 0 1 0 178729 114 0 0 25 0 2 0 878007505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.23
CPU time (s): 1800.27
CPU user time (s): 1798.52
CPU system time (s): 1.75273
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 10556144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.75273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1063113
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= 38026
involuntary context switches= 29943
runsolver used 3.3055 second user time and 6.50501 second system time
The end