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-3453601-1307195816/watcher-3453601-1307195816 -o /tmp/evaluation-result-3453601-1307195816/solver-3453601-1307195816 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453601-1307195816.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: 2.07 2.73 3.26 3/467 26813
/proc/meminfo: memFree=30151780/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 4813 0 1 0 0 0 0 0 25 0 2 0 831180336 10694979584 4515 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2611079 4527 917 9 0 2602235 0
[pid=26813/tid=26814] ppid=26811 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) R 26811 26813 26457 0 -1 4202560 6372 0 1 0 0 0 0 0 25 0 2 0 831180337 10694979584 7188 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0892149 s]
/proc/loadavg: 2.07 2.73 3.26 3/467 26813
/proc/meminfo: memFree=30151780/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10540260 CPUtime=0.09 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 12967 0 1 0 8 1 0 0 25 0 18 0 831180336 10793226240 12664 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2635065 12664 2093 9 0 2625799 0
[pid=26813/tid=26814] ppid=26811 vsize=10540260 CPUtime=0.07 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) R 26811 26813 26457 0 -1 4202560 11039 0 1 0 6 1 0 0 18 0 18 0 831180337 10793226240 12664 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 47508846414342 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540260
[startup+0.100262 s]
/proc/loadavg: 2.07 2.73 3.26 3/467 26813
/proc/meminfo: memFree=30151780/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10540260 CPUtime=0.1 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 13138 0 1 0 9 1 0 0 25 0 18 0 831180336 10793226240 12835 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2635065 12835 2093 9 0 2625799 0
[pid=26813/tid=26814] ppid=26811 vsize=10540260 CPUtime=0.08 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) R 26811 26813 26457 0 -1 4202560 11210 0 1 0 7 1 0 0 18 0 18 0 831180337 10793226240 12835 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912496197825 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.300171 s]
/proc/loadavg: 2.07 2.73 3.26 3/467 26813
/proc/meminfo: memFree=30151780/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10542308 CPUtime=0.47 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 16076 0 1 0 45 2 0 0 25 0 18 0 831180336 10795323392 15582 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2635577 15583 2208 9 0 2626311 0
[pid=26813/tid=26814] ppid=26811 vsize=10542308 CPUtime=0.28 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) R 26811 26813 26457 0 -1 4202560 13222 0 1 0 27 1 0 0 18 0 18 0 831180337 10795323392 15583 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542308
[startup+0.701104 s]
/proc/loadavg: 2.07 2.73 3.26 3/467 26813
/proc/meminfo: memFree=30151780/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=1.87 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 28470 0 1 0 184 3 0 0 25 0 22 0 831180336 10812116992 25139 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 25139 2233 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 19 0 22 0 831180337 10812116992 25139 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10558708
[startup+1.50096 s]
/proc/loadavg: 2.07 2.73 3.26 8/489 26835
/proc/meminfo: memFree=30047156/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=4.33 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 49165 0 1 0 428 5 0 0 25 0 22 0 831180336 10812116992 42044 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 42044 2240 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 42045 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42045 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42045 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42046 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42046 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42046 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42047 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42048 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180338 10812116992 42048 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26824] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26824/stat : 26824 (java) S 26811 26813 26457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 831180339 10812116992 42049 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 0 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26825] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26825/stat : 26825 (java) S 26811 26813 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831180340 10812116992 42049 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26826] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26826/stat : 26826 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831180340 10812116992 42049 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26827] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26827/stat : 26827 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 42050 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606690225 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26828] ppid=26811 vsize=10558708 CPUtime=0.92 cores=1,3,5,7
/proc/26813/task/26828/stat : 26828 (java) S 26811 26813 26457 0 -1 4202560 3853 0 0 0 92 0 0 0 23 0 22 0 831180342 10812116992 42050 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26829] ppid=26811 vsize=10558708 CPUtime=0.84 cores=1,3,5,7
/proc/26813/task/26829/stat : 26829 (java) S 26811 26813 26457 0 -1 4202560 10261 0 0 0 83 1 0 0 15 0 22 0 831180342 10812116992 42050 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26830] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26830/stat : 26830 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 42050 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26831] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26831/stat : 26831 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831180342 10812116992 42051 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26832] ppid=26811 vsize=10558708 CPUtime=1.08 cores=1,3,5,7
/proc/26813/task/26832/stat : 26832 (java) R 26811 26813 26457 0 -1 4202560 1067 0 0 0 108 0 0 0 24 0 22 0 831180378 10812116992 42051 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 47508850051923 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26813/tid=26833] ppid=26811 vsize=10558708 CPUtime=1.05 cores=1,3,5,7
/proc/26813/task/26833/stat : 26833 (java) R 26811 26813 26457 0 -1 4202560 16533 0 0 0 104 1 0 0 24 0 22 0 831180378 10812116992 42051 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26813/tid=26834] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26834/stat : 26834 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180378 10812116992 42052 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 42052 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10558708
[startup+3.10068 s]
/proc/loadavg: 2.22 2.75 3.26 8/489 26836
/proc/meminfo: memFree=29944360/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=7.55 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 78038 0 1 0 747 8 0 0 25 0 22 0 831180336 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 70904 2267 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 172 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 479 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 1204 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 1182 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 1882 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26824] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26824/stat : 26824 (java) S 26811 26813 26457 0 -1 4202560 4832 0 0 0 3 0 0 0 16 0 22 0 831180339 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 0 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26825] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26825/stat : 26825 (java) S 26811 26813 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26826] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26826/stat : 26826 (java) S 26811 26813 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26827] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26827/stat : 26827 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606690225 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26828] ppid=26811 vsize=10558708 CPUtime=0.95 cores=1,3,5,7
/proc/26813/task/26828/stat : 26828 (java) S 26811 26813 26457 0 -1 4202560 3860 0 0 0 95 0 0 0 15 0 22 0 831180342 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26829] ppid=26811 vsize=10558708 CPUtime=0.86 cores=1,3,5,7
/proc/26813/task/26829/stat : 26829 (java) S 26811 26813 26457 0 -1 4202560 10266 0 0 0 85 1 0 0 15 0 22 0 831180342 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26830] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26830/stat : 26830 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26831] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26831/stat : 26831 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831180342 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26832] ppid=26811 vsize=10558708 CPUtime=2.63 cores=1,3,5,7
/proc/26813/task/26832/stat : 26832 (java) R 26811 26813 26457 0 -1 4202560 2314 0 0 0 263 0 0 0 25 0 22 0 831180378 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912506001873 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26813/tid=26833] ppid=26811 vsize=10558708 CPUtime=2.61 cores=1,3,5,7
/proc/26813/task/26833/stat : 26833 (java) R 26811 26813 26457 0 -1 4202560 34395 0 0 0 258 3 0 0 25 0 22 0 831180378 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912506127563 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26813/tid=26834] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26834/stat : 26834 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180378 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 70904 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10558708
[startup+6.30112 s]
/proc/loadavg: 2.22 2.75 3.26 5/489 26836
/proc/meminfo: memFree=29843848/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=13.95 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 95309 0 1 0 1385 10 0 0 25 0 22 0 831180336 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 88164 2267 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1418 0 0 0 0 0 0 0 16 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 1256 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 479 0 0 0 0 0 0 0 15 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 1204 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 2269 0 0 0 0 0 0 0 18 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0.01 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 3316 0 0 0 1 0 0 0 18 0 22 0 831180338 10812116992 88164 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 691120 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 103.5
Current children cumulated vsize (KiB) 10558708
Solver just ended. Dumping a history of the last processes samples
[startup+54.3017 s]
/proc/loadavg: 3.23 2.94 3.30 5/489 26837
/proc/meminfo: memFree=27094772/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=109.91 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 736119 0 1 0 10910 81 0 0 25 0 22 0 831180336 10812116992 728942 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 728948 2268 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 728951 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0.04 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1657 0 0 0 4 0 0 0 15 0 22 0 831180338 10812116992 728954 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 1364 0 0 0 3 0 0 0 16 0 22 0 831180338 10812116992 728955 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0.05 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1146 0 0 0 5 0 0 0 16 0 22 0 831180338 10812116992 728956 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0.02 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 1259 0 0 0 2 0 0 0 15 0 22 0 831180338 10812116992 728958 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0.02 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 989 0 0 0 2 0 0 0 16 0 22 0 831180338 10812116992 728960 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 2583 0 0 0 3 0 0 0 16 0 22 0 831180338 10812116992 728963 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0.02 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 2279 0 0 0 2 0 0 0 15 0 22 0 831180338 10812116992 728967 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 3330 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 728970 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26824] ppid=26811 vsize=10558708 CPUtime=0.53 cores=1,3,5,7
/proc/26813/task/26824/stat : 26824 (java) S 26811 26813 26457 0 -1 4202560 17167 0 0 0 51 2 0 0 15 0 22 0 831180339 10812116992 728974 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 0 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26825] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26825/stat : 26825 (java) S 26811 26813 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 728978 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26826] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26826/stat : 26826 (java) S 26811 26813 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 728979 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26827] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26827/stat : 26827 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 728980 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606690225 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26828] ppid=26811 vsize=10558708 CPUtime=1.17 cores=1,3,5,7
/proc/26813/task/26828/stat : 26828 (java) S 26811 26813 26457 0 -1 4202560 3893 0 0 0 117 0 0 0 16 0 22 0 831180342 10812116992 728982 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26829] ppid=26811 vsize=10558708 CPUtime=0.99 cores=1,3,5,7
/proc/26813/task/26829/stat : 26829 (java) S 26811 26813 26457 0 -1 4202560 10288 0 0 0 98 1 0 0 15 0 22 0 831180342 10812116992 728983 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26830] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26830/stat : 26830 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 728984 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26831] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26831/stat : 26831 (java) S 26811 26813 26457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831180342 10812116992 728985 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26832] ppid=26811 vsize=10558708 CPUtime=53.23 cores=1,3,5,7
/proc/26813/task/26832/stat : 26832 (java) R 26811 26813 26457 0 -1 4202560 4131 0 0 0 5323 0 0 0 25 0 22 0 831180378 10812116992 728986 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912506370149 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26813/tid=26833] ppid=26811 vsize=10558708 CPUtime=53.23 cores=1,3,5,7
/proc/26813/task/26833/stat : 26833 (java) R 26811 26813 26457 0 -1 4202560 668626 0 0 0 5251 72 0 0 25 0 22 0 831180378 10812116992 728987 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505897220 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26813/tid=26834] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26834/stat : 26834 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180378 10812116992 728988 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 728989 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 109.91
Current children cumulated vsize (KiB) 10558708
[startup+55.9014 s]
/proc/loadavg: 3.23 2.94 3.30 5/489 26837
/proc/meminfo: memFree=26874172/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=113.03 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 753412 0 1 0 11221 82 0 0 25 0 22 0 831180336 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 746231 2268 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0.04 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1657 0 0 0 4 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 1759 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0.05 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1747 0 0 0 5 0 0 0 16 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0.02 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 1259 0 0 0 2 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 2271 0 0 0 3 0 0 0 16 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 2583 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 3521 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 3330 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26824] ppid=26811 vsize=10558708 CPUtime=0.61 cores=1,3,5,7
/proc/26813/task/26824/stat : 26824 (java) S 26811 26813 26457 0 -1 4202560 17169 0 0 0 59 2 0 0 15 0 22 0 831180339 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 0 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26825] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26825/stat : 26825 (java) S 26811 26813 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26826] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26826/stat : 26826 (java) S 26811 26813 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26827] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26827/stat : 26827 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606690225 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26828] ppid=26811 vsize=10558708 CPUtime=1.17 cores=1,3,5,7
/proc/26813/task/26828/stat : 26828 (java) S 26811 26813 26457 0 -1 4202560 3893 0 0 0 117 0 0 0 16 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26829] ppid=26811 vsize=10558708 CPUtime=0.99 cores=1,3,5,7
/proc/26813/task/26829/stat : 26829 (java) S 26811 26813 26457 0 -1 4202560 10288 0 0 0 98 1 0 0 15 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26830] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26830/stat : 26830 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26831] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26831/stat : 26831 (java) S 26811 26813 26457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26832] ppid=26811 vsize=10558708 CPUtime=54.75 cores=1,3,5,7
/proc/26813/task/26832/stat : 26832 (java) R 26811 26813 26457 0 -1 4202560 4171 0 0 0 5475 0 0 0 25 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912506251142 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26813/tid=26833] ppid=26811 vsize=10558708 CPUtime=54.74 cores=1,3,5,7
/proc/26813/task/26833/stat : 26833 (java) R 26811 26813 26457 0 -1 4202560 682312 0 0 0 5401 73 0 0 25 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505898270 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26813/tid=26834] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26834/stat : 26834 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 10558708
[startup+56.3014 s]
/proc/loadavg: 3.23 2.94 3.30 5/489 26837
/proc/meminfo: memFree=26874172/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=10558708 CPUtime=113.83 cores=1,3,5,7
/proc/26813/stat : 26813 (java) S 26811 26813 26457 0 -1 4202496 753412 0 1 0 11301 82 0 0 25 0 22 0 831180336 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 2639677 746231 2268 9 0 2630411 0
[pid=26813/tid=26814] ppid=26811 vsize=10558708 CPUtime=0.4 cores=1,3,5,7
/proc/26813/task/26814/stat : 26814 (java) S 26811 26813 26457 0 -1 4202560 16290 0 1 0 38 2 0 0 15 0 22 0 831180337 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=10558708 CPUtime=0.04 cores=1,3,5,7
/proc/26813/task/26816/stat : 26816 (java) S 26811 26813 26457 0 -1 4202560 1657 0 0 0 4 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26817/stat : 26817 (java) S 26811 26813 26457 0 -1 4202560 1759 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=10558708 CPUtime=0.05 cores=1,3,5,7
/proc/26813/task/26818/stat : 26818 (java) S 26811 26813 26457 0 -1 4202560 1747 0 0 0 5 0 0 0 16 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=10558708 CPUtime=0.02 cores=1,3,5,7
/proc/26813/task/26819/stat : 26819 (java) S 26811 26813 26457 0 -1 4202560 1259 0 0 0 2 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26820/stat : 26820 (java) S 26811 26813 26457 0 -1 4202560 2271 0 0 0 3 0 0 0 16 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26821] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26821/stat : 26821 (java) S 26811 26813 26457 0 -1 4202560 2583 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26822] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26822/stat : 26822 (java) S 26811 26813 26457 0 -1 4202560 3521 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26823] ppid=26811 vsize=10558708 CPUtime=0.03 cores=1,3,5,7
/proc/26813/task/26823/stat : 26823 (java) S 26811 26813 26457 0 -1 4202560 3330 0 0 0 3 0 0 0 15 0 22 0 831180338 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26824] ppid=26811 vsize=10558708 CPUtime=0.61 cores=1,3,5,7
/proc/26813/task/26824/stat : 26824 (java) S 26811 26813 26457 0 -1 4202560 17169 0 0 0 59 2 0 0 15 0 22 0 831180339 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 0 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26825] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26825/stat : 26825 (java) S 26811 26813 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26826] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26826/stat : 26826 (java) S 26811 26813 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831180340 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26827] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26827/stat : 26827 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606690225 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26828] ppid=26811 vsize=10558708 CPUtime=1.17 cores=1,3,5,7
/proc/26813/task/26828/stat : 26828 (java) S 26811 26813 26457 0 -1 4202560 3893 0 0 0 117 0 0 0 16 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 7 0 0 0
[pid=26813/tid=26829] ppid=26811 vsize=10558708 CPUtime=0.99 cores=1,3,5,7
/proc/26813/task/26829/stat : 26829 (java) S 26811 26813 26457 0 -1 4202560 10288 0 0 0 98 1 0 0 15 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26830] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26830/stat : 26830 (java) S 26811 26813 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606682521 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26831] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26831/stat : 26831 (java) S 26811 26813 26457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831180342 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 1 0 0 0
[pid=26813/tid=26832] ppid=26811 vsize=10558708 CPUtime=55.15 cores=1,3,5,7
/proc/26813/task/26832/stat : 26832 (java) R 26811 26813 26457 0 -1 4202560 4171 0 0 0 5515 0 0 0 25 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505804027 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26813/tid=26833] ppid=26811 vsize=10558708 CPUtime=55.14 cores=1,3,5,7
/proc/26813/task/26833/stat : 26833 (java) R 26811 26813 26457 0 -1 4202560 682312 0 0 0 5441 73 0 0 25 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 46912505988137 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26813/tid=26834] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26834/stat : 26834 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180378 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 5 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=10558708 CPUtime=0 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) S 26811 26813 26457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831180380 10812116992 746231 33554432000 1073741824 1073778376 140735200454432 18446744073709551615 235606683136 0 4 0 16800975 18446604469617654464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 113.83
Current children cumulated vsize (KiB) 10558708
[startup+56.7013 s]
/proc/loadavg: 3.23 2.94 3.30 5/489 26837
/proc/meminfo: memFree=26874172/32950928 swapFree=34365992/67111528
[pid=26813] ppid=26811 vsize=0 CPUtime=114.48 cores=1,3,5,7
/proc/26813/stat : 26813 (java) Z 26811 26813 26457 0 -1 4203548 753420 0 1 0 11361 87 0 0 18 0 2 0 831180336 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 0 0 0 0 0 0 0
[pid=26813/tid=26835] ppid=26811 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/26813/task/26835/stat : 26835 (java) R 26811 26813 26457 0 -1 4203588 7 0 0 0 0 4 0 0 18 0 2 0 831180380 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 114.48
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 56.7649
CPU time (s): 114.555
CPU user time (s): 113.619
CPU system time (s): 0.935857
CPU usage (%): 201.805
Max. virtual memory (cumulated for all children) (KiB): 10559056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.619
system time used= 0.935857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753420
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= 2180
involuntary context switches= 719
runsolver used 0.294955 second user time and 0.584911 second system time
The end