runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777609-1243451646/watcher-1777609-1243451646 -o /tmp/evaluation-result-1777609-1243451646/solver-1777609-1243451646 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777609-1243451646.cnf 726134667 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.06 4.04 3.95 3/109 8986
/proc/meminfo: memFree=711984/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=509232 CPUtime=0.01
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 1398 0 0 0 1 0 0 0 18 0 1 0 1109827410 521453568 1355 4294967295 134512640 135680988 3220400768 3220400032 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/8986/statm: 127308 1363 99 286 0 127020 0
[startup+0.103832 s]
/proc/loadavg: 4.06 4.04 3.95 3/109 8986
/proc/meminfo: memFree=711984/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=0.11
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19791 0 0 0 6 5 0 0 20 0 4 0 1109827410 558903296 19746 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19746 103 286 0 136163 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 545804
[startup+0.213883 s]
/proc/loadavg: 4.06 4.04 3.95 3/109 8986
/proc/meminfo: memFree=711984/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=0.52
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 38 14 0 0 18 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 545804
[startup+0.313818 s]
/proc/loadavg: 4.06 4.04 3.95 3/109 8986
/proc/meminfo: memFree=711984/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=0.92
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 67 25 0 0 18 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400100 134533852 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 545804
[startup+0.713883 s]
/proc/loadavg: 4.06 4.04 3.95 3/109 8986
/proc/meminfo: memFree=711984/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2.48
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 190 58 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 545804
[startup+1.514 s]
/proc/loadavg: 4.06 4.04 3.95 7/113 8990
/proc/meminfo: memFree=633988/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=5.57
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 450 107 0 0 16 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=1.38
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 110 28 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=1.37
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 113 24 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=1.36
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 112 24 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 545804
[startup+3.11369 s]
/proc/loadavg: 4.06 4.04 3.95 5/113 8990
/proc/meminfo: memFree=633492/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=11.86
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 953 233 0 0 16 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=2.97
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 236 61 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=2.92
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 243 49 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=2.94
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 235 59 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 545804
[startup+6.31359 s]
/proc/loadavg: 4.06 4.04 3.95 5/113 8990
/proc/meminfo: memFree=633400/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=24.14
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 1946 468 0 0 16 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=6.08
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 498 110 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=6.01
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 489 112 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=6.07
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 496 111 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.14
Current children cumulated vsize (KiB) 545804
[startup+12.7133 s]
/proc/loadavg: 3.97 4.02 3.94 5/113 8990
/proc/meminfo: memFree=633428/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=48.96
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 3971 925 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=12.22
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 1007 215 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=12.24
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 994 230 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=12.3
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 1002 228 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.96
Current children cumulated vsize (KiB) 545804
[startup+25.5125 s]
/proc/loadavg: 3.98 4.02 3.94 5/113 8990
/proc/meminfo: memFree=633524/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=98.56
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 7949 1907 0 0 16 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=24.61
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 2023 438 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=24.69
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 1988 481 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=24.72
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 1993 479 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.56
Current children cumulated vsize (KiB) 545804
[startup+51.1115 s]
/proc/loadavg: 3.90 4.00 3.94 5/113 8994
/proc/meminfo: memFree=633284/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=196.94
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 15859 3835 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=48.67
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 3977 890 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=49.73
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 3969 1004 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=49.31
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 3976 955 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 196.94
Current children cumulated vsize (KiB) 545804
[startup+102.309 s]
/proc/loadavg: 4.01 4.01 3.94 5/113 9179
/proc/meminfo: memFree=632664/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=394.26
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 31855 7571 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=98.3
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 7996 1834 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=99.2
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 7996 1924 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=98.69
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 7957 1912 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 394.26
Current children cumulated vsize (KiB) 545804
[startup+162.315 s]
/proc/loadavg: 4.00 4.01 3.94 5/113 9368
/proc/meminfo: memFree=632664/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=625.34
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 50479 12055 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=156
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 12641 2959 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=156.43
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 12638 3005 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=156.45
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 12562 3083 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 625.34
Current children cumulated vsize (KiB) 545804
[startup+222.322 s]
/proc/loadavg: 4.07 4.02 3.95 5/113 9559
/proc/meminfo: memFree=632656/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=855.05
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 69174 16331 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=214.07
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 17401 4006 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=213.88
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 17316 4072 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=213.46
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 17215 4131 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 855.05
Current children cumulated vsize (KiB) 545804
[startup+282.309 s]
/proc/loadavg: 4.15 4.04 3.96 5/113 9747
/proc/meminfo: memFree=632416/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=1087.65
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 87829 20936 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=272.34
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 22025 5209 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=272.09
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 22037 5172 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=8986] ppid=8984 vsize=545804 CPUtime=1780.12
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 143561 34451 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=445.7
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 35969 8601 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=445.64
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 36052 8512 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=444.06
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 35711 8695 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1780.12
Current children cumulated vsize (KiB) 545804
[startup+522.317 s]
/proc/loadavg: 4.00 4.04 3.97 5/113 10504
/proc/meminfo: memFree=632780/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2011.57
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 162206 38951 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=503.17
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 40607 9710 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=503.05
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 40695 9610 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=502.22
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 40370 9852 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2011.57
Current children cumulated vsize (KiB) 545804
[startup+582.314 s]
/proc/loadavg: 4.03 4.04 3.98 5/113 10692
/proc/meminfo: memFree=632664/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2243.57
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 180775 43582 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=561.45
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 45241 10904 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=560.57
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 45320 10737 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=560.78
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 45042 11036 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2243.57
Current children cumulated vsize (KiB) 545804
[startup+642.31 s]
/proc/loadavg: 4.01 4.03 3.98 6/113 10878
/proc/meminfo: memFree=632664/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2475.29
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 199355 48174 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=619.31
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 49868 12063 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=618.87
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 50028 11859 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=618.86
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 49674 12212 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2475.29
Current children cumulated vsize (KiB) 545804
[startup+702.307 s]
/proc/loadavg: 4.00 4.03 3.98 5/113 11070
/proc/meminfo: memFree=632168/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2705.15
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 217780 52735 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=676.61
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 54461 13200 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=675.97
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 54597 13000 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=676.82
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 54325 13357 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2705.15
Current children cumulated vsize (KiB) 545804
[startup+762.304 s]
/proc/loadavg: 3.99 4.02 3.98 5/113 11259
/proc/meminfo: memFree=632788/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=2937.05
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 236473 57232 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=735.11
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 59153 14358 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=733.82
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 59274 14108 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=734.46
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 58933 14513 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2937.05
Current children cumulated vsize (KiB) 545804
[startup+822.301 s]
/proc/loadavg: 4.04 4.03 3.98 5/113 11447
/proc/meminfo: memFree=633028/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=3167.63
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 255056 61707 0 0 16 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=792.7
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 63762 15508 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=791.2
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 63937 15183 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=792.18
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 63598 15620 0 0 16 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044788 134534348 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3167.63
Current children cumulated vsize (KiB) 545804
[startup+882.318 s]
/proc/loadavg: 3.96 4.00 3.98 5/113 11635
/proc/meminfo: memFree=632912/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=3398.66
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 273640 66226 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=850.06
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 68383 16623 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=849.08
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 68609 16299 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=850.3
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 68265 16765 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3398.66
Current children cumulated vsize (KiB) 545804
[startup+942.315 s]
/proc/loadavg: 3.98 4.00 3.98 5/113 11821
/proc/meminfo: memFree=632788/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=3627.9
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 292132 70658 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=907.39
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 72917 17822 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=906.03
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 73265 17338 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=907.99
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 72948 17851 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3627.9
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.88 3.97 3.97 5/113 12009
/proc/meminfo: memFree=632416/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=3851.12
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 310033 75079 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=963.53
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 77400 18953 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=961.73
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 77738 18435 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=963.14
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 77353 18961 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3851.12
Current children cumulated vsize (KiB) 545804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.01 s]
/proc/loadavg: 3.88 3.97 3.97 5/113 12009
/proc/meminfo: memFree=632416/3368532 swapFree=1959840/1959888
[pid=8986] ppid=8984 vsize=545804 CPUtime=3851.12
/proc/8986/stat : 8986 (gnovelty+) R 8984 8986 7955 0 -1 4202496 19796 0 0 0 310033 75079 0 0 15 0 4 0 1109827410 558903296 19751 4294967295 134512640 135680988 3220400768 3220400012 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8986/statm: 136451 19751 103 286 0 136163 0
[pid=8986/tid=8988] ppid=8984 vsize=545804 CPUtime=963.53
/proc/8986/task/8988/stat : 8988 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 77400 18953 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3077828956 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8986/tid=8989] ppid=8984 vsize=545804 CPUtime=961.73
/proc/8986/task/8989/stat : 8989 (gnovelty+) R 8984 8986 7955 0 -1 4202560 5 0 0 0 77738 18435 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3068436828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8986/tid=8990] ppid=8984 vsize=545804 CPUtime=963.14
/proc/8986/task/8990/stat : 8990 (gnovelty+) R 8984 8986 7955 0 -1 4202560 4 0 0 0 77353 18961 0 0 15 0 4 0 1109827419 558903296 19751 4294967295 134512640 135680988 3220400768 3059044700 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3851.12
Current children cumulated vsize (KiB) 545804
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3851.19
CPU user time (s): 3100.39
CPU system time (s): 750.8
CPU usage (%): 385.105
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3100.39
system time used= 750.8
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19796
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= 32530510
involuntary context switches= 83211
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on at 2009-05-27 21:14:06
IDJOB=1777609
IDBENCH=70385
IDSOLVER=617
FILE ID=/1777609-1243451646
PBS_JOBID=
Free space on /tmp= 7988 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/90/unif-k5-r21.3-v90-c1917-S122462268-047.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777609-1243451646/watcher-1777609-1243451646 -o /tmp/evaluation-result-1777609-1243451646/solver-1777609-1243451646 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777609-1243451646.cnf 726134667 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 5d0778d9bbd17c145825bd8d03b4a06d
RANDOM SEED= 726134667
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: 711984 kB
Buffers: 41560 kB
Cached: 2433860 kB
SwapCached: 0 kB
Active: 1299148 kB
Inactive: 1195456 kB
HighTotal: 2489216 kB
HighFree: 450716 kB
LowTotal: 879316 kB
LowFree: 261268 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1388 kB
Writeback: 0 kB
AnonPages: 18964 kB
Mapped: 7552 kB
Slab: 152184 kB
SReclaimable: 138360 kB
SUnreclaim: 13824 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7988 MiB
End job on at 2009-05-27 21:30:46