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-3459407-1307139450/watcher-3459407-1307139450 -o /tmp/evaluation-result-3459407-1307139450/solver-3459407-1307139450 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459407-1307139450.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.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 3847 0 1 0 0 0 0 0 25 0 2 0 825541709 13850947584 3549 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3381579 3562 917 9 0 3372735 0
[pid=12048/tid=12049] ppid=12046 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 7726 0 1 0 0 1 0 0 25 0 2 0 825541709 13850947584 8542 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0765839 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 14418 0 1 0 5 2 0 0 25 0 18 0 825541709 13880410112 14115 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3388772 14120 1754 9 0 3379506 0
[pid=12048/tid=12049] ppid=12046 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 13249 0 1 0 4 1 0 0 25 0 18 0 825541709 13880410112 14120 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 47646805203795 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.10055 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13622068 CPUtime=0.1 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 15490 0 1 0 8 2 0 0 25 0 18 0 825541709 13948997632 15187 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3405517 15188 2092 9 0 3396251 0
[pid=12048/tid=12049] ppid=12046 vsize=13622068 CPUtime=0.08 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 13598 0 1 0 7 1 0 0 25 0 18 0 825541709 13948997632 15190 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622068
[startup+0.306561 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13625352 CPUtime=0.55 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 24490 0 1 0 53 2 0 0 25 0 18 0 825541709 13952360448 23405 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3406338 23406 2202 9 0 3397072 0
[pid=12048/tid=12049] ppid=12046 vsize=13625352 CPUtime=0.29 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 20662 0 1 0 27 2 0 0 25 0 18 0 825541709 13952360448 23406 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505561690 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625352
[startup+0.700436 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13627804 CPUtime=1.48 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 46297 0 1 0 143 5 0 0 25 0 19 0 825541709 13954871296 44042 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3406951 44042 2234 9 0 3397685 0
[pid=12048/tid=12049] ppid=12046 vsize=13627804 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40254 0 1 0 64 4 0 0 25 0 19 0 825541709 13954871296 44042 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505907244 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13627804
[startup+1.50131 s]
/proc/loadavg: 2.19 2.08 2.01 5/554 12067
/proc/meminfo: memFree=21065492/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693340 CPUtime=2.4 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 50289 0 1 0 235 5 0 0 25 0 19 0 825541709 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423335 47535 2262 9 0 3414069 0
[pid=12048/tid=12049] ppid=12046 vsize=13693340 CPUtime=1.42 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40702 0 1 0 138 4 0 0 25 0 19 0 825541709 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836068 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693340 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 646 0 0 0 1 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693340 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 446 0 0 0 1 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693340 CPUtime=0.04 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 1349 0 0 0 4 0 0 0 16 0 19 0 825541712 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693340 CPUtime=0.44 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2535 0 0 0 44 0 0 0 16 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693340 CPUtime=0.44 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2868 0 0 0 44 0 0 0 16 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13693340
[startup+3.10098 s]
/proc/loadavg: 2.19 2.08 2.01 4/554 12067
/proc/meminfo: memFree=21052464/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=4.05 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 50796 0 1 0 400 5 0 0 25 0 19 0 825541709 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 47923 2262 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=2.97 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40704 0 1 0 293 4 0 0 25 0 19 0 825541709 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505865099 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 646 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 545 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=0.08 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 1545 0 0 0 8 0 0 0 16 0 19 0 825541712 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.48 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2953 0 0 0 48 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13693064
[startup+6.30134 s]
/proc/loadavg: 2.18 2.08 2.01 3/554 12067
/proc/meminfo: memFree=21049064/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=7.27 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 51592 0 1 0 721 6 0 0 25 0 19 0 825541709 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 48634 2262 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=6.06 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40709 0 1 0 602 4 0 0 25 0 19 0 825541709 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505779680 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 322 0 0 0 1 0 0 0 16 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 734 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 616 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=0.18 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 2089 0 0 0 18 0 0 0 16 0 19 0 825541712 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.48 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2953 0 0 0 48 0 0 0 15 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.78 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2133 0 0 0 78 0 0 0 15 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.8 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 80 0 0 0 15 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.63 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1720 0 0 0 63 0 0 0 16 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=18.19 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25001 0 0 0 1814 5 0 0 15 0 19 0 825541712 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.25
Current children cumulated vsize (KiB) 13693064
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/554 12163
/proc/meminfo: memFree=20733084/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1727.41 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 87922 0 1 0 172724 17 0 0 25 0 19 0 825541709 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84461 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1701.29 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41008 0 1 0 170125 4 0 0 25 0 19 0 825541709 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505872625 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.77 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 770 0 0 0 77 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.7 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 69 1 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.75 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1819 0 0 0 75 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.86 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 86 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.71 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 71 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.82 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2138 0 0 0 82 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.81 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 81 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.66 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1720 0 0 0 66 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=18.96 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25615 0 0 0 1891 5 0 0 16 0 19 0 825541712 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.41
Current children cumulated vsize (KiB) 13693064
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/554 12165
/proc/meminfo: memFree=20732644/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1787.5 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 87966 0 1 0 178733 17 0 0 25 0 19 0 825541709 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84487 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1760.46 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41018 0 1 0 176042 4 0 0 25 0 19 0 825541709 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.79 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 774 0 0 0 79 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 71 1 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.76 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1820 0 0 0 76 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.87 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 87 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 72 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.84 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2141 0 0 0 84 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.85 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 85 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1738 0 0 0 68 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=19.76 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25619 0 0 0 1970 6 0 0 15 0 19 0 825541712 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (KiB) 13693064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.20 2.08 2.02 3/554 12165
/proc/meminfo: memFree=20732268/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1800.04 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 88015 0 1 0 179987 17 0 0 25 0 19 0 825541709 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84533 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1772.73 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41021 0 1 0 177269 4 0 0 25 0 19 0 825541709 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836157 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.8 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 774 0 0 0 80 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 71 1 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.77 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1829 0 0 0 77 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.87 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 87 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 72 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.85 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2153 0 0 0 85 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.86 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 86 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1740 0 0 0 68 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=19.99 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25642 0 0 0 1993 6 0 0 15 0 19 0 825541712 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13693064
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): 1794.88
CPU time (s): 1800.14
CPU user time (s): 1799.95
CPU system time (s): 0.19497
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 13693340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88064
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= 46309
involuntary context switches= 10711
runsolver used 9.00763 second user time and 22.1176 second system time
The end