runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777930-1243461757/watcher-1777930-1243461757 -o /tmp/evaluation-result-1777930-1243461757/solver-1777930-1243461757 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777930-1243461757.cnf 404053015 4
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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.77 5.01 4.92 3/96 17599
/proc/meminfo: memFree=3038864/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=509228 CPUtime=0
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 1461 0 0 0 0 0 0 0 18 0 1 0 1100276844 521449472 1418 4294967295 134512640 135680988 3214560496 3214559760 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/17599/statm: 127307 1426 99 286 0 127019 0
[startup+0.117193 s]
/proc/loadavg: 4.77 5.01 4.92 3/96 17599
/proc/meminfo: memFree=3038864/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=0.13
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19940 0 0 0 9 4 0 0 19 0 4 0 1100276844 559570944 19896 4294967295 134512640 135680988 3214560496 3214559828 134534576 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19897 103 286 0 136326 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 546456
[startup+0.20718 s]
/proc/loadavg: 4.77 5.01 4.92 3/96 17599
/proc/meminfo: memFree=3038864/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=0.45
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 40 5 0 0 19 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 546456
[startup+0.307174 s]
/proc/loadavg: 4.77 5.01 4.92 3/96 17599
/proc/meminfo: memFree=3038864/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=0.85
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 79 6 0 0 19 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 546456
[startup+0.707146 s]
/proc/loadavg: 4.77 5.01 4.92 3/96 17599
/proc/meminfo: memFree=3038864/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2.45
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 237 8 0 0 16 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 546456
[startup+1.50941 s]
/proc/loadavg: 4.77 5.01 4.92 7/100 17603
/proc/meminfo: memFree=2960484/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=5.54
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 542 12 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=1.38
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 138 0 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=1.3
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 127 3 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=1.37
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 135 2 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 546456
[startup+3.10827 s]
/proc/loadavg: 4.77 5.01 4.92 7/100 17603
/proc/meminfo: memFree=2960400/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=11.93
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 1171 22 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=2.98
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 296 2 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=2.89
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 281 8 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=2.97
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 294 3 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 546456
[startup+6.30677 s]
/proc/loadavg: 4.71 4.99 4.91 6/100 17604
/proc/meminfo: memFree=2960276/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=24.09
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 2368 41 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=5.84
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 578 6 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816756 134535206 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=5.92
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 579 13 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=6.05
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 595 10 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.09
Current children cumulated vsize (KiB) 546456
[startup+12.7149 s]
/proc/loadavg: 4.65 4.98 4.91 6/100 17604
/proc/meminfo: memFree=2960060/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=49.44
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 4839 105 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=12.12
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 1194 18 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=12.24
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 1197 27 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=12.41
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 1215 26 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (KiB) 546456
[startup+25.517 s]
/proc/loadavg: 4.73 4.98 4.91 6/100 17605
/proc/meminfo: memFree=2960148/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=99.61
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 9763 198 0 0 16 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=24.8
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 2441 39 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=24.59
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 2406 53 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=24.95
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 2446 49 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.61
Current children cumulated vsize (KiB) 546456
[startup+51.1141 s]
/proc/loadavg: 4.81 4.98 4.91 5/100 17796
/proc/meminfo: memFree=2959724/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=200.1
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 19641 369 0 0 16 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=49.76
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 4894 82 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=50.13
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 4914 99 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=49.9
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 4905 85 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.1
Current children cumulated vsize (KiB) 546456
[startup+102.312 s]
/proc/loadavg: 5.52 5.12 4.96 5/100 17798
/proc/meminfo: memFree=2959660/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=401.3
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 39389 741 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=99.69
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 9786 183 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=100.44
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 9848 196 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=100.18
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 9840 178 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 401.3
Current children cumulated vsize (KiB) 546456
[startup+162.316 s]
/proc/loadavg: 5.22 5.10 4.96 6/100 17986
/proc/meminfo: memFree=2959288/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=636.84
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 62484 1200 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=158.41
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 15548 293 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=159.48
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 15646 302 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=159.19
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 15613 306 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 636.84
Current children cumulated vsize (KiB) 546456
[startup+222.314 s]
/proc/loadavg: 4.91 5.03 4.94 5/100 18174
/proc/meminfo: memFree=2959288/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=870.54
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 85412 1642 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=216.43
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 21232 411 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=217.8
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 21365 415 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=217.86
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 21372 414 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 870.54
Current children cumulated vsize (KiB) 546456
[startup+282.308 s]
/proc/loadavg: 5.05 5.04 4.95 6/100 18363
/proc/meminfo: memFree=2959412/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=1105.09
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 108428 2081 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=275.83
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 27076 507 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=275.96
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 27069 527 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=17599] ppid=17597 vsize=546456 CPUtime=1808.25
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 177532 3293 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=451.73
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 44368 805 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=452.29
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 44383 846 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=451.54
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 44341 813 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1808.25
Current children cumulated vsize (KiB) 546456
[startup+522.312 s]
/proc/loadavg: 4.95 4.98 4.93 5/100 19119
/proc/meminfo: memFree=2959412/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2041.2
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 200433 3687 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=509.66
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 50061 905 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=510.63
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 50128 935 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=510.12
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 50110 902 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2041.2
Current children cumulated vsize (KiB) 546456
[startup+582.308 s]
/proc/loadavg: 5.23 5.05 4.95 6/100 19308
/proc/meminfo: memFree=2959412/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2274.64
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 223343 4121 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=568.7
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 55861 1009 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=568.85
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 55837 1048 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=568.66
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 55857 1009 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2274.64
Current children cumulated vsize (KiB) 546456
[startup+642.313 s]
/proc/loadavg: 4.92 4.98 4.93 6/100 19495
/proc/meminfo: memFree=2959412/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2510.12
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 246463 4549 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=627.74
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 61665 1109 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=627.22
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 61564 1158 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=627.84
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 61671 1113 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2510.12
Current children cumulated vsize (KiB) 546456
[startup+702.31 s]
/proc/loadavg: 5.08 5.02 4.95 6/100 19682
/proc/meminfo: memFree=2959164/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2742.82
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 269297 4985 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=685.91
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 67377 1214 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=684.89
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 67231 1258 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=686.63
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 67429 1234 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2742.82
Current children cumulated vsize (KiB) 546456
[startup+762.315 s]
/proc/loadavg: 4.85 4.97 4.93 6/100 19870
/proc/meminfo: memFree=2959188/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=2973.92
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 292009 5383 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=742.99
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 72979 1320 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=743.35
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 72974 1361 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=745.03
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 73166 1337 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2973.92
Current children cumulated vsize (KiB) 546456
[startup+822.314 s]
/proc/loadavg: 4.71 4.90 4.91 7/100 20062
/proc/meminfo: memFree=2959164/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=3204.87
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 314679 5808 0 0 16 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=800.69
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 78616 1453 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=800.88
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 78640 1448 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=803.21
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 78870 1451 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3204.87
Current children cumulated vsize (KiB) 546456
[startup+882.314 s]
/proc/loadavg: 4.89 4.91 4.91 6/100 20254
/proc/meminfo: memFree=2959040/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=3438.48
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 337652 6196 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=859.07
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 84359 1548 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=859.64
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 84413 1551 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=860.91
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 84538 1553 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3438.48
Current children cumulated vsize (KiB) 546456
[startup+942.313 s]
/proc/loadavg: 4.99 4.94 4.92 7/100 20441
/proc/meminfo: memFree=2959164/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=3673.68
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 360811 6557 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=917.6
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 90120 1640 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=918.62
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 90233 1629 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=919.51
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 90303 1648 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032500 134533784 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3673.68
Current children cumulated vsize (KiB) 546456
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 5.05 4.98 4.93 5/100 20628
/proc/meminfo: memFree=2959404/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=3896.51
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 382743 6908 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=973.24
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 95603 1721 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=973.86
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 95668 1718 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=975.72
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 95830 1742 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3896.51
Current children cumulated vsize (KiB) 546456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.02 s]
/proc/loadavg: 5.05 4.98 4.93 5/100 20628
/proc/meminfo: memFree=2959404/3368532 swapFree=1954072/1959888
[pid=17599] ppid=17597 vsize=546456 CPUtime=3896.51
/proc/17599/stat : 17599 (gnovelty+) R 17597 17599 15881 0 -1 4202496 19984 0 0 0 382743 6908 0 0 15 0 4 0 1100276844 559570944 19940 4294967295 134512640 135680988 3214560496 3214559740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17599/statm: 136614 19940 103 286 0 136326 0
[pid=17599/tid=17601] ppid=17597 vsize=546456 CPUtime=973.24
/proc/17599/task/17601/stat : 17601 (gnovelty+) R 17597 17599 15881 0 -1 4202560 32 0 0 0 95603 1721 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3077816668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17599/tid=17602] ppid=17597 vsize=546456 CPUtime=973.86
/proc/17599/task/17602/stat : 17602 (gnovelty+) R 17597 17599 15881 0 -1 4202560 33 0 0 0 95668 1718 0 0 16 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3068424540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17599/tid=17603] ppid=17597 vsize=546456 CPUtime=975.72
/proc/17599/task/17603/stat : 17603 (gnovelty+) R 17597 17599 15881 0 -1 4202560 34 0 0 0 95830 1742 0 0 15 0 4 0 1100276854 559570944 19940 4294967295 134512640 135680988 3214560496 3059032412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3896.51
Current children cumulated vsize (KiB) 546456
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3896.57
CPU user time (s): 3827.49
CPU system time (s): 69.08
CPU usage (%): 389.64
Max. virtual memory (cumulated for all children) (KiB): 546456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3827.49
system time used= 69.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19984
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= 1170019
involuntary context switches= 44127
runsolver used 0.38 second user time and 0.35 second system time
The end
Begin job on tipi44 at 2009-05-28 00:02:37
IDJOB=1777930
IDBENCH=70492
IDSOLVER=617
FILE ID=tipi44/1777930-1243461757
PBS_JOBID=
Free space on /tmp= 15894 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/75/unif-k7-r89-v75-c6675-S2058039218-006.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777930-1243461757/watcher-1777930-1243461757 -o /tmp/evaluation-result-1777930-1243461757/solver-1777930-1243461757 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777930-1243461757.cnf 404053015 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 89d430115ed57f7d5b6a0f9a2181e3b8
RANDOM SEED= 404053015
Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3038864 kB
Buffers: 130912 kB
Cached: 91280 kB
SwapCached: 2184 kB
Active: 88860 kB
Inactive: 143164 kB
HighTotal: 2489216 kB
HighFree: 2385196 kB
LowTotal: 879316 kB
LowFree: 653668 kB
SwapTotal: 1959888 kB
SwapFree: 1954072 kB
Dirty: 1600 kB
Writeback: 0 kB
AnonPages: 8644 kB
Mapped: 3432 kB
Slab: 86928 kB
SReclaimable: 77016 kB
SUnreclaim: 9912 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 87896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15894 MiB
End job on tipi44 at 2009-05-28 00:19:19