runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3438547-1308501718/watcher-3438547-1308501718 -o /tmp/evaluation-result-3438547-1308501718/solver-3438547-1308501718 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3438547-1308501718.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.92 0.98 1.19 3/174 24948
/proc/meminfo: memFree=28345256/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 318 0 0 0 0 0 0 0 22 0 1 0 942587313 8908800 246 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095450880 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/24948/statm: 2175 246 206 178 0 68 0
[startup+0.0731979 s]
/proc/loadavg: 0.92 0.98 1.19 3/174 24948
/proc/meminfo: memFree=28345256/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100156 s]
/proc/loadavg: 0.92 0.98 1.19 3/174 24948
/proc/meminfo: memFree=28345256/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.30416 s]
/proc/loadavg: 0.92 0.98 1.19 3/174 24948
/proc/meminfo: memFree=28345256/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.701045 s]
/proc/loadavg: 0.92 0.98 1.19 3/174 24948
/proc/meminfo: memFree=28345256/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.5009 s]
/proc/loadavg: 0.92 0.98 1.19 3/214 24997
/proc/meminfo: memFree=28233792/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655716 CPUtime=1.72 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 14739 0 11 0 170 2 0 0 23 0 18 0 942587316 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663929 13515 2212 9 0 3654408 0
[pid=24951/tid=24952] ppid=24948 vsize=14655716 CPUtime=1.4 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 10610 0 9 0 139 1 0 0 19 0 18 0 942587317 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505572858 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 942587321 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 942587322 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 942587322 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655716 CPUtime=0.12 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 989 0 0 0 12 0 0 0 15 0 18 0 942587324 15007453184 13515 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655716 CPUtime=0.17 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 1995 0 2 0 17 0 0 0 16 0 18 0 942587324 15007453184 13516 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007453184 13516 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 942587324 15007453184 13516 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 14664416
[startup+3.10061 s]
/proc/loadavg: 0.92 0.98 1.19 3/214 24997
/proc/meminfo: memFree=28201924/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655716 CPUtime=3.32 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 18012 0 11 0 329 3 0 0 23 0 18 0 942587316 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663929 16788 2212 9 0 3654408 0
[pid=24951/tid=24952] ppid=24948 vsize=14655716 CPUtime=3.01 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 13883 0 9 0 299 2 0 0 24 0 18 0 942587317 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505572858 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16788 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 942587321 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 942587322 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 942587322 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655716 CPUtime=0.12 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 989 0 0 0 12 0 0 0 15 0 18 0 942587324 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655716 CPUtime=0.17 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 1995 0 2 0 17 0 0 0 16 0 18 0 942587324 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 942587324 15007453184 16789 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 14664416
[startup+6.30102 s]
/proc/loadavg: 1.01 1.00 1.20 3/214 24997
/proc/meminfo: memFree=28144420/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655716 CPUtime=6.52 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 22356 0 11 0 649 3 0 0 23 0 18 0 942587316 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663929 21132 2212 9 0 3654408 0
[pid=24951/tid=24952] ppid=24948 vsize=14655716 CPUtime=6.2 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 18227 0 9 0 618 2 0 0 25 0 18 0 942587317 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505572249 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 942587320 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 942587321 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 942587322 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 942587322 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655716 CPUtime=0.12 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 989 0 0 0 12 0 0 0 15 0 18 0 942587324 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655716 CPUtime=0.17 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 1995 0 2 0 17 0 0 0 16 0 18 0 942587324 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655716 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 942587324 15007453184 21132 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.52
################
# More data... #
################
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 1437 0 0 0 15 0 0 0 15 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 5706 0 3 0 32 0 0 0 16 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4847.84
Current children cumulated vsize (KiB) 14664172
[startup+4902.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/214 25148
/proc/meminfo: memFree=26237164/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655472 CPUtime=4907.92 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 268029 0 12 0 490752 40 0 0 23 0 18 0 942587316 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663868 255935 2246 9 0 3654347 0
[pid=24951/tid=24952] ppid=24948 vsize=14655472 CPUtime=4900.23 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 46171 0 9 0 490017 6 0 0 25 0 18 0 942587317 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505572825 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655472 CPUtime=0.74 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 22526 0 0 0 71 3 0 0 16 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655472 CPUtime=1.05 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 31804 0 0 0 100 5 0 0 16 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655472 CPUtime=0.95 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 27309 0 0 0 92 3 0 0 16 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655472 CPUtime=0.73 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 26456 0 0 0 70 3 0 0 15 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655472 CPUtime=0.91 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 22874 0 0 0 88 3 0 0 15 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655472 CPUtime=0.78 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 26387 0 0 0 75 3 0 0 15 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655472 CPUtime=0.79 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 26733 0 0 0 76 3 0 0 16 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655472 CPUtime=0.83 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 29019 0 0 0 78 5 0 0 15 0 18 0 942587320 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 190 0 0 0 32 0 0 0 15 0 18 0 942587321 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655472 CPUtime=0.15 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 1437 0 0 0 15 0 0 0 15 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 5706 0 3 0 32 0 0 0 16 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 284 0 0 0 0 0 0 0 15 0 18 0 942587324 15007203328 255935 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4907.92
Current children cumulated vsize (KiB) 14664172
[startup+4962.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/214 25150
/proc/meminfo: memFree=26237012/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655472 CPUtime=4967.99 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 268082 0 12 0 496759 40 0 0 23 0 18 0 942587316 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663868 255981 2246 9 0 3654347 0
[pid=24951/tid=24952] ppid=24948 vsize=14655472 CPUtime=4960.2 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 46172 0 9 0 496014 6 0 0 25 0 18 0 942587317 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505573599 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655472 CPUtime=0.74 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 22526 0 0 0 71 3 0 0 15 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655472 CPUtime=1.07 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 31804 0 0 0 102 5 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655472 CPUtime=0.95 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 27309 0 0 0 92 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655472 CPUtime=0.75 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 26456 0 0 0 72 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655472 CPUtime=0.93 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 22920 0 0 0 90 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655472 CPUtime=0.79 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 26387 0 0 0 76 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655472 CPUtime=0.79 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 26733 0 0 0 76 3 0 0 15 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655472 CPUtime=0.85 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 29019 0 0 0 80 5 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 192 0 0 0 32 0 0 0 15 0 18 0 942587321 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655472 CPUtime=0.15 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 1437 0 0 0 15 0 0 0 15 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 5706 0 3 0 32 0 0 0 16 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4967.99
Current children cumulated vsize (KiB) 14664172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4994.4 s]
/proc/loadavg: 1.86 1.97 1.95 2/190 25178
/proc/meminfo: memFree=27327688/32951124 swapFree=67053968/67111528
[pid=24948] ppid=24946 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (jMiniSat) S 24946 24948 24275 0 -1 4202496 350 231 0 1 0 0 0 0 22 0 1 0 942587313 8908800 250 33554432000 4194304 4922060 140736019134896 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24948/statm: 2175 250 209 178 0 68 0
[pid=24951] ppid=24948 vsize=14655472 CPUtime=5000.09 cores=1,3,5,7
/proc/24951/stat : 24951 (java) S 24948 24948 24275 0 -1 4202496 268084 0 12 0 499969 40 0 0 23 0 18 0 942587316 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24951/statm: 3663868 255981 2246 9 0 3654347 0
[pid=24951/tid=24952] ppid=24948 vsize=14655472 CPUtime=4992.31 cores=1,3,5,7
/proc/24951/task/24952/stat : 24952 (java) R 24948 24948 24275 0 -1 4202560 46172 0 9 0 499225 6 0 0 25 0 18 0 942587317 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 46912505573808 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=24951/tid=24960] ppid=24948 vsize=14655472 CPUtime=0.74 cores=1,3,5,7
/proc/24951/task/24960/stat : 24960 (java) S 24948 24948 24275 0 -1 4202560 22526 0 0 0 71 3 0 0 15 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24961] ppid=24948 vsize=14655472 CPUtime=1.07 cores=1,3,5,7
/proc/24951/task/24961/stat : 24961 (java) S 24948 24948 24275 0 -1 4202560 31804 0 0 0 102 5 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24962] ppid=24948 vsize=14655472 CPUtime=0.95 cores=1,3,5,7
/proc/24951/task/24962/stat : 24962 (java) S 24948 24948 24275 0 -1 4202560 27309 0 0 0 92 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24963] ppid=24948 vsize=14655472 CPUtime=0.75 cores=1,3,5,7
/proc/24951/task/24963/stat : 24963 (java) S 24948 24948 24275 0 -1 4202560 26456 0 0 0 72 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24964] ppid=24948 vsize=14655472 CPUtime=0.93 cores=1,3,5,7
/proc/24951/task/24964/stat : 24964 (java) S 24948 24948 24275 0 -1 4202560 22920 0 0 0 90 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24965] ppid=24948 vsize=14655472 CPUtime=0.79 cores=1,3,5,7
/proc/24951/task/24965/stat : 24965 (java) S 24948 24948 24275 0 -1 4202560 26387 0 0 0 76 3 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24966] ppid=24948 vsize=14655472 CPUtime=0.79 cores=1,3,5,7
/proc/24951/task/24966/stat : 24966 (java) S 24948 24948 24275 0 -1 4202560 26733 0 0 0 76 3 0 0 15 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24967] ppid=24948 vsize=14655472 CPUtime=0.85 cores=1,3,5,7
/proc/24951/task/24967/stat : 24967 (java) S 24948 24948 24275 0 -1 4202560 29019 0 0 0 80 5 0 0 16 0 18 0 942587320 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 7 0 0 0
[pid=24951/tid=24974] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24974/stat : 24974 (java) S 24948 24948 24275 0 -1 4202560 192 0 0 0 32 0 0 0 15 0 18 0 942587321 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 0 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24983] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24983/stat : 24983 (java) S 24948 24948 24275 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24984] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24984/stat : 24984 (java) S 24948 24948 24275 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 942587322 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24988] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24988/stat : 24988 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107274673 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24989] ppid=24948 vsize=14655472 CPUtime=0.15 cores=1,3,5,7
/proc/24951/task/24989/stat : 24989 (java) S 24948 24948 24275 0 -1 4202560 1437 0 0 0 15 0 0 0 15 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 3 0 0 0
[pid=24951/tid=24990] ppid=24948 vsize=14655472 CPUtime=0.32 cores=1,3,5,7
/proc/24951/task/24990/stat : 24990 (java) S 24948 24948 24275 0 -1 4202560 5706 0 3 0 32 0 0 0 16 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 1 0 0 0
[pid=24951/tid=24991] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24991/stat : 24991 (java) S 24948 24948 24275 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107266969 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
[pid=24951/tid=24992] ppid=24948 vsize=14655472 CPUtime=0 cores=1,3,5,7
/proc/24951/task/24992/stat : 24992 (java) S 24948 24948 24275 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 18 0 942587324 15007203328 255981 33554432000 1073741824 1073778376 140736972776640 18446744073709551615 228107267584 0 4 0 16800975 18446604471144886656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 14664172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24948 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 5000.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4994.42
CPU time (s): 5000.09
CPU user time (s): 4999.69
CPU system time (s): 0.4
CPU usage (%): 100.113
Max. virtual memory (cumulated for all children) (KiB): 14674032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581
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= 16
involuntary context switches= 4
runsolver used 8.32573 second user time and 18.9341 second system time
The end