runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312400-1304113482/watcher-3312400-1304113482 -o /tmp/evaluation-result-3312400-1304113482/solver-3312400-1304113482 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312400-1304113482.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 4.15 5.56 2/194 23342
/proc/meminfo: memFree=30800744/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=28436 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 1434 0 0 0 0 0 0 0 22 0 2 0 601578797 29118464 904 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 7645 908 694 9 0 383 0
[pid=23342/tid=23343] ppid=23340 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 98 0 0 0 0 0 0 0 23 0 2 0 601578798 31313920 924 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260015433472 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.00838897 s]
/proc/loadavg: 1.85 4.15 5.56 2/194 23342
/proc/meminfo: memFree=30800744/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15560980 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 1798 0 1 0 0 0 0 0 22 0 2 0 601578797 15934443520 1243 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3890245 1250 912 9 0 3881401 0
[pid=23342/tid=23343] ppid=23340 vsize=15580980 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 455 0 1 0 0 0 0 0 24 0 2 0 601578798 15954923520 1258 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15560980
[startup+0.100363 s]
/proc/loadavg: 1.85 4.15 5.56 2/194 23342
/proc/meminfo: memFree=30800744/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15676720 CPUtime=0.1 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 5627 0 1 0 9 1 0 0 22 0 18 0 601578797 16052961280 5036 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3919180 5038 2118 9 0 3909899 0
[pid=23342/tid=23343] ppid=23340 vsize=15676720 CPUtime=0.08 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 3470 0 1 0 7 1 0 0 25 0 18 0 601578798 16052961280 5038 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091648984600 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676720
[startup+0.300331 s]
/proc/loadavg: 1.85 4.15 5.56 2/194 23342
/proc/meminfo: memFree=30800744/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15684452 CPUtime=0.52 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 15919 0 1 0 49 3 0 0 22 0 18 0 601578797 16060878848 14355 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3921113 14361 2208 9 0 3911832 0
[pid=23342/tid=23343] ppid=23340 vsize=15684452 CPUtime=0.28 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 10941 0 1 0 26 2 0 0 25 0 18 0 601578798 16060878848 14364 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 46912505641649 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684452
[startup+0.700256 s]
/proc/loadavg: 1.85 4.15 5.56 2/194 23342
/proc/meminfo: memFree=30800744/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15684452 CPUtime=0.92 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 41735 0 1 0 86 6 0 0 22 0 18 0 601578797 16060878848 40167 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3921113 40167 2223 9 0 3911832 0
[pid=23342/tid=23343] ppid=23340 vsize=15684452 CPUtime=0.68 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 35531 0 1 0 63 5 0 0 25 0 18 0 601578798 16060878848 40167 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032222667 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15684452
[startup+1.5011 s]
/proc/loadavg: 1.85 4.15 5.56 4/216 23364
/proc/meminfo: memFree=30479416/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15706128 CPUtime=2.08 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 54188 0 1 0 200 8 0 0 22 0 22 0 601578797 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3926532 50612 2261 9 0 3917251 0
[pid=23342/tid=23343] ppid=23340 vsize=15706128 CPUtime=1.45 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) R 23340 23342 22571 0 -1 4202560 35662 0 1 0 140 5 0 0 25 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091645940602 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23345/stat : 23345 (java) S 23340 23342 22571 0 -1 4202560 1010 0 0 0 0 0 0 0 16 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23346/stat : 23346 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23347/stat : 23347 (java) S 23340 23342 22571 0 -1 4202560 1571 0 0 0 0 0 0 0 16 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23348/stat : 23348 (java) S 23340 23342 22571 0 -1 4202560 992 0 0 0 0 0 0 0 16 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23349/stat : 23349 (java) S 23340 23342 22571 0 -1 4202560 633 0 0 0 0 0 0 0 15 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15706128 CPUtime=0.01 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 2227 0 0 0 1 0 0 0 16 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) S 23340 23342 22571 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) S 23340 23342 22571 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 22 0 601578798 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) S 23340 23342 22571 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 601578799 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 0 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601578800 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=15706128 CPUtime=0.33 cores=1,3,5,7
/proc/23342/task/23357/stat : 23357 (java) R 23340 23342 22571 0 -1 4202560 7268 0 0 0 33 0 0 0 16 0 22 0 601578802 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091646744000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=15706128 CPUtime=0.2 cores=1,3,5,7
/proc/23342/task/23358/stat : 23358 (java) S 23340 23342 22571 0 -1 4202560 2594 0 0 0 20 0 0 0 16 0 22 0 601578802 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=15706128 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23360/stat : 23360 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601578802 16083075072 50612 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 15706128
[startup+3.10681 s]
/proc/loadavg: 1.85 4.15 5.56 9/220 23368
/proc/meminfo: memFree=30315456/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15719360 CPUtime=5.01 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 65657 0 1 0 492 9 0 0 22 0 22 0 601578797 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3929840 54534 2267 9 0 3920559 0
[pid=23342/tid=23343] ppid=23340 vsize=15719360 CPUtime=3.04 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) S 23340 23342 22571 0 -1 4202560 35716 0 1 0 299 5 0 0 25 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23345/stat : 23345 (java) S 23340 23342 22571 0 -1 4202560 1010 0 0 0 0 0 0 0 16 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23346/stat : 23346 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23347/stat : 23347 (java) S 23340 23342 22571 0 -1 4202560 1571 0 0 0 0 0 0 0 16 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23348/stat : 23348 (java) S 23340 23342 22571 0 -1 4202560 992 0 0 0 0 0 0 0 16 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23349/stat : 23349 (java) S 23340 23342 22571 0 -1 4202560 633 0 0 0 0 0 0 0 15 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15719360 CPUtime=0.01 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 2227 0 0 0 1 0 0 0 16 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) S 23340 23342 22571 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) S 23340 23342 22571 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 22 0 601578798 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) S 23340 23342 22571 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 601578799 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 0 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=15719360 CPUtime=1.45 cores=1,3,5,7
/proc/23342/task/23357/stat : 23357 (java) R 23340 23342 22571 0 -1 4202560 18422 0 0 0 144 1 0 0 15 0 22 0 601578802 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260020088528 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=15719360 CPUtime=0.42 cores=1,3,5,7
/proc/23342/task/23358/stat : 23358 (java) S 23340 23342 22571 0 -1 4202560 2854 0 0 0 42 0 0 0 15 0 22 0 601578802 16096624640 54534 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 54544 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23360/stat : 23360 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601578802 16096624640 54565 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=15719360 CPUtime=0.01 cores=1,3,5,7
/proc/23342/task/23365/stat : 23365 (java) R 23340 23342 22571 0 -1 4202560 19 0 0 0 1 0 0 0 15 0 22 0 601578903 16096624640 54584 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 46912506199754 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23366/stat : 23366 (java) S 23340 23342 22571 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601578903 16096624640 54597 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23367/stat : 23367 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578903 16096624640 54597 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23368/stat : 23368 (java) S 23340 23342 22571 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601578903 16096624640 54597 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 15719360
[startup+6.3142 s]
/proc/loadavg: 2.27 4.19 5.56 14/220 23368
/proc/meminfo: memFree=28906116/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15719360 CPUtime=15.59 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 280356 0 1 0 1519 40 0 0 22 0 22 0 601578797 16096624640 267578 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3929840 267585 2275 9 0 3920559 0
[pid=23342/tid=23343] ppid=23340 vsize=15719360 CPUtime=3.04 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) S 23340 23342 22571 0 -1 4202560 35716 0 1 0 299 5 0 0 25 0 22 0 601578798 16096624640 267586 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=15719360 CPUtime=0.2 cores=1,3,5,7
/proc/23342/task/23345/stat : 23345 (java) R 23340 23342 22571 0 -1 4202560 25642 0 0 0 17 3 0 0 15 0 22 0 601578798 16096624640 267590 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091645126387 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=15719360 CPUtime=0.04 cores=1,3,5,7
/proc/23342/task/23346/stat : 23346 (java) R 23340 23342 22571 0 -1 4202560 4599 0 0 0 4 0 0 0 15 0 22 0 601578798 16096624640 267593 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=15719360 CPUtime=0.12 cores=1,3,5,7
/proc/23342/task/23347/stat : 23347 (java) R 23340 23342 22571 0 -1 4202560 20472 0 0 0 9 3 0 0 15 0 22 0 601578798 16096624640 267597 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260020349239 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=15719360 CPUtime=0.2 cores=1,3,5,7
/proc/23342/task/23348/stat : 23348 (java) R 23340 23342 22571 0 -1 4202560 28650 0 0 0 17 3 0 0 15 0 22 0 601578798 16096624640 267601 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091645126387 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=15719360 CPUtime=0.19 cores=1,3,5,7
/proc/23342/task/23349/stat : 23349 (java) R 23340 23342 22571 0 -1 4202560 22960 0 0 0 16 3 0 0 15 0 22 0 601578798 16096624640 267605 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260020349239 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15719360 CPUtime=0.17 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 22451 0 0 0 15 2 0 0 16 0 22 0 601578798 16096624640 267607 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15719360 CPUtime=0.15 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) R 23340 23342 22571 0 -1 4202560 21083 0 0 0 11 4 0 0 15 0 22 0 601578798 16096624640 267610 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091645126387 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15719360 CPUtime=0.14 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) R 23340 23342 22571 0 -1 4202560 17445 0 0 0 12 2 0 0 15 0 22 0 601578798 16096624640 267615 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091645126313 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) S 23340 23342 22571 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 601578799 16096624640 267618 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 0 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 267622 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 267624 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 267628 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/23342/task/23349/stat : 23349 (java) S 23340 23342 22571 0 -1 4202560 322094 0 0 0 239 50 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15719360 CPUtime=3.18 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 342311 0 0 0 267 51 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15719360 CPUtime=3.49 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) S 23340 23342 22571 0 -1 4202560 389597 0 0 0 285 64 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15719360 CPUtime=2.78 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) S 23340 23342 22571 0 -1 4202560 364485 0 0 0 221 57 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15719360 CPUtime=832.74 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) R 23340 23342 22571 0 -1 4202560 597514 0 0 0 83188 86 0 0 25 0 22 0 601578799 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091646816625 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=15719360 CPUtime=1.63 cores=1,3,5,7
/proc/23342/task/23357/stat : 23357 (java) S 23340 23342 22571 0 -1 4202560 19206 0 0 0 162 1 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=15719360 CPUtime=0.88 cores=1,3,5,7
/proc/23342/task/23358/stat : 23358 (java) S 23340 23342 22571 0 -1 4202560 3061 0 0 0 88 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23360/stat : 23360 (java) S 23340 23342 22571 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=15719360 CPUtime=339.41 cores=1,3,5,7
/proc/23342/task/23365/stat : 23365 (java) S 23340 23342 22571 0 -1 4202560 73395 0 0 0 33929 12 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=15719360 CPUtime=337.36 cores=1,3,5,7
/proc/23342/task/23366/stat : 23366 (java) S 23340 23342 22571 0 -1 4202560 71767 0 0 0 33724 12 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=15719360 CPUtime=338.05 cores=1,3,5,7
/proc/23342/task/23367/stat : 23367 (java) S 23340 23342 22571 0 -1 4202560 84298 0 0 0 33788 17 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=15719360 CPUtime=339.22 cores=1,3,5,7
/proc/23342/task/23368/stat : 23368 (java) S 23340 23342 22571 0 -1 4202560 67248 0 0 0 33909 13 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2218.86
Current children cumulated vsize (KiB) 15719360
[startup+1242.3 s]
/proc/loadavg: 3.30 4.75 5.44 2/193 23430
/proc/meminfo: memFree=15402516/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15719360 CPUtime=2278.87 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 3893254 0 1 0 227268 619 0 0 22 0 22 0 601578797 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3929840 3848444 2294 9 0 3920559 0
[pid=23342/tid=23343] ppid=23340 vsize=15719360 CPUtime=3.04 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) S 23340 23342 22571 0 -1 4202560 35716 0 1 0 299 5 0 0 25 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=15719360 CPUtime=3.49 cores=1,3,5,7
/proc/23342/task/23345/stat : 23345 (java) S 23340 23342 22571 0 -1 4202560 404896 0 0 0 286 63 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=15719360 CPUtime=3.74 cores=1,3,5,7
/proc/23342/task/23346/stat : 23346 (java) S 23340 23342 22571 0 -1 4202560 361491 0 0 0 311 63 0 0 15 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=15719360 CPUtime=3.03 cores=1,3,5,7
/proc/23342/task/23347/stat : 23347 (java) S 23340 23342 22571 0 -1 4202560 313730 0 0 0 255 48 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=15719360 CPUtime=3.77 cores=1,3,5,7
/proc/23342/task/23348/stat : 23348 (java) S 23340 23342 22571 0 -1 4202560 440624 0 0 0 311 66 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=15719360 CPUtime=2.89 cores=1,3,5,7
/proc/23342/task/23349/stat : 23349 (java) S 23340 23342 22571 0 -1 4202560 322094 0 0 0 239 50 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15719360 CPUtime=3.18 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 342311 0 0 0 267 51 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15719360 CPUtime=3.49 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) S 23340 23342 22571 0 -1 4202560 389597 0 0 0 285 64 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15719360 CPUtime=2.78 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) S 23340 23342 22571 0 -1 4202560 364485 0 0 0 221 57 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15719360 CPUtime=892.73 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) R 23340 23342 22571 0 -1 4202560 597518 0 0 0 89186 87 0 0 25 0 22 0 601578799 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091649509767 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=15719360 CPUtime=1.63 cores=1,3,5,7
/proc/23342/task/23357/stat : 23357 (java) S 23340 23342 22571 0 -1 4202560 19206 0 0 0 162 1 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=15719360 CPUtime=0.88 cores=1,3,5,7
/proc/23342/task/23358/stat : 23358 (java) S 23340 23342 22571 0 -1 4202560 3061 0 0 0 88 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23360/stat : 23360 (java) S 23340 23342 22571 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=15719360 CPUtime=339.42 cores=1,3,5,7
/proc/23342/task/23365/stat : 23365 (java) S 23340 23342 22571 0 -1 4202560 73395 0 0 0 33929 13 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=15719360 CPUtime=337.36 cores=1,3,5,7
/proc/23342/task/23366/stat : 23366 (java) S 23340 23342 22571 0 -1 4202560 71767 0 0 0 33724 12 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=15719360 CPUtime=338.05 cores=1,3,5,7
/proc/23342/task/23367/stat : 23367 (java) S 23340 23342 22571 0 -1 4202560 84664 0 0 0 33788 17 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=15719360 CPUtime=339.22 cores=1,3,5,7
/proc/23342/task/23368/stat : 23368 (java) S 23340 23342 22571 0 -1 4202560 67248 0 0 0 33909 13 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2278.87
Current children cumulated vsize (KiB) 15719360
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.84 4.07 5.16 2/193 23432
/proc/meminfo: memFree=15402544/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=15719360 CPUtime=2336.58 cores=1,3,5,7
/proc/23342/stat : 23342 (java) S 23340 23342 22571 0 -1 4202496 3893614 0 1 0 233037 621 0 0 22 0 22 0 601578797 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 3929840 3848444 2294 9 0 3920559 0
[pid=23342/tid=23343] ppid=23340 vsize=15719360 CPUtime=3.04 cores=1,3,5,7
/proc/23342/task/23343/stat : 23343 (java) S 23340 23342 22571 0 -1 4202560 35716 0 1 0 299 5 0 0 25 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=15719360 CPUtime=3.49 cores=1,3,5,7
/proc/23342/task/23345/stat : 23345 (java) S 23340 23342 22571 0 -1 4202560 404896 0 0 0 286 63 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=15719360 CPUtime=3.74 cores=1,3,5,7
/proc/23342/task/23346/stat : 23346 (java) S 23340 23342 22571 0 -1 4202560 361491 0 0 0 311 63 0 0 15 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=15719360 CPUtime=3.03 cores=1,3,5,7
/proc/23342/task/23347/stat : 23347 (java) S 23340 23342 22571 0 -1 4202560 313730 0 0 0 255 48 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=15719360 CPUtime=3.77 cores=1,3,5,7
/proc/23342/task/23348/stat : 23348 (java) S 23340 23342 22571 0 -1 4202560 440624 0 0 0 311 66 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=15719360 CPUtime=2.89 cores=1,3,5,7
/proc/23342/task/23349/stat : 23349 (java) S 23340 23342 22571 0 -1 4202560 322094 0 0 0 239 50 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=15719360 CPUtime=3.18 cores=1,3,5,7
/proc/23342/task/23350/stat : 23350 (java) S 23340 23342 22571 0 -1 4202560 342311 0 0 0 267 51 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=15719360 CPUtime=3.49 cores=1,3,5,7
/proc/23342/task/23351/stat : 23351 (java) S 23340 23342 22571 0 -1 4202560 389597 0 0 0 285 64 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=15719360 CPUtime=2.78 cores=1,3,5,7
/proc/23342/task/23352/stat : 23352 (java) S 23340 23342 22571 0 -1 4202560 364485 0 0 0 221 57 0 0 16 0 22 0 601578798 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=15719360 CPUtime=950.43 cores=1,3,5,7
/proc/23342/task/23353/stat : 23353 (java) R 23340 23342 22571 0 -1 4202560 597523 0 0 0 94955 88 0 0 25 0 22 0 601578799 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 47091646792029 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23354/stat : 23354 (java) S 23340 23342 22571 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23355/stat : 23355 (java) S 23340 23342 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601578800 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23356/stat : 23356 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032219569 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=15719360 CPUtime=1.63 cores=1,3,5,7
/proc/23342/task/23357/stat : 23357 (java) S 23340 23342 22571 0 -1 4202560 19206 0 0 0 162 1 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=15719360 CPUtime=0.88 cores=1,3,5,7
/proc/23342/task/23358/stat : 23358 (java) S 23340 23342 22571 0 -1 4202560 3061 0 0 0 88 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 7 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) S 23340 23342 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=15719360 CPUtime=0 cores=1,3,5,7
/proc/23342/task/23360/stat : 23360 (java) S 23340 23342 22571 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 601578802 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032212480 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=15719360 CPUtime=339.42 cores=1,3,5,7
/proc/23342/task/23365/stat : 23365 (java) S 23340 23342 22571 0 -1 4202560 73395 0 0 0 33929 13 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=15719360 CPUtime=337.36 cores=1,3,5,7
/proc/23342/task/23366/stat : 23366 (java) S 23340 23342 22571 0 -1 4202560 71767 0 0 0 33724 12 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 3 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=15719360 CPUtime=338.05 cores=1,3,5,7
/proc/23342/task/23367/stat : 23367 (java) S 23340 23342 22571 0 -1 4202560 85016 0 0 0 33788 17 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 5 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=15719360 CPUtime=339.22 cores=1,3,5,7
/proc/23342/task/23368/stat : 23368 (java) S 23340 23342 22571 0 -1 4202560 67248 0 0 0 33909 13 0 0 15 0 22 0 601578903 16096624640 3848444 33554432000 1073741824 1073778376 140735991707696 18446744073709551615 260032211865 0 4 0 16800975 18446604470219641920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2336.58
Current children cumulated vsize (KiB) 15719360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23342
[startup+1302.3 s]
/proc/loadavg: 1.84 4.07 5.16 2/194 23433
/proc/meminfo: memFree=15402536/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=0 CPUtime=2338.87 cores=1,3,5,7
/proc/23342/stat : 23342 (java) Z 23340 23342 22571 0 -1 4203548 3893632 0 1 0 233238 649 0 0 18 0 2 0 601578797 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 0 0 0 0 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) R 23340 23342 22571 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 601578802 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) 2338.87
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 1.84 4.07 5.16 2/194 23433
/proc/meminfo: memFree=15402536/32951124 swapFree=67111464/67111528
[pid=23342] ppid=23340 vsize=0 CPUtime=2339.07 cores=1,3,5,7
/proc/23342/stat : 23342 (java) Z 23340 23342 22571 0 -1 4203548 3893632 0 1 0 233238 669 0 0 18 0 2 0 601578797 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23342/statm: 0 0 0 0 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/23342/task/23359/stat : 23359 (java) R 23340 23342 22571 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 601578802 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) 2339.07
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 2339.11
CPU user time (s): 2332.38
CPU system time (s): 6.72598
CPU usage (%): 179.582
Max. virtual memory (cumulated for all children) (KiB): 15720040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2332.38
system time used= 6.72598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3893632
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= 55884
involuntary context switches= 35250
runsolver used 2.26465 second user time and 4.88326 second system time
The end