0.00/0.00
0.00/0.00 c Computed by /tmp/evaluation/304186-1172053185/kcnfs-smp V. 1.2
0.00/0.00 c reading file ... done
0.00/0.06 c Input file : '/tmp/evaluation/304186-1172053185/instance-304186-1172053185.cnf'
0.00/0.06 c [#vars: 220, #clauses: 18700, 7-CNF]
0.09/0.12 c unit clauses propagate before processing (#clause: 18700)
0.09/0.12 c estimated distribution: 8 tasks
0.09/0.14 c [PID]: 12125 12126 12127 12128 12129 12130 12131
0.15/0.36 c [PID]: 12132
0.15/0.36 c real distribution: 8 tasks
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-304186-1172053185 -o ROOT/results/node12/solver-304186-1172053185 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304186-1172053185/kcnfs-smp /tmp/evaluation/304186-1172053185/instance-304186-1172053185.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.86 1.85 1.46 3/77 12123
/proc/meminfo: memFree=1636520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=180916 CPUtime=0
/proc/12123/stat : 12123 (kcnfs-smp) R 12121 12123 11751 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 225272920 185257984 112 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134820679 0 0 4096 0 0 0 0 17 1 0 0
/proc/12123/statm: 45229 113 48 160 0 45067 0
[startup+0.106882 s]
/proc/loadavg: 1.86 1.85 1.46 3/77 12123
/proc/meminfo: memFree=1636520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.09
/proc/12123/stat : 12123 (kcnfs-smp) R 12121 12123 11751 0 -1 4194304 1961 0 0 0 9 0 0 0 18 0 1 0 225272920 190930944 1945 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134542374 0 0 4096 0 0 0 0 17 1 0 0
/proc/12123/statm: 46614 1945 52 160 0 46452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 186456
[startup+0.517961 s]
/proc/loadavg: 1.86 1.85 1.46 3/77 12123
/proc/meminfo: memFree=1636520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 186456
[startup+1.34411 s]
/proc/loadavg: 1.86 1.85 1.46 9/86 12132
/proc/meminfo: memFree=1624160/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186456 CPUtime=0.43
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 43 0 0 0 24 0 1 0 225272934 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134581756 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46614 2044 73 160 0 46452 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=0.37
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 37 0 0 0 23 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577693 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2045 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186456 CPUtime=0.3
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 120 0 0 0 30 0 0 0 24 0 1 0 225272936 190930944 2043 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579714 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46614 2043 73 160 0 46452 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=0.3
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 120 0 0 0 30 0 0 0 25 0 1 0 225272937 190930944 2043 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134615495 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2043 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186456 CPUtime=0.32
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 32 0 0 0 25 0 1 0 225272948 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572949 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46614 2044 73 160 0 46452 0
[pid=12130] ppid=12123 vsize=186456 CPUtime=0.22
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 120 0 0 0 22 0 0 0 25 0 1 0 225272953 190930944 2043 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134720489 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46614 2043 73 160 0 46452 0
[pid=12131] ppid=12123 vsize=186456 CPUtime=0.2
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 120 0 0 0 20 0 0 0 25 0 1 0 225272955 190930944 2043 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577693 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46614 2043 73 160 0 46452 0
[pid=12132] ppid=12123 vsize=186456 CPUtime=0.2
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 20 0 0 0 25 0 1 0 225272956 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580273 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46614 2044 73 160 0 46452 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 1678104
[startup+2.9834 s]
/proc/loadavg: 2.35 1.95 1.50 9/86 12132
/proc/meminfo: memFree=1623840/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186456 CPUtime=0.83
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 83 0 0 0 25 0 1 0 225272934 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577653 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46614 2044 73 160 0 46452 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=0.81
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 81 0 0 0 25 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577693 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2045 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186456 CPUtime=0.7
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 120 0 0 0 70 0 0 0 25 0 1 0 225272936 190930944 2043 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577651 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46614 2043 73 160 0 46452 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=0.7
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 70 0 0 0 25 0 1 0 225272937 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580283 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2045 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186456 CPUtime=0.74
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 74 0 0 0 25 0 1 0 225272948 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580160 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46614 2045 73 160 0 46452 0
[pid=12130] ppid=12123 vsize=186456 CPUtime=0.63
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 63 0 0 0 25 0 1 0 225272953 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134589713 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46614 2044 73 160 0 46452 0
[pid=12131] ppid=12123 vsize=186456 CPUtime=0.6
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 60 0 0 0 25 0 1 0 225272955 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580071 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46614 2045 73 160 0 46452 0
[pid=12132] ppid=12123 vsize=186456 CPUtime=0.6
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 60 0 0 0 25 0 1 0 225272956 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577457 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46614 2044 73 160 0 46452 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 1678104
[startup+6.18698 s]
/proc/loadavg: 2.35 1.95 1.50 9/86 12132
/proc/meminfo: memFree=1623520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186456 CPUtime=1.63
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 163 0 0 0 25 0 1 0 225272934 190930944 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577451 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46614 2044 73 160 0 46452 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=1.6
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 160 0 0 0 25 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134692608 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2045 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=1.5
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 121 0 0 0 150 0 0 0 25 0 1 0 225272936 190935040 2044 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134622581 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2044 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=1.5
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 150 0 0 0 25 0 1 0 225272937 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134576892 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2045 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186456 CPUtime=1.54
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 154 0 0 0 25 0 1 0 225272948 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134610580 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46614 2045 73 160 0 46452 0
[pid=12130] ppid=12123 vsize=186456 CPUtime=1.43
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 143 0 0 0 25 0 1 0 225272953 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134622581 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46614 2045 73 160 0 46452 0
[pid=12131] ppid=12123 vsize=186456 CPUtime=1.4
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 140 0 0 0 25 0 1 0 225272955 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577653 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46614 2045 73 160 0 46452 0
[pid=12132] ppid=12123 vsize=186456 CPUtime=1.4
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 140 0 0 0 25 0 1 0 225272956 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580283 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46614 2045 73 160 0 46452 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 1678108
[startup+12.6741 s]
/proc/loadavg: 3.22 2.15 1.57 9/86 12132
/proc/meminfo: memFree=1623520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186456 CPUtime=3.23
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 323 0 0 0 25 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577464 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46614 2045 73 160 0 46452 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=3.21
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 321 0 0 0 25 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580283 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2045 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=3.15
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 315 0 0 0 25 0 1 0 225272936 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579488 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2046 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=3.1
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 310 0 0 0 25 0 1 0 225272937 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577696 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2045 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=3.14
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 314 0 0 0 25 0 1 0 225272948 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572047 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2046 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=3.12
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 312 0 0 0 25 0 1 0 225272953 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134625809 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2046 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186456 CPUtime=3.01
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 301 0 0 0 25 0 1 0 225272955 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134614346 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46614 2045 73 160 0 46452 0
[pid=12132] ppid=12123 vsize=186456 CPUtime=3
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 300 0 0 0 25 0 1 0 225272956 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580317 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46614 2045 73 160 0 46452 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 1678116
[startup+25.5605 s]
/proc/loadavg: 3.95 2.34 1.63 9/86 12132
/proc/meminfo: memFree=1623520/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=6.43
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 643 0 0 0 25 0 1 0 225272934 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567436 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2047 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=6.41
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 641 0 0 0 25 0 1 0 225272934 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567577 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2045 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=6.38
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 638 0 0 0 25 0 1 0 225272936 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134576864 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2046 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=6.3
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 630 0 0 0 25 0 1 0 225272937 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134720486 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2045 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=6.34
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 634 0 0 0 25 0 1 0 225272948 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580154 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2046 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=6.32
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 632 0 0 0 25 0 1 0 225272953 190935040 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577653 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2046 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186456 CPUtime=6.29
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 629 0 0 0 25 0 1 0 225272955 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134615499 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46614 2045 73 160 0 46452 0
[pid=12132] ppid=12123 vsize=186456 CPUtime=6.2
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 122 0 0 0 620 0 0 0 25 0 1 0 225272956 190930944 2045 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567303 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46614 2045 73 160 0 46452 0
Current children cumulated CPU time (s) 50.82
################
# More data... #
################
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=115.31
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 11531 0 0 0 25 0 1 0 225272934 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134614547 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2048 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=115.21
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 11521 0 0 0 25 0 1 0 225272934 190930944 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577649 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2046 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=115.18
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 11518 0 0 0 25 0 1 0 225272936 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134609267 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2047 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186456 CPUtime=115.18
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 11518 0 0 0 25 0 1 0 225272937 190930944 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577103 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46614 2046 73 160 0 46452 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=115.62
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 11561 1 0 0 25 0 1 0 225272948 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577451 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2048 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=115.6
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 11559 1 0 0 25 0 1 0 225272953 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134612833 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2048 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186460 CPUtime=115.58
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 11558 0 0 0 25 0 1 0 225272955 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134623749 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46615 2048 73 160 0 46453 0
[pid=12132] ppid=12123 vsize=186460 CPUtime=115.53
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 11552 1 0 0 25 0 1 0 225272956 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134576874 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46615 2047 73 160 0 46453 0
Current children cumulated CPU time (s) 923.36
Current children cumulated vsize (KiB) 1678128
[startup+522.994 s]
/proc/loadavg: 8.02 6.94 4.27 9/86 12132
/proc/meminfo: memFree=1623264/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=130.2
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 13020 0 0 0 25 0 1 0 225272934 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580169 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2048 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186456 CPUtime=130.19
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 123 0 0 0 13019 0 0 0 25 0 1 0 225272934 190930944 2046 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577440 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46614 2046 73 160 0 46452 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=130.18
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 13018 0 0 0 25 0 1 0 225272936 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134625952 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2047 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186460 CPUtime=130.12
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 13012 0 0 0 25 0 1 0 225272937 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134696945 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46615 2047 73 160 0 46453 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=130.64
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 13063 1 0 0 25 0 1 0 225272948 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580317 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2048 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=130.59
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 13058 1 0 0 25 0 1 0 225272953 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134614354 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2048 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186460 CPUtime=130.58
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 13058 0 0 0 25 0 1 0 225272955 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577447 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46615 2048 73 160 0 46453 0
[pid=12132] ppid=12123 vsize=186460 CPUtime=130.58
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 13057 1 0 0 25 0 1 0 225272956 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577061 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46615 2047 73 160 0 46453 0
Current children cumulated CPU time (s) 1043.23
Current children cumulated vsize (KiB) 1678132
[startup+583.069 s]
/proc/loadavg: 8.08 7.15 4.51 9/86 12132
/proc/meminfo: memFree=1623264/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=145.2
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14520 0 0 0 25 0 1 0 225272934 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134622566 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2048 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186460 CPUtime=145.15
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14515 0 0 0 25 0 1 0 225272934 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580317 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46615 2047 73 160 0 46453 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=145.07
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14507 0 0 0 25 0 1 0 225272936 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577718 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2047 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186460 CPUtime=145.07
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14507 0 0 0 25 0 1 0 225272937 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577693 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46615 2047 73 160 0 46453 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=145.7
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14569 1 0 0 25 0 1 0 225272948 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580277 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2048 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=145.59
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14558 1 0 0 25 0 1 0 225272953 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580154 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2048 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186460 CPUtime=145.58
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14558 0 0 0 25 0 1 0 225272955 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577447 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46615 2048 73 160 0 46453 0
[pid=12132] ppid=12123 vsize=186460 CPUtime=145.57
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14556 1 0 0 25 0 1 0 225272956 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134623607 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46615 2047 73 160 0 46453 0
Current children cumulated CPU time (s) 1163.08
Current children cumulated vsize (KiB) 1678136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.617 s]
/proc/loadavg: 8.06 7.19 4.56 9/86 12132
/proc/meminfo: memFree=1623200/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=149.8
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14980 0 0 0 25 0 1 0 225272934 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134574184 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2048 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186460 CPUtime=149.78
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14978 0 0 0 25 0 1 0 225272934 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134720565 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46615 2047 73 160 0 46453 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=149.7
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14970 0 0 0 25 0 1 0 225272936 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134625910 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2047 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186460 CPUtime=149.67
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14967 0 0 0 25 0 1 0 225272937 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580317 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46615 2047 73 160 0 46453 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=150.31
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15030 1 0 0 25 0 1 0 225272948 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134622991 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2048 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=150.29
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15028 1 0 0 25 0 1 0 225272953 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580277 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2048 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186460 CPUtime=150.21
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15021 0 0 0 25 0 1 0 225272955 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134620118 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46615 2048 73 160 0 46453 0
[pid=12132] ppid=12123 vsize=186460 CPUtime=150.17
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 15016 1 0 0 25 0 1 0 225272956 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134623749 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46615 2047 73 160 0 46453 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 1678136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+601.617 s]
/proc/loadavg: 8.06 7.19 4.56 9/86 12132
/proc/meminfo: memFree=1623200/2055920 swapFree=4154940/4192956
[pid=12123] ppid=12121 vsize=186456 CPUtime=0.15
/proc/12123/stat : 12123 (kcnfs-smp) S 12121 12123 11751 0 -1 4194304 2472 0 0 0 14 1 0 0 22 0 1 0 225272920 190930944 1996 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12123/statm: 46614 1996 65 160 0 46452 0
[pid=12125] ppid=12123 vsize=186460 CPUtime=149.8
/proc/12125/stat : 12125 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 14980 0 0 0 25 0 1 0 225272934 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134574184 0 0 4096 2 0 0 0 17 0 0 0
/proc/12125/statm: 46615 2048 73 160 0 46453 0
[pid=12126] ppid=12123 vsize=186460 CPUtime=149.78
/proc/12126/stat : 12126 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14978 0 0 0 25 0 1 0 225272934 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134720565 0 0 4096 0 0 0 0 17 0 0 0
/proc/12126/statm: 46615 2047 73 160 0 46453 0
[pid=12127] ppid=12123 vsize=186460 CPUtime=149.7
/proc/12127/stat : 12127 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14970 0 0 0 25 0 1 0 225272936 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134625910 0 0 4096 2 0 0 0 17 0 0 0
/proc/12127/statm: 46615 2047 73 160 0 46453 0
[pid=12128] ppid=12123 vsize=186460 CPUtime=149.67
/proc/12128/stat : 12128 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 14967 0 0 0 25 0 1 0 225272937 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580317 0 0 4096 0 0 0 0 17 0 0 0
/proc/12128/statm: 46615 2047 73 160 0 46453 0
[pid=12129] ppid=12123 vsize=186460 CPUtime=150.31
/proc/12129/stat : 12129 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15030 1 0 0 25 0 1 0 225272948 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134622991 0 0 4096 2 0 0 0 17 1 0 0
/proc/12129/statm: 46615 2048 73 160 0 46453 0
[pid=12130] ppid=12123 vsize=186460 CPUtime=150.29
/proc/12130/stat : 12130 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15028 1 0 0 25 0 1 0 225272953 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580277 0 0 4096 0 0 0 0 17 1 0 0
/proc/12130/statm: 46615 2048 73 160 0 46453 0
[pid=12131] ppid=12123 vsize=186460 CPUtime=150.21
/proc/12131/stat : 12131 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 125 0 0 0 15021 0 0 0 25 0 1 0 225272955 190935040 2048 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134620118 0 0 4096 2 0 0 0 17 1 0 0
/proc/12131/statm: 46615 2048 73 160 0 46453 0
[pid=12132] ppid=12123 vsize=186460 CPUtime=150.17
/proc/12132/stat : 12132 (kcnfs-smp) R 12123 12123 11751 0 -1 4194368 124 0 0 0 15016 1 0 0 25 0 1 0 225272956 190935040 2047 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134623749 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 46615 2047 73 160 0 46453 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 1678136
Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.631
CPU time (s): 1200.18
CPU user time (s): 1200.09
CPU system time (s): 0.093985
CPU usage (%): 199.488
Max. virtual memory (cumulated for all children) (KiB): 1678136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.09
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 34077
runsolver used 0.612906 second user time and 1.60476 second system time
The end
Begin job on node12 on Wed Feb 21 10:19:45 UTC 2007
IDJOB= 304186
IDBENCH= 20126
IDSOLVER= 112
FILE ID= node12/304186-1172053185
PBS_JOBID= 3865277
Free space on /tmp= 66545 MiB
SOLVER NAME= KCNFS SMP
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v220/unif-k7-r85-v220-c18700-S1898939887-14.cnf
COMMAND LINE= /tmp/evaluation/304186-1172053185/kcnfs-smp /tmp/evaluation/304186-1172053185/instance-304186-1172053185.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-304186-1172053185 -o ROOT/results/node12/solver-304186-1172053185 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304186-1172053185/kcnfs-smp /tmp/evaluation/304186-1172053185/instance-304186-1172053185.cnf
META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH= 41d7eef42075731c66070da93dbe200d
RANDOM SEED= 533226195
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.285
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.285
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1636928 kB
Buffers: 55236 kB
Cached: 268220 kB
SwapCached: 18244 kB
Active: 193028 kB
Inactive: 156704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636928 kB
SwapTotal: 4192956 kB
SwapFree: 4154940 kB
Dirty: 3712 kB
Writeback: 0 kB
Mapped: 29956 kB
Slab: 54856 kB
Committed_AS: 1054604 kB
PageTables: 1692 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66545 MiB
End job on node12 on Wed Feb 21 10:29:48 UTC 2007