runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777351-1243443574/watcher-1777351-1243443574 -o /tmp/evaluation-result-1777351-1243443574/solver-1777351-1243443574 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777351-1243443574.cnf 1733404607 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: 3.62 4.31 4.60 3/109 15376
/proc/meminfo: memFree=714816/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=509228 CPUtime=0
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 1433 0 0 0 0 0 0 0 18 0 1 0 1109020192 521449472 1390 4294967295 134512640 135680988 3215644160 3215643424 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/15376/statm: 127307 1397 99 286 0 127019 0
[startup+0.019698 s]
/proc/loadavg: 3.62 4.31 4.60 3/109 15376
/proc/meminfo: memFree=714816/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=509228 CPUtime=0.01
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 6433 0 0 0 0 1 0 0 18 0 1 0 1109020192 521449472 6390 4294967295 134512640 135680988 3215644160 3215643424 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/15376/statm: 127307 6399 99 286 0 127019 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 509228
[startup+0.109689 s]
/proc/loadavg: 3.62 4.31 4.60 3/109 15376
/proc/meminfo: memFree=714816/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=517040 CPUtime=0.1
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 14895 0 0 0 6 4 0 0 18 0 1 0 1109020192 529448960 14851 4294967295 134512640 135680988 3215644160 3215643424 134537905 0 0 0 0 0 0 0 17 3 0 0 0
/proc/15376/statm: 129260 14856 99 286 0 128972 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517040
[startup+0.309678 s]
/proc/loadavg: 3.62 4.31 4.60 3/109 15376
/proc/meminfo: memFree=714816/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=0.3
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 20723 0 0 0 25 5 0 0 18 0 4 0 1109020192 565944320 20679 4294967295 134512640 135680988 3215644160 3215643440 134541539 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 20687 103 286 0 137882 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 552680
[startup+0.70966 s]
/proc/loadavg: 3.62 4.31 4.60 3/109 15376
/proc/meminfo: memFree=714816/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=1.83
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 148 35 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 552680
[startup+1.50974 s]
/proc/loadavg: 3.62 4.31 4.60 5/113 15381
/proc/meminfo: memFree=630324/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=4.99
/proc/15376/stat : 15376 (gnovelty+) S 15374 15376 7955 0 -1 4202496 21697 0 0 0 408 91 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=1.17
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 99 18 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=1.17
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 91 26 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=1.17
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 98 19 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 552680
[startup+3.10958 s]
/proc/loadavg: 3.62 4.31 4.60 5/113 15381
/proc/meminfo: memFree=630028/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=11.19
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 875 244 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=2.67
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 216 51 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711276 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=2.76
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 210 66 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=2.75
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 216 59 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 552680
[startup+6.30938 s]
/proc/loadavg: 3.57 4.29 4.59 5/113 15381
/proc/meminfo: memFree=629708/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=23.49
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 1812 537 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=5.73
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 450 123 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=5.81
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 444 137 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=5.89
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 451 138 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 552680
[startup+12.7093 s]
/proc/loadavg: 3.60 4.28 4.59 5/113 15381
/proc/meminfo: memFree=629492/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=47.92
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 3622 1170 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=12
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 913 287 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=11.8
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 879 301 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=11.96
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 923 273 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.92
Current children cumulated vsize (KiB) 552680
[startup+25.5086 s]
/proc/loadavg: 3.69 4.27 4.58 5/113 15384
/proc/meminfo: memFree=629308/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=97.31
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 7139 2592 0 0 16 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=24.38
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 1802 636 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=24.23
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 1754 669 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=24.2
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 1809 611 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.31
Current children cumulated vsize (KiB) 552680
[startup+51.1073 s]
/proc/loadavg: 3.87 4.26 4.57 6/113 15572
/proc/meminfo: memFree=628980/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=194.33
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 14118 5315 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=49.07
/proc/15376/task/15378/stat : 15378 (gnovelty+) S 15374 15376 7955 0 -1 4202560 325 0 0 0 3547 1360 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=47.92
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 3449 1343 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=48.24
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 3538 1286 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830444 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 194.33
Current children cumulated vsize (KiB) 552680
[startup+102.314 s]
/proc/loadavg: 3.92 4.22 4.53 5/113 15759
/proc/meminfo: memFree=628832/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=388.58
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 27903 10955 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=98.01
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 7060 2741 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711412 134533489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=96.66
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 6925 2741 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=96.52
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 6915 2737 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 388.58
Current children cumulated vsize (KiB) 552680
[startup+162.311 s]
/proc/loadavg: 4.02 4.19 4.50 5/113 15950
/proc/meminfo: memFree=628880/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=616.74
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 43731 17943 0 0 16 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=155.11
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 11027 4484 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=154.23
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 10904 4519 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=153.59
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 10836 4523 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 616.74
Current children cumulated vsize (KiB) 552680
[startup+222.308 s]
/proc/loadavg: 4.04 4.17 4.47 5/113 16138
/proc/meminfo: memFree=628980/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=846.23
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 59796 24827 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=212.28
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 15007 6221 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=211.63
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 14920 6243 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=210.89
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 14842 6247 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 846.23
Current children cumulated vsize (KiB) 552680
[startup+282.305 s]
/proc/loadavg: 4.03 4.15 4.44 5/113 16327
/proc/meminfo: memFree=628484/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=1074.59
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 75421 32038 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=269.28
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 18960 7968 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=268.2
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 18601 8219 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=15376] ppid=15374 vsize=552680 CPUtime=1532.5
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 106612 46638 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=384.39
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 26869 11570 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=382.38
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 26164 12074 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=382.96
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 26670 11626 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1532.5
Current children cumulated vsize (KiB) 552680
[startup+462.316 s]
/proc/loadavg: 3.80 3.98 4.32 6/113 16893
/proc/meminfo: memFree=628112/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=1759.79
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 122260 53719 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=441.1
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 30789 13321 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=439.47
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 30012 13935 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=439.94
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 30628 13366 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1759.79
Current children cumulated vsize (KiB) 552680
[startup+522.312 s]
/proc/loadavg: 3.96 4.00 4.31 5/113 17081
/proc/meminfo: memFree=628508/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=1987.14
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 137651 61063 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=498.03
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 34699 15104 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=495.78
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 33703 15875 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=496.89
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 34522 15167 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1987.14
Current children cumulated vsize (KiB) 552680
[startup+582.309 s]
/proc/loadavg: 3.80 3.95 4.27 6/113 17270
/proc/meminfo: memFree=628616/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=2216.22
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 153381 68241 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=555.35
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 38641 16894 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=552.84
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 37601 17683 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=554.49
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 38501 16948 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2216.22
Current children cumulated vsize (KiB) 552680
[startup+642.307 s]
/proc/loadavg: 3.82 3.93 4.24 5/113 17459
/proc/meminfo: memFree=628832/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=2444.5
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 168945 75505 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=612.57
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 42565 18692 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=609.82
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 41459 19523 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=611.4
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 42368 18772 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2444.5
Current children cumulated vsize (KiB) 552680
[startup+702.303 s]
/proc/loadavg: 3.69 3.85 4.19 6/113 17650
/proc/meminfo: memFree=628468/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=2672.71
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 184064 83207 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=669.98
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 46375 20623 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=666.85
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 45255 21430 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=668.51
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 46078 20773 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2672.71
Current children cumulated vsize (KiB) 552680
[startup+762.32 s]
/proc/loadavg: 3.78 3.84 4.16 5/113 17836
/proc/meminfo: memFree=628236/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=2901.08
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 199249 90859 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=726.97
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 50141 22556 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=723.41
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 48979 23362 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770996 134533275 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=725.64
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 49876 22688 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2901.08
Current children cumulated vsize (KiB) 552680
[startup+822.317 s]
/proc/loadavg: 3.85 3.85 4.15 5/113 18024
/proc/meminfo: memFree=628592/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=3129.46
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 214263 98683 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=784.08
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 54046 24362 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=780.11
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 52580 25431 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=782.89
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 53619 24670 0 0 16 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3129.46
Current children cumulated vsize (KiB) 552680
[startup+882.314 s]
/proc/loadavg: 3.99 3.89 4.14 5/113 18213
/proc/meminfo: memFree=628484/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=3357.09
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 229621 106088 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=841.41
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 57958 26183 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=837.07
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 56422 27285 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=839.42
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 57434 26508 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3357.09
Current children cumulated vsize (KiB) 552680
[startup+942.311 s]
/proc/loadavg: 4.02 3.91 4.13 6/113 18401
/proc/meminfo: memFree=628360/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=3584.14
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 244694 113720 0 0 15 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=898.62
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 61813 28049 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=893.34
/proc/15376/task/15379/stat : 15379 (gnovelty+) R 15374 15376 7955 0 -1 4202560 332 0 0 0 60121 29213 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=896.4
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 61222 28418 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830492 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3584.14
Current children cumulated vsize (KiB) 552680
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.88 3.88 4.10 5/113 18589
/proc/meminfo: memFree=628172/3368532 swapFree=1959840/1959888
[pid=15376] ppid=15374 vsize=552680 CPUtime=3803.32
/proc/15376/stat : 15376 (gnovelty+) R 15374 15376 7955 0 -1 4202496 21697 0 0 0 259411 120921 0 0 16 0 4 0 1109020192 565944320 21653 4294967295 134512640 135680988 3215644160 3215643404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/15376/statm: 138170 21653 103 286 0 137882 0
[pid=15376/tid=15378] ppid=15374 vsize=552680 CPUtime=953.29
/proc/15376/task/15378/stat : 15378 (gnovelty+) R 15374 15376 7955 0 -1 4202560 325 0 0 0 65496 29833 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3075711324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=552680 CPUtime=947.82
/proc/15376/task/15379/stat : 15379 (gnovelty+) S 15374 15376 7955 0 -1 4202560 332 0 0 0 63778 31004 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3064770908 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=552680 CPUtime=951.31
/proc/15376/task/15380/stat : 15380 (gnovelty+) R 15374 15376 7955 0 -1 4202560 333 0 0 0 64947 30184 0 0 15 0 4 0 1109020222 565944320 21653 4294967295 134512640 135680988 3215644160 3053830444 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3803.32
Current children cumulated vsize (KiB) 552680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 3803.4
CPU user time (s): 2594.15
CPU system time (s): 1209.25
CPU usage (%): 380.327
Max. virtual memory (cumulated for all children) (KiB): 552680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2594.15
system time used= 1209.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21697
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= 57310505
involuntary context switches= 135805
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on at 2009-05-27 18:59:34
IDJOB=1777351
IDBENCH=70299
IDSOLVER=617
FILE ID=/1777351-1243443574
PBS_JOBID=
Free space on /tmp= 7987 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777351-1243443574/watcher-1777351-1243443574 -o /tmp/evaluation-result-1777351-1243443574/solver-1777351-1243443574 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777351-1243443574.cnf 1733404607 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 17df6005fb09e0a5c9a1d88e4e3ac572
RANDOM SEED= 1733404607
Linux (none) 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.073
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.073
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.12
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.073
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.073
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.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 714816 kB
Buffers: 41336 kB
Cached: 2431064 kB
SwapCached: 0 kB
Active: 1299672 kB
Inactive: 1192104 kB
HighTotal: 2489216 kB
HighFree: 453184 kB
LowTotal: 879316 kB
LowFree: 261632 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 2072 kB
Writeback: 0 kB
AnonPages: 19156 kB
Mapped: 7724 kB
Slab: 151684 kB
SReclaimable: 138220 kB
SUnreclaim: 13464 kB
PageTables: 672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7987 MiB
End job on at 2009-05-27 19:16:16