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-3453973-1307649747/watcher-3453973-1307649747 -o /tmp/evaluation-result-3453973-1307649747/solver-3453973-1307649747 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453973-1307649747.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.67 3.82 3.77 3/196 13270
/proc/meminfo: memFree=31173500/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13270/stat : 13270 (java) R 13268 13270 11485 0 -1 4202496 813 0 0 0 0 0 0 0 25 0 1 0 876574309 23580672 556 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274659845888 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13270/statm: 5757 567 422 9 0 124 0
[startup+0.0460731 s]
/proc/loadavg: 3.67 3.82 3.77 3/196 13270
/proc/meminfo: memFree=31173500/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 11258 0 1 0 2 1 0 0 25 0 13 0 876574309 10785808384 10954 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2633254 10954 1673 9 0 2624002 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.101016 s]
/proc/loadavg: 3.67 3.82 3.77 3/196 13270
/proc/meminfo: memFree=31173500/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10540264 CPUtime=0.1 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 13012 0 1 0 8 2 0 0 25 0 18 0 876574309 10793230336 12708 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2635066 12709 2092 9 0 2625800 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540264
[startup+0.301019 s]
/proc/loadavg: 3.67 3.82 3.77 3/196 13270
/proc/meminfo: memFree=31173500/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10541576 CPUtime=0.46 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 15532 0 1 0 44 2 0 0 25 0 18 0 876574309 10794573824 15058 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2635394 15059 2194 9 0 2626128 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541576
[startup+0.700944 s]
/proc/loadavg: 3.67 3.82 3.77 3/196 13270
/proc/meminfo: memFree=31173500/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10555016 CPUtime=1.57 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 35002 0 1 0 153 4 0 0 25 0 18 0 876574309 10808336384 29271 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2638754 29274 2233 9 0 2629488 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10555016
[startup+1.50082 s]
/proc/loadavg: 3.67 3.82 3.77 7/218 13292
/proc/meminfo: memFree=31020088/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=3.23 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 51038 0 1 0 317 6 0 0 25 0 19 0 876574309 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 42798 2247 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.85 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 30649 0 1 0 81 4 0 0 17 0 19 0 876574310 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876574312 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) S 13268 13270 11485 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 876574313 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 0 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 876574313 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 876574313 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 876574316 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=0.92 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8270 0 0 0 91 1 0 0 18 0 19 0 876574316 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=0.92 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 6854 0 0 0 92 0 0 0 15 0 19 0 876574316 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 876574316 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876574316 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13291] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13291/stat : 13291 (java) S 13268 13270 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 876574400 10812923904 42798 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 10559496
[startup+3.10151 s]
/proc/loadavg: 3.86 3.85 3.78 3/215 13298
/proc/meminfo: memFree=30996924/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=5.34 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 83354 0 1 0 524 10 0 0 25 0 22 0 876574309 10812923904 73875 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 73875 2247 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.86 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 30832 0 1 0 82 4 0 0 15 0 22 0 876574310 10812923904 73875 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73875 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876574312 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) S 13268 13270 11485 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 876574313 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 0 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 876574313 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 876574313 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876574316 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=1.15 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8296 0 0 0 114 1 0 0 15 0 22 0 876574316 10812923904 73876 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=1.25 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 8137 0 0 0 125 0 0 0 15 0 22 0 876574316 10812923904 73877 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876574316 10812923904 73877 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876574316 10812923904 73877 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13291] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13291/stat : 13291 (java) S 13268 13270 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876574400 10812923904 73877 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 10559496
[startup+6.30098 s]
/proc/loadavg: 3.86 3.85 3.78 5/218 13304
/proc/meminfo: memFree=30566712/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=11.36 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 183367 0 1 0 1115 21 0 0 25 0 22 0 876574309 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 173778 2272 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.87 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 30880 0 1 0 83 4 0 0 15 0 22 0 876574310 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=0.01 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 1680 0 0 0 1 0 0 0 16 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=0.01 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 491 0 0 0 1 0 0 0 16 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=0.03 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 3862 0 0 0 3 0 0 0 15 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=0.03 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 3811 0 0 0 3 0 0 0 15 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 2889 0 0 0 0 0 0 0 15 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=0.03 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 2412 0 0 0 3 0 0 0 16 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=0.02 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 3339 0 0 0 2 0 0 0 18 0 22 0 876574312 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=0.38 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) S 13268 13270 11485 0 -1 4202560 20281 0 0 0 37 1 0 0 16 0 22 0 876574313 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 0 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876574313 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 876574313 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876574316 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=1.24 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8308 0 0 0 123 1 0 0 15 0 22 0 876574316 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=1.33 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 8151 0 0 0 133 0 0 0 15 0 22 0 876574316 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876574316 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876574316 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13291] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13291/stat : 13291 (java) S 13268 13270 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876574400 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13302] ppid=13268 vsize=10559496 CPUtime=2.09 cores=1,3,5,7
/proc/13270/task/13302/stat : 13302 (java) R 13268 13270 11485 0 -1 4202560 3053 0 0 0 209 0 0 0 16 0 22 0 876574701 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506517388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13270/tid=13303] ppid=13268 vsize=10559496 CPUtime=2.09 cores=1,3,5,7
/proc/13270/task/13303/stat : 13303 (java) R 13268 13270 11485 0 -1 4202560 42100 0 0 0 205 4 0 0 17 0 22 0 876574701 10812923904 173778 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506247099 0 4 0 16800975 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=13270/tid=13336] ppid=13268 vsize=10559496 CPUtime=195.65 cores=1,3,5,7
/proc/13270/task/13336/stat : 13336 (java) R 13268 13270 11485 0 -1 4202560 0 0 0 0 19565 0 0 0 18 0 22 0 876632743 10812923904 464556 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912505981941 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13270/tid=13337] ppid=13268 vsize=10559496 CPUtime=195.65 cores=1,3,5,7
/proc/13270/task/13337/stat : 13337 (java) R 13268 13270 11485 0 -1 4202560 1 0 0 0 19565 0 0 0 18 0 22 0 876632743 10812923904 464556 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506247083 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13270/tid=13338] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13338/stat : 13338 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 876632743 10812923904 464556 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1542.86
Current children cumulated vsize (KiB) 10559496
[startup+882.301 s]
/proc/loadavg: 3.12 3.42 3.57 4/218 13345
/proc/meminfo: memFree=29068224/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=1654.53 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 475123 0 1 0 165396 57 0 0 25 0 22 0 876574309 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 464625 2274 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.9 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 31003 0 1 0 86 4 0 0 15 0 22 0 876574310 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=1.61 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 7461 0 0 0 160 1 0 0 16 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=1.62 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 5525 0 0 0 161 1 0 0 16 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=1.92 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 7660 0 0 0 191 1 0 0 15 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=1.75 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 7350 0 0 0 174 1 0 0 16 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=1.48 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 3488 0 0 0 148 0 0 0 16 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=1.85 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 5619 0 0 0 185 0 0 0 16 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=1.76 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 6131 0 0 0 175 1 0 0 15 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=1.66 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 7488 0 0 0 165 1 0 0 15 0 22 0 876574312 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=115.09 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) R 13268 13270 11485 0 -1 4202560 187577 0 0 0 11490 19 0 0 17 0 22 0 876574313 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 47820225638516 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876574313 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 876574313 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876574316 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=1.55 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8323 0 0 0 154 1 0 0 16 0 22 0 876574316 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=1.44 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 8799 0 0 0 144 0 0 0 15 0 22 0 876574316 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876574316 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 876574316 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13304] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13304/stat : 13304 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876574701 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13336] ppid=13268 vsize=10559496 CPUtime=246.56 cores=1,3,5,7
/proc/13270/task/13336/stat : 13336 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 24656 0 0 0 25 0 22 0 876632743 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13337] ppid=13268 vsize=10559496 CPUtime=246.54 cores=1,3,5,7
/proc/13270/task/13337/stat : 13337 (java) S 13268 13270 11485 0 -1 4202560 2 0 0 0 24654 0 0 0 25 0 22 0 876632743 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13338] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13338/stat : 13338 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 876632743 10812923904 464625 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1654.53
Current children cumulated vsize (KiB) 10559496
[startup+942.301 s]
/proc/loadavg: 3.24 3.40 3.55 4/218 13346
/proc/meminfo: memFree=29037168/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=1767.9 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 475141 0 1 0 176732 58 0 0 25 0 22 0 876574309 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 464630 2274 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.9 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 31008 0 1 0 86 4 0 0 15 0 22 0 876574310 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=1.75 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 7466 0 0 0 174 1 0 0 16 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=1.7 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 5525 0 0 0 169 1 0 0 16 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=1.95 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 7660 0 0 0 194 1 0 0 15 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=1.85 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 7350 0 0 0 184 1 0 0 16 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=1.55 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 3488 0 0 0 155 0 0 0 16 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=1.88 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 5619 0 0 0 188 0 0 0 15 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=1.9 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 6131 0 0 0 189 1 0 0 16 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=1.76 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 7488 0 0 0 175 1 0 0 15 0 22 0 876574312 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=122.06 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) S 13268 13270 11485 0 -1 4202560 187581 0 0 0 12187 19 0 0 15 0 22 0 876574313 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 0 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876574313 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 876574313 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876574316 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=1.55 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8323 0 0 0 154 1 0 0 16 0 22 0 876574316 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=1.44 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 8799 0 0 0 144 0 0 0 15 0 22 0 876574316 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876574316 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 876574316 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13304] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13304/stat : 13304 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876574701 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13336] ppid=13268 vsize=10559496 CPUtime=299.41 cores=1,3,5,7
/proc/13270/task/13336/stat : 13336 (java) R 13268 13270 11485 0 -1 4202560 0 0 0 0 29941 0 0 0 25 0 22 0 876632743 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506291078 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13270/tid=13337] ppid=13268 vsize=10559496 CPUtime=299.39 cores=1,3,5,7
/proc/13270/task/13337/stat : 13337 (java) R 13268 13270 11485 0 -1 4202560 2 0 0 0 29939 0 0 0 25 0 22 0 876632743 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506541256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13270/tid=13338] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13338/stat : 13338 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 876632743 10812923904 464630 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1767.9
Current children cumulated vsize (KiB) 10559496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+959.601 s]
/proc/loadavg: 3.33 3.41 3.56 4/218 13348
/proc/meminfo: memFree=29029100/32951132 swapFree=67054608/67111528
[pid=13270] ppid=13268 vsize=10559496 CPUtime=1800.17 cores=1,3,5,7
/proc/13270/stat : 13270 (java) S 13268 13270 11485 0 -1 4202496 475150 0 1 0 179959 58 0 0 25 0 22 0 876574309 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13270/statm: 2639874 464637 2274 9 0 2630608 0
[pid=13270/tid=13272] ppid=13268 vsize=10559496 CPUtime=0.9 cores=1,3,5,7
/proc/13270/task/13272/stat : 13272 (java) S 13268 13270 11485 0 -1 4202560 31010 0 1 0 86 4 0 0 15 0 22 0 876574310 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13273] ppid=13268 vsize=10559496 CPUtime=1.82 cores=1,3,5,7
/proc/13270/task/13273/stat : 13273 (java) S 13268 13270 11485 0 -1 4202560 7470 0 0 0 181 1 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13274] ppid=13268 vsize=10559496 CPUtime=1.7 cores=1,3,5,7
/proc/13270/task/13274/stat : 13274 (java) S 13268 13270 11485 0 -1 4202560 5525 0 0 0 169 1 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13275] ppid=13268 vsize=10559496 CPUtime=2 cores=1,3,5,7
/proc/13270/task/13275/stat : 13275 (java) S 13268 13270 11485 0 -1 4202560 7660 0 0 0 199 1 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13276] ppid=13268 vsize=10559496 CPUtime=1.85 cores=1,3,5,7
/proc/13270/task/13276/stat : 13276 (java) S 13268 13270 11485 0 -1 4202560 7350 0 0 0 184 1 0 0 15 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13277] ppid=13268 vsize=10559496 CPUtime=1.61 cores=1,3,5,7
/proc/13270/task/13277/stat : 13277 (java) S 13268 13270 11485 0 -1 4202560 3491 0 0 0 161 0 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13278] ppid=13268 vsize=10559496 CPUtime=1.88 cores=1,3,5,7
/proc/13270/task/13278/stat : 13278 (java) S 13268 13270 11485 0 -1 4202560 5619 0 0 0 188 0 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13279] ppid=13268 vsize=10559496 CPUtime=1.97 cores=1,3,5,7
/proc/13270/task/13279/stat : 13279 (java) S 13268 13270 11485 0 -1 4202560 6131 0 0 0 196 1 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13280] ppid=13268 vsize=10559496 CPUtime=1.79 cores=1,3,5,7
/proc/13270/task/13280/stat : 13280 (java) S 13268 13270 11485 0 -1 4202560 7488 0 0 0 178 1 0 0 16 0 22 0 876574312 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13281] ppid=13268 vsize=10559496 CPUtime=124.53 cores=1,3,5,7
/proc/13270/task/13281/stat : 13281 (java) S 13268 13270 11485 0 -1 4202560 187581 0 0 0 12434 19 0 0 15 0 22 0 876574313 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 0 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13282] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13282/stat : 13282 (java) S 13268 13270 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876574313 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13283] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13283/stat : 13283 (java) S 13268 13270 11485 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 876574313 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13284] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13284/stat : 13284 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876574316 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676631985 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13285] ppid=13268 vsize=10559496 CPUtime=1.55 cores=1,3,5,7
/proc/13270/task/13285/stat : 13285 (java) S 13268 13270 11485 0 -1 4202560 8323 0 0 0 154 1 0 0 16 0 22 0 876574316 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
[pid=13270/tid=13286] ppid=13268 vsize=10559496 CPUtime=1.44 cores=1,3,5,7
/proc/13270/task/13286/stat : 13286 (java) S 13268 13270 11485 0 -1 4202560 8799 0 0 0 144 0 0 0 15 0 22 0 876574316 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 7 0 0 0
[pid=13270/tid=13287] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13287/stat : 13287 (java) S 13268 13270 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876574316 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624281 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13288] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13288/stat : 13288 (java) S 13268 13270 11485 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 876574316 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 5 0 0 0
[pid=13270/tid=13304] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13304/stat : 13304 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876574701 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 1 0 0 0
[pid=13270/tid=13336] ppid=13268 vsize=10559496 CPUtime=314.17 cores=1,3,5,7
/proc/13270/task/13336/stat : 13336 (java) R 13268 13270 11485 0 -1 4202560 0 0 0 0 31417 0 0 0 25 0 22 0 876632743 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506353276 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13270/tid=13337] ppid=13268 vsize=10559496 CPUtime=314.15 cores=1,3,5,7
/proc/13270/task/13337/stat : 13337 (java) R 13268 13270 11485 0 -1 4202560 2 0 0 0 31415 0 0 0 25 0 22 0 876632743 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 46912506250736 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13270/tid=13338] ppid=13268 vsize=10559496 CPUtime=0 cores=1,3,5,7
/proc/13270/task/13338/stat : 13338 (java) S 13268 13270 11485 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 876632743 10812923904 464637 33554432000 1073741824 1073778376 140734769443472 18446744073709551615 274676624896 0 4 0 16800975 18446604470987091008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10559496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 959.696
CPU time (s): 1800.3
CPU user time (s): 1799.64
CPU system time (s): 0.657899
CPU usage (%): 187.59
Max. virtual memory (cumulated for all children) (KiB): 10559496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.657899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475177
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= 25939
involuntary context switches= 26692
runsolver used 1.56176 second user time and 3.70644 second system time
The end