SAT 2011 Competition: main competition (phase 2) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
jMiniSat 2011	SAT	930.75	929.813
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3438322-1307744352/watcher-3438322-1307744352 -o /tmp/evaluation-result-3438322-1307744352/solver-3438322-1307744352 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3438322-1307744352.cnf 

running on 4 cores: 0,2,4,6

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: 2.00 2.02 2.62 4/178 16479
/proc/meminfo: memFree=31542556/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 315 0 0 0 0 0 0 0 18 0 1 0 886031901 8908800 245 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500691712 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/16479/statm: 2175 245 206 178 0 68 0

[startup+0.0845941 s]
/proc/loadavg: 2.00 2.02 2.62 4/178 16479
/proc/meminfo: memFree=31542556/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100612 s]
/proc/loadavg: 2.00 2.02 2.62 4/178 16479
/proc/meminfo: memFree=31542556/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300555 s]
/proc/loadavg: 2.00 2.02 2.62 4/178 16479
/proc/meminfo: memFree=31542556/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700461 s]
/proc/loadavg: 2.00 2.02 2.62 4/178 16479
/proc/meminfo: memFree=31542556/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5013 s]
/proc/loadavg: 2.00 2.02 2.62 6/216 16519
/proc/meminfo: memFree=31457672/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=1.77 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 17255 0 2 0 173 4 0 0 19 0 18 0 886031903 15010914304 15415 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 15415 2205 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=1.25 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 11261 0 2 0 123 2 0 0 19 0 18 0 886031904 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505611674 0 4 0 16800975 0 0 0 -1 2 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886031906 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 886031913 15010914304 15416 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.34 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3247 0 0 0 34 0 0 0 15 0 18 0 886031916 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 15417 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 15418 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 14667796

[startup+3.10099 s]
/proc/loadavg: 2.16 2.05 2.62 6/216 16519
/proc/meminfo: memFree=31412164/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=3.38 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 28430 0 2 0 333 5 0 0 19 0 18 0 886031903 15010914304 26590 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 26590 2205 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=2.84 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 22435 0 2 0 281 3 0 0 22 0 18 0 886031904 15010914304 26590 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505611674 0 4 0 16800975 0 0 0 -1 2 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031906 15010914304 26590 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 26590 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 26590 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 26591 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 26591 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 886031906 15010914304 26591 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 886031906 15010914304 26592 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886031906 15010914304 26592 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 26592 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 26592 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 26592 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 26593 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 26593 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3247 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 26593 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 26593 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 26594 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 14667796

[startup+6.30134 s]
/proc/loadavg: 2.16 2.05 2.62 7/216 16519
/proc/meminfo: memFree=31283708/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=6.58 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 47436 0 2 0 650 8 0 0 19 0 18 0 886031903 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 45596 2205 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=6.04 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 41441 0 2 0 598 6 0 0 25 0 18 0 886031904 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505554482 0 4 0 16800975 0 0 0 -1 2 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 886031906 15010914304 45596 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 886031906 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 886031913 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3247 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 45597 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 45598 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.58

################
# More data... #
################

