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-3313348-1304074808/watcher-3313348-1304074808 -o /tmp/evaluation-result-3313348-1304074808/solver-3313348-1304074808 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313348-1304074808.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: 7.53 7.95 7.94 4/194 32395
/proc/meminfo: memFree=25485952/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 1416 0 0 0 0 0 0 0 22 0 2 0 499896786 27824128 886 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 6793 892 682 9 0 381 0
[pid=32395/tid=32396] ppid=32393 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) S 32393 32395 30400 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 2 0 499896787 27824128 894 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220811312775 0 2147483391 4096 0 18446744071699207358 0 0 -1 5 0 0 0
[startup+0.044986 s]
/proc/loadavg: 7.53 7.95 7.94 4/194 32395
/proc/meminfo: memFree=25485952/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 3890 0 1 0 3 0 0 0 22 0 13 0 499896786 15978749952 3328 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3901062 3328 1689 9 0 3891810 0
[pid=32395/tid=32396] ppid=32393 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 2498 0 1 0 3 0 0 0 25 0 13 0 499896787 15978749952 3328 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220816232293 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248
[startup+0.100946 s]
/proc/loadavg: 7.53 7.95 7.94 4/194 32395
/proc/meminfo: memFree=25485952/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15741904 CPUtime=0.1 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 5655 0 1 0 9 1 0 0 22 0 18 0 499896786 16119709696 5047 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3935476 5049 2117 9 0 3926195 0
[pid=32395/tid=32396] ppid=32393 vsize=15741904 CPUtime=0.08 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 3472 0 1 0 8 0 0 0 18 0 18 0 499896787 16119709696 5049 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 47246594243523 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741904
[startup+0.304951 s]
/proc/loadavg: 7.53 7.95 7.94 4/194 32395
/proc/meminfo: memFree=25485952/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15744580 CPUtime=0.52 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 20350 0 1 0 48 4 0 0 22 0 18 0 499896786 16122449920 18358 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3936145 18363 2206 9 0 3926864 0
[pid=32395/tid=32396] ppid=32393 vsize=15744580 CPUtime=0.28 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 14940 0 1 0 26 2 0 0 18 0 18 0 499896787 16122449920 18365 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 46912505365766 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15744580
[startup+0.700839 s]
/proc/loadavg: 7.53 7.95 7.94 4/194 32395
/proc/meminfo: memFree=25485952/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15744836 CPUtime=1.15 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 41922 0 1 0 108 7 0 0 22 0 18 0 499896786 16122712064 39214 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3936209 39214 2236 9 0 3926928 0
[pid=32395/tid=32396] ppid=32393 vsize=15744836 CPUtime=0.68 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 35552 0 1 0 62 6 0 0 18 0 18 0 499896787 16122712064 39214 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 46912505503520 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 15744836
[startup+1.50069 s]
/proc/loadavg: 7.25 7.88 7.92 3/212 32413
/proc/meminfo: memFree=24997184/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15744836 CPUtime=1.96 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 75535 0 1 0 185 11 0 0 22 0 18 0 499896786 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3936209 72824 2242 9 0 3926928 0
[pid=32395/tid=32396] ppid=32393 vsize=15744836 CPUtime=1.47 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 67596 0 1 0 138 9 0 0 19 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 46912505540427 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32395/tid=32398] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32398/stat : 32398 (java) S 32393 32395 30400 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32399] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32399/stat : 32399 (java) S 32393 32395 30400 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32400] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32400/stat : 32400 (java) S 32393 32395 30400 0 -1 4202560 849 0 0 0 0 0 0 0 16 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32401] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32401/stat : 32401 (java) S 32393 32395 30400 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32402] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32402/stat : 32402 (java) S 32393 32395 30400 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32403] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32403/stat : 32403 (java) S 32393 32395 30400 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32404] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32404/stat : 32404 (java) S 32393 32395 30400 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32405] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32405/stat : 32405 (java) S 32393 32395 30400 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32406] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32406/stat : 32406 (java) S 32393 32395 30400 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 18 0 499896788 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 0 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32407] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32407/stat : 32407 (java) S 32393 32395 30400 0 -1 4202560 17 0 0 0 0 0 0 0 22 0 18 0 499896788 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32408] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 499896788 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 499896790 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15744836 CPUtime=0.26 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) S 32393 32395 30400 0 -1 4202560 2235 0 0 0 26 0 0 0 15 0 18 0 499896790 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15744836 CPUtime=0.19 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) S 32393 32395 30400 0 -1 4202560 2464 0 0 0 19 0 0 0 15 0 18 0 499896791 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 499896791 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 499896791 16122712064 72824 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 15744836
[startup+3.1014 s]
/proc/loadavg: 7.25 7.88 7.92 3/216 32417
/proc/meminfo: memFree=24786228/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15744836 CPUtime=3.63 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 139446 0 1 0 345 18 0 0 22 0 18 0 499896786 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3936209 136309 2252 9 0 3926928 0
[pid=32395/tid=32396] ppid=32393 vsize=15744836 CPUtime=3.06 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 127030 0 1 0 290 16 0 0 25 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32395/tid=32398] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32398/stat : 32398 (java) S 32393 32395 30400 0 -1 4202560 2637 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32399] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32399/stat : 32399 (java) S 32393 32395 30400 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32400] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32400/stat : 32400 (java) S 32393 32395 30400 0 -1 4202560 1205 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32401] ppid=32393 vsize=15744836 CPUtime=0.01 cores=1,3,5,7
/proc/32395/task/32401/stat : 32401 (java) S 32393 32395 30400 0 -1 4202560 64 0 0 0 1 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32402] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32402/stat : 32402 (java) S 32393 32395 30400 0 -1 4202560 1474 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32403] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32403/stat : 32403 (java) S 32393 32395 30400 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32404] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32404/stat : 32404 (java) S 32393 32395 30400 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32405] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32405/stat : 32405 (java) S 32393 32395 30400 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 18 0 499896787 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32406] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32406/stat : 32406 (java) S 32393 32395 30400 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 18 0 499896788 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 0 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32407] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32407/stat : 32407 (java) S 32393 32395 30400 0 -1 4202560 17 0 0 0 0 0 0 0 22 0 18 0 499896788 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32408] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 499896788 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 499896790 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15744836 CPUtime=0.28 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) S 32393 32395 30400 0 -1 4202560 2244 0 0 0 28 0 0 0 15 0 18 0 499896790 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15744836 CPUtime=0.21 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) S 32393 32395 30400 0 -1 4202560 2474 0 0 0 21 0 0 0 15 0 18 0 499896791 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 499896791 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15744836 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 499896791 16122712064 136309 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 15744836
[startup+6.3008 s]
/proc/loadavg: 6.99 7.82 7.90 4/220 32421
/proc/meminfo: memFree=24582476/32951124 swapFree=67111524/67111528
[pid=32395] ppid=32393 vsize=15751764 CPUtime=8.56 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 164476 0 1 0 835 21 0 0 22 0 22 0 499896786 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3937941 150435 2271 9 0 3928660 0
[pid=32395/tid=32396] ppid=32393 vsize=15751764 CPUtime=6.24 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4202560 127166 0 1 0 607 17 0 0 25 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 46912506179964 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32395/tid=32398] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32398/stat : 32398 (java) S 32393 32395 30400 0 -1 4202560 7759 0 0 0 0 0 0 0 15 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32399] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32399/stat : 32399 (java) S 32393 32395 30400 0 -1 4202560 929 0 0 0 0 0 0 0 16 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32400] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32400/stat : 32400 (java) S 32393 32395 30400 0 -1 4202560 1206 0 0 0 0 0 0 0 15 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32401] ppid=32393 vsize=15751764 CPUtime=0.01 cores=1,3,5,7
/proc/32395/task/32401/stat : 32401 (java) S 32393 32395 30400 0 -1 4202560 779 0 0 0 1 0 0 0 16 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32402] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32402/stat : 32402 (java) S 32393 32395 30400 0 -1 4202560 1475 0 0 0 0 0 0 0 15 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32403] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32403/stat : 32403 (java) S 32393 32395 30400 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32404] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32404/stat : 32404 (java) S 32393 32395 30400 0 -1 4202560 728 0 0 0 0 0 0 0 16 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32405] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32405/stat : 32405 (java) S 32393 32395 30400 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 22 0 499896787 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32406] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32406/stat : 32406 (java) S 32393 32395 30400 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 22 0 499896788 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 0 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32407] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32407/stat : 32407 (java) S 32393 32395 30400 0 -1 4202560 17 0 0 0 0 0 0 0 22 0 22 0 499896788 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32408] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 499896788 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896790 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15751764 CPUtime=0.63 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) R 32393 32395 30400 0 -1 4202560 2927 0 0 0 63 0 0 0 16 0 22 0 499896790 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 47246597102482 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15751764 CPUtime=1.59 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) R 32393 32395 30400 0 -1 4202560 19617 0 0 0 157 2 0 0 16 0 22 0 499896791 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 47246594203618 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896791 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15751764 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 499896791 16129806336 150435 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=32395/tid=32408] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15753692 CPUtime=1.55 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) S 32393 32395 30400 0 -1 4202560 3518 0 0 0 155 0 0 0 15 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15753692 CPUtime=2.77 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) S 32393 32395 30400 0 -1 4202560 19721 0 0 0 275 2 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32418] ppid=32393 vsize=15753692 CPUtime=613.56 cores=1,3,5,7
/proc/32395/task/32418/stat : 32418 (java) S 32393 32395 30400 0 -1 4202560 7904 0 0 0 61353 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32419] ppid=32393 vsize=15753692 CPUtime=593.69 cores=1,3,5,7
/proc/32395/task/32419/stat : 32419 (java) S 32393 32395 30400 0 -1 4202560 354 0 0 0 59368 1 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32420] ppid=32393 vsize=15753692 CPUtime=607.08 cores=1,3,5,7
/proc/32395/task/32420/stat : 32420 (java) S 32393 32395 30400 0 -1 4202560 234 0 0 0 60705 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32421] ppid=32393 vsize=15753692 CPUtime=606.01 cores=1,3,5,7
/proc/32395/task/32421/stat : 32421 (java) S 32393 32395 30400 0 -1 4202560 255 0 0 0 60599 2 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 15753692
[startup+1242.3 s]
/proc/loadavg: 5.24 6.03 6.88 6/220 32512
/proc/meminfo: memFree=146088/32951124 swapFree=66915340/67111528
[pid=32395] ppid=32393 vsize=15753692 CPUtime=3119.99 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 4037692 0 1 0 311333 666 0 0 22 0 22 0 499896786 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3938423 3821349 2296 9 0 3929142 0
[pid=32395/tid=32396] ppid=32393 vsize=15753692 CPUtime=11.16 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) S 32393 32395 30400 0 -1 4202560 127224 0 1 0 1099 17 0 0 25 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32398] ppid=32393 vsize=15753692 CPUtime=11.81 cores=1,3,5,7
/proc/32395/task/32398/stat : 32398 (java) S 32393 32395 30400 0 -1 4202560 515286 0 0 0 1102 79 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32399] ppid=32393 vsize=15753692 CPUtime=10.15 cores=1,3,5,7
/proc/32395/task/32399/stat : 32399 (java) S 32393 32395 30400 0 -1 4202560 483249 0 0 0 940 75 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32400] ppid=32393 vsize=15753692 CPUtime=11.59 cores=1,3,5,7
/proc/32395/task/32400/stat : 32400 (java) S 32393 32395 30400 0 -1 4202560 469550 0 0 0 1083 76 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32401] ppid=32393 vsize=15753692 CPUtime=11.04 cores=1,3,5,7
/proc/32395/task/32401/stat : 32401 (java) S 32393 32395 30400 0 -1 4202560 422676 0 0 0 1037 67 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32402] ppid=32393 vsize=15753692 CPUtime=11.59 cores=1,3,5,7
/proc/32395/task/32402/stat : 32402 (java) S 32393 32395 30400 0 -1 4202560 559657 0 0 0 1071 88 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32403] ppid=32393 vsize=15753692 CPUtime=10.75 cores=1,3,5,7
/proc/32395/task/32403/stat : 32403 (java) S 32393 32395 30400 0 -1 4202560 432656 0 0 0 1006 69 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32404] ppid=32393 vsize=15753692 CPUtime=10.54 cores=1,3,5,7
/proc/32395/task/32404/stat : 32404 (java) S 32393 32395 30400 0 -1 4202560 410531 0 0 0 992 62 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32405] ppid=32393 vsize=15753692 CPUtime=10.31 cores=1,3,5,7
/proc/32395/task/32405/stat : 32405 (java) S 32393 32395 30400 0 -1 4202560 547015 0 0 0 947 84 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32406] ppid=32393 vsize=15753692 CPUtime=576.12 cores=1,3,5,7
/proc/32395/task/32406/stat : 32406 (java) R 32393 32395 30400 0 -1 4202560 36278 0 0 0 57584 28 0 0 17 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 47246596970499 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=32395/tid=32407] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32407/stat : 32407 (java) S 32393 32395 30400 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32408] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15753692 CPUtime=1.55 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) S 32393 32395 30400 0 -1 4202560 3518 0 0 0 155 0 0 0 15 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15753692 CPUtime=2.77 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) S 32393 32395 30400 0 -1 4202560 19721 0 0 0 275 2 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32418] ppid=32393 vsize=15753692 CPUtime=618.56 cores=1,3,5,7
/proc/32395/task/32418/stat : 32418 (java) S 32393 32395 30400 0 -1 4202560 7938 0 0 0 61853 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32419] ppid=32393 vsize=15753692 CPUtime=598.71 cores=1,3,5,7
/proc/32395/task/32419/stat : 32419 (java) S 32393 32395 30400 0 -1 4202560 379 0 0 0 59869 2 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32420] ppid=32393 vsize=15753692 CPUtime=612.12 cores=1,3,5,7
/proc/32395/task/32420/stat : 32420 (java) S 32393 32395 30400 0 -1 4202560 264 0 0 0 61209 3 0 0 16 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32421] ppid=32393 vsize=15753692 CPUtime=611.05 cores=1,3,5,7
/proc/32395/task/32421/stat : 32421 (java) S 32393 32395 30400 0 -1 4202560 289 0 0 0 61103 2 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3119.99
Current children cumulated vsize (KiB) 15753692
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.96 6.15 6.87 6/220 32514
/proc/meminfo: memFree=150080/32951124 swapFree=66915340/67111528
[pid=32395] ppid=32393 vsize=15753692 CPUtime=3207.95 cores=1,3,5,7
/proc/32395/stat : 32395 (java) S 32393 32395 30400 0 -1 4202496 4037802 0 1 0 320126 669 0 0 22 0 22 0 499896786 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 3938423 3821349 2296 9 0 3929142 0
[pid=32395/tid=32396] ppid=32393 vsize=15753692 CPUtime=11.16 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) S 32393 32395 30400 0 -1 4202560 127224 0 1 0 1099 17 0 0 25 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32398] ppid=32393 vsize=15753692 CPUtime=11.81 cores=1,3,5,7
/proc/32395/task/32398/stat : 32398 (java) S 32393 32395 30400 0 -1 4202560 515286 0 0 0 1102 79 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32399] ppid=32393 vsize=15753692 CPUtime=10.15 cores=1,3,5,7
/proc/32395/task/32399/stat : 32399 (java) S 32393 32395 30400 0 -1 4202560 483249 0 0 0 940 75 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32400] ppid=32393 vsize=15753692 CPUtime=11.59 cores=1,3,5,7
/proc/32395/task/32400/stat : 32400 (java) S 32393 32395 30400 0 -1 4202560 469550 0 0 0 1083 76 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32401] ppid=32393 vsize=15753692 CPUtime=11.04 cores=1,3,5,7
/proc/32395/task/32401/stat : 32401 (java) S 32393 32395 30400 0 -1 4202560 422676 0 0 0 1037 67 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32402] ppid=32393 vsize=15753692 CPUtime=11.59 cores=1,3,5,7
/proc/32395/task/32402/stat : 32402 (java) S 32393 32395 30400 0 -1 4202560 559657 0 0 0 1071 88 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32403] ppid=32393 vsize=15753692 CPUtime=10.75 cores=1,3,5,7
/proc/32395/task/32403/stat : 32403 (java) S 32393 32395 30400 0 -1 4202560 432656 0 0 0 1006 69 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
[pid=32395/tid=32404] ppid=32393 vsize=15753692 CPUtime=10.54 cores=1,3,5,7
/proc/32395/task/32404/stat : 32404 (java) S 32393 32395 30400 0 -1 4202560 410531 0 0 0 992 62 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32405] ppid=32393 vsize=15753692 CPUtime=10.31 cores=1,3,5,7
/proc/32395/task/32405/stat : 32405 (java) S 32393 32395 30400 0 -1 4202560 547015 0 0 0 947 84 0 0 16 0 22 0 499896787 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32406] ppid=32393 vsize=15753692 CPUtime=623.7 cores=1,3,5,7
/proc/32395/task/32406/stat : 32406 (java) R 32393 32395 30400 0 -1 4202560 36282 0 0 0 62340 30 0 0 20 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 47246596970548 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=32395/tid=32407] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32407/stat : 32407 (java) S 32393 32395 30400 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32408] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32408/stat : 32408 (java) S 32393 32395 30400 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 499896788 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32409] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32409/stat : 32409 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828060081 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32410] ppid=32393 vsize=15753692 CPUtime=1.55 cores=1,3,5,7
/proc/32395/task/32410/stat : 32410 (java) S 32393 32395 30400 0 -1 4202560 3518 0 0 0 155 0 0 0 15 0 22 0 499896790 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32411] ppid=32393 vsize=15753692 CPUtime=2.77 cores=1,3,5,7
/proc/32395/task/32411/stat : 32411 (java) S 32393 32395 30400 0 -1 4202560 19721 0 0 0 275 2 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32412] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32412/stat : 32412 (java) S 32393 32395 30400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32413] ppid=32393 vsize=15753692 CPUtime=0 cores=1,3,5,7
/proc/32395/task/32413/stat : 32413 (java) S 32393 32395 30400 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 499896791 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052992 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32418] ppid=32393 vsize=15753692 CPUtime=628.68 cores=1,3,5,7
/proc/32395/task/32418/stat : 32418 (java) S 32393 32395 30400 0 -1 4202560 7945 0 0 0 62865 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 5 0 0 0
[pid=32395/tid=32419] ppid=32393 vsize=15753692 CPUtime=608.75 cores=1,3,5,7
/proc/32395/task/32419/stat : 32419 (java) S 32393 32395 30400 0 -1 4202560 419 0 0 0 60873 2 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 1 0 0 0
[pid=32395/tid=32420] ppid=32393 vsize=15753692 CPUtime=622.22 cores=1,3,5,7
/proc/32395/task/32420/stat : 32420 (java) S 32393 32395 30400 0 -1 4202560 300 0 0 0 62219 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 7 0 0 0
[pid=32395/tid=32421] ppid=32393 vsize=15753692 CPUtime=621.16 cores=1,3,5,7
/proc/32395/task/32421/stat : 32421 (java) S 32393 32395 30400 0 -1 4202560 308 0 0 0 62113 3 0 0 15 0 22 0 499897165 16131780608 3821349 33554432000 1073741824 1073778376 140735256403712 18446744073709551615 220828052377 0 4 0 16800975 18446604467845977344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3207.95
Current children cumulated vsize (KiB) 15753692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32395
[startup+1302.31 s]
/proc/loadavg: 5.88 6.13 6.86 7/200 32515
/proc/meminfo: memFree=5388124/32951124 swapFree=66915340/67111528
[pid=32395] ppid=32393 vsize=0 CPUtime=3210.25 cores=1,3,5,7
/proc/32395/stat : 32395 (java) Z 32393 32395 30400 0 -1 4203548 4037814 0 1 0 320328 697 0 0 18 0 2 0 499896786 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 0 0 0 0 0 0 0
[pid=32395/tid=32396] ppid=32393 vsize=0 CPUtime=11.44 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4203588 127224 0 1 0 1099 45 0 0 18 0 2 0 499896787 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3210.25
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.88 6.13 6.86 7/200 32515
/proc/meminfo: memFree=5388124/32951124 swapFree=66915340/67111528
[pid=32395] ppid=32393 vsize=0 CPUtime=3210.34 cores=1,3,5,7
/proc/32395/stat : 32395 (java) Z 32393 32395 30400 0 -1 4203548 4037814 0 1 0 320328 706 0 0 18 0 2 0 499896786 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 0 0 0 0 0 0 0
[pid=32395/tid=32396] ppid=32393 vsize=0 CPUtime=11.53 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4203588 127224 0 1 0 1099 54 0 0 18 0 2 0 499896787 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3210.34
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.88 6.13 6.86 7/200 32515
/proc/meminfo: memFree=5388124/32951124 swapFree=66915340/67111528
[pid=32395] ppid=32393 vsize=0 CPUtime=3210.44 cores=1,3,5,7
/proc/32395/stat : 32395 (java) Z 32393 32395 30400 0 -1 4203548 4037814 0 1 0 320328 716 0 0 18 0 2 0 499896786 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32395/statm: 0 0 0 0 0 0 0
[pid=32395/tid=32396] ppid=32393 vsize=0 CPUtime=11.63 cores=1,3,5,7
/proc/32395/task/32396/stat : 32396 (java) R 32393 32395 30400 0 -1 4203588 127224 0 1 0 1099 64 0 0 18 0 2 0 499896787 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3210.44
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 3210.49
CPU user time (s): 3203.29
CPU system time (s): 7.1999
CPU usage (%): 246.48
Max. virtual memory (cumulated for all children) (KiB): 15753692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3203.29
system time used= 7.19991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4037814
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= 40480
involuntary context switches= 54546
runsolver used 2.08768 second user time and 5.14922 second system time
The end