[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3250 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 928.81
Current children cumulated vsize (KiB) 14667796

[startup+928.701 s]
/proc/loadavg: 3.99 3.90 3.46 6/216 16544
/proc/meminfo: memFree=29946340/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=929.61 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 131488 0 2 0 92939 22 0 0 19 0 18 0 886031903 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 127928 2224 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=928.24 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 77182 0 2 0 92812 12 0 0 25 0 18 0 886031904 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505553768 0 4 0 16800975 0 0 0 -1 0 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 7567 0 0 0 8 1 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 5280 0 0 0 7 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0.12 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 6037 0 0 0 11 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 8197 0 0 0 9 0 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0.13 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 7889 0 0 0 12 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 4481 0 0 0 8 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 5134 0 0 0 9 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0.06 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 3625 0 0 0 6 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3250 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 929.61
Current children cumulated vsize (KiB) 14667796

[startup+929.507 s]
/proc/loadavg: 3.99 3.90 3.46 6/216 16544
/proc/meminfo: memFree=29946216/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=930.42 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 131488 0 2 0 93020 22 0 0 19 0 18 0 886031903 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 127928 2224 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=929.04 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 77182 0 2 0 92892 12 0 0 25 0 18 0 886031904 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505574515 0 4 0 16800975 0 0 0 -1 0 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 7567 0 0 0 8 1 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 5280 0 0 0 7 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0.12 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 6037 0 0 0 11 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 8197 0 0 0 9 0 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0.13 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 7889 0 0 0 12 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 4481 0 0 0 8 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 5134 0 0 0 9 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0.06 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 3625 0 0 0 6 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3250 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 930.42
Current children cumulated vsize (KiB) 14667796

[startup+929.701 s]
/proc/loadavg: 3.99 3.90 3.46 6/216 16544
/proc/meminfo: memFree=29946216/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=14659096 CPUtime=930.61 cores=0,2,4,6
/proc/16484/stat : 16484 (java) S 16479 16479 16434 0 -1 4202496 131488 0 2 0 93039 22 0 0 19 0 18 0 886031903 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16484/statm: 3664774 127928 2224 9 0 3655253 0
[pid=16484/tid=16487] ppid=16479 vsize=14659096 CPUtime=929.24 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (java) R 16479 16479 16434 0 -1 4202560 77182 0 2 0 92912 12 0 0 25 0 18 0 886031904 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 46912505627917 0 4 0 16800975 0 0 0 -1 0 0 0 18
[pid=16484/tid=16494] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16494/stat : 16494 (java) S 16479 16479 16434 0 -1 4202560 7567 0 0 0 8 1 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16496] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16496/stat : 16496 (java) S 16479 16479 16434 0 -1 4202560 5280 0 0 0 7 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16498] ppid=16479 vsize=14659096 CPUtime=0.12 cores=0,2,4,6
/proc/16484/task/16498/stat : 16498 (java) S 16479 16479 16434 0 -1 4202560 6037 0 0 0 11 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16499] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16499/stat : 16499 (java) S 16479 16479 16434 0 -1 4202560 8197 0 0 0 9 0 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 6 0 0 0
[pid=16484/tid=16500] ppid=16479 vsize=14659096 CPUtime=0.13 cores=0,2,4,6
/proc/16484/task/16500/stat : 16500 (java) S 16479 16479 16434 0 -1 4202560 7889 0 0 0 12 1 0 0 16 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16501] ppid=16479 vsize=14659096 CPUtime=0.08 cores=0,2,4,6
/proc/16484/task/16501/stat : 16501 (java) S 16479 16479 16434 0 -1 4202560 4481 0 0 0 8 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16502] ppid=16479 vsize=14659096 CPUtime=0.09 cores=0,2,4,6
/proc/16484/task/16502/stat : 16502 (java) S 16479 16479 16434 0 -1 4202560 5134 0 0 0 9 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 2 0 0 0
[pid=16484/tid=16503] ppid=16479 vsize=14659096 CPUtime=0.06 cores=0,2,4,6
/proc/16484/task/16503/stat : 16503 (java) S 16479 16479 16434 0 -1 4202560 3625 0 0 0 6 0 0 0 15 0 18 0 886031906 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16505] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16505/stat : 16505 (java) S 16479 16479 16434 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 0 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16508] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16508/stat : 16508 (java) S 16479 16479 16434 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) S 16479 16479 16434 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 886031913 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16512] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16512/stat : 16512 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512515505 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16513] ppid=16479 vsize=14659096 CPUtime=0.15 cores=0,2,4,6
/proc/16484/task/16513/stat : 16513 (java) S 16479 16479 16434 0 -1 4202560 1603 0 0 0 15 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16516] ppid=16479 vsize=14659096 CPUtime=0.35 cores=0,2,4,6
/proc/16484/task/16516/stat : 16516 (java) S 16479 16479 16434 0 -1 4202560 3250 0 0 0 35 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
[pid=16484/tid=16518] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16518/stat : 16518 (java) S 16479 16479 16434 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512507801 0 4 0 16800975 18446604453848921024 0 0 -1 4 0 0 0
[pid=16484/tid=16519] ppid=16479 vsize=14659096 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16519/stat : 16519 (java) S 16479 16479 16434 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 18 0 886031916 15010914304 127928 33554432000 1073741824 1073778376 140737256877072 18446744073709551615 254512508416 0 4 0 16800975 18446604453848921024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 930.61
Current children cumulated vsize (KiB) 14667796

[startup+929.801 s]
/proc/loadavg: 3.99 3.90 3.46 6/216 16544
/proc/meminfo: memFree=29946216/32950928 swapFree=67053888/67111528
[pid=16479] ppid=16475 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (jMiniSat) S 16475 16479 16434 0 -1 4202496 348 230 0 2 0 0 0 0 18 0 1 0 886031901 8908800 249 33554432000 4194304 4922060 140734365236880 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16479/statm: 2175 249 209 178 0 68 0
[pid=16484] ppid=16479 vsize=0 CPUtime=930.72 cores=0,2,4,6
/proc/16484/stat : 16484 (java) Z 16479 16479 16434 0 -1 4203548 131910 0 2 0 93049 23 0 0 18 0 2 0 886031903 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16484/statm: 0 0 0 0 0 0 0
[pid=16484/tid=16509] ppid=16479 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16509/stat : 16509 (java) R 16479 16479 16434 0 -1 4203588 8 0 0 0 0 0 0 0 18 0 2 0 886031913 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 930.72
Current children cumulated vsize (KiB) 8700

Child status: 10
Real time (s): 929.813
CPU time (s): 930.75
CPU user time (s): 930.497
CPU system time (s): 0.253961
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 14667796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 930.497
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132495
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19953
involuntary context switches= 20163

runsolver used 1.55276 second user time and 3.64644 second system time

The end
Name	CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf
MD5SUM	c848a5766cfcc1d1c3f26c7818e48eb2
Bench Category	CRAFTED (crafted instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.8495
Satisfiable
(Un)Satisfiability was proved
Number of variables	1473
Number of clauses	11563
Sum of the clauses size	37576
Maximum clause length	25
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	2381
Number of clauses of size 3	7024
Number of clauses of size 4	708
Number of clauses of size 5	1300
Number of clauses of size over 5	150
Trace number 3438322

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
