runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778179-1243468705/watcher-1778179-1243468705 -o /tmp/evaluation-result-1778179-1243468705/solver-1778179-1243468705 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778179-1243468705.cnf 1471885301 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.60 3.80 3.80 3/96 1573
/proc/meminfo: memFree=218788/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=509228 CPUtime=0
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 840 0 0 0 0 0 0 0 18 0 1 0 1111534613 521449472 797 4294967295 134512640 135680988 3219708384 3219707648 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/1573/statm: 127307 807 99 286 0 127019 0
[startup+0.018892 s]
/proc/loadavg: 3.60 3.80 3.80 3/96 1573
/proc/meminfo: memFree=218788/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=509228 CPUtime=0.02
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 6106 0 0 0 1 1 0 0 18 0 1 0 1111534613 521449472 6063 4294967295 134512640 135680988 3219708384 3219707648 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/1573/statm: 127307 6072 99 286 0 127019 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509228
[startup+0.108883 s]
/proc/loadavg: 3.60 3.80 3.80 3/96 1573
/proc/meminfo: memFree=218788/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=0.13
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19791 0 0 0 7 6 0 0 19 0 4 0 1111534613 558899200 19747 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19747 103 286 0 136162 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 545800
[startup+0.308868 s]
/proc/loadavg: 3.60 3.80 3.80 3/96 1573
/proc/meminfo: memFree=218788/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=0.81
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19794 0 0 0 46 35 0 0 17 0 4 0 1111534613 558899200 19750 4294967295 134512640 135680988 3219708384 3219707580 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19750 103 286 0 136162 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 545800
[startup+0.708835 s]
/proc/loadavg: 3.60 3.80 3.80 3/96 1573
/proc/meminfo: memFree=218788/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=2.32
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19794 0 0 0 126 106 0 0 15 0 4 0 1111534613 558899200 19750 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19750 103 286 0 136162 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 545800
[startup+1.50877 s]
/proc/loadavg: 3.60 3.80 3.80 5/100 1578
/proc/meminfo: memFree=140644/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=5.33
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 285 248 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=1.32
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 72 60 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=1.3
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 75 55 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752748 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=1.3
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 65 65 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 545800
[startup+3.10873 s]
/proc/loadavg: 3.60 3.80 3.80 5/100 1578
/proc/meminfo: memFree=140352/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=11.31
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 601 530 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707580 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=2.81
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 143 138 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=2.82
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 160 122 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=2.81
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 146 135 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 545800
[startup+6.30839 s]
/proc/loadavg: 3.63 3.80 3.80 5/100 1579
/proc/meminfo: memFree=140260/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=22.81
/proc/1573/stat : 1573 (gnovelty+) S 1571 1573 10015 0 -1 4202496 19795 0 0 0 1212 1069 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707580 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=5.74
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 302 272 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=5.54
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 308 246 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=5.82
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 296 286 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.81
Current children cumulated vsize (KiB) 545800
[startup+12.7078 s]
/proc/loadavg: 3.66 3.80 3.80 5/100 1579
/proc/meminfo: memFree=140044/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=46.66
/proc/1573/stat : 1573 (gnovelty+) S 1571 1573 10015 0 -1 4202496 19795 0 0 0 2508 2158 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=11.81
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 623 558 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144868 134998512 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=11.45
/proc/1573/task/1576/stat : 1576 (gnovelty+) S 1571 1573 10015 0 -1 4202560 5 0 0 0 626 519 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=11.73
/proc/1573/task/1577/stat : 1577 (gnovelty+) S 1571 1573 10015 0 -1 4202560 6 0 0 0 624 549 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.66
Current children cumulated vsize (KiB) 545800
[startup+25.5068 s]
/proc/loadavg: 3.74 3.81 3.80 5/100 1580
/proc/meminfo: memFree=140108/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=93.92
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 4987 4405 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707580 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=23.59
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 1238 1121 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144876 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=23.44
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 1264 1080 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=23.66
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 1242 1124 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360620 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 93.92
Current children cumulated vsize (KiB) 545800
[startup+51.1047 s]
/proc/loadavg: 3.76 3.81 3.80 4/100 1769
/proc/meminfo: memFree=138980/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=188.43
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 9947 8896 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=47.1
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 2506 2204 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=47.01
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 2494 2207 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=47.62
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 2486 2276 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 188.43
Current children cumulated vsize (KiB) 545800
[startup+102.311 s]
/proc/loadavg: 3.85 3.82 3.81 5/100 1773
/proc/meminfo: memFree=139396/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=378.21
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 19978 17843 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=94.63
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 5005 4458 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=94.44
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 5040 4404 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=95.11
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 4971 4540 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 378.21
Current children cumulated vsize (KiB) 545800
[startup+162.305 s]
/proc/loadavg: 3.96 3.85 3.82 4/100 1961
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=601.48
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 31816 28332 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=150.34
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 7975 7059 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=150.32
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 8021 7011 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=151.36
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 7970 7166 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 601.48
Current children cumulated vsize (KiB) 545800
[startup+222.31 s]
/proc/loadavg: 3.79 3.83 3.81 4/100 2148
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=824.75
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 43463 39012 0 0 16 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=206.15
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 10914 9701 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=206.04
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 10933 9671 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=207.65
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 10920 9845 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360620 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 824.75
Current children cumulated vsize (KiB) 545800
[startup+282.316 s]
/proc/loadavg: 3.83 3.83 3.81 5/100 2337
/proc/meminfo: memFree=139396/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=1045.94
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 55324 49270 0 0 16 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=261.46
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 13844 12302 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=260.74
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 13840 12234 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=1573] ppid=1571 vsize=545800 CPUtime=1488.89
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 78905 69984 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=372.49
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 19815 17434 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144876 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=371.54
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 19727 17427 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=373.61
/proc/1573/task/1577/stat : 1577 (gnovelty+) S 1571 1573 10015 0 -1 4202560 6 0 0 0 19806 17555 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1488.89
Current children cumulated vsize (KiB) 545800
[startup+462.31 s]
/proc/loadavg: 3.82 3.82 3.81 4/100 2918
/proc/meminfo: memFree=139520/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=1712.8
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 90697 80583 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=428.95
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 22799 20096 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=427.4
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 22651 20089 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=429.22
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 22756 20166 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1712.8
Current children cumulated vsize (KiB) 545800
[startup+522.305 s]
/proc/loadavg: 3.85 3.83 3.82 5/100 3106
/proc/meminfo: memFree=139520/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=1934.8
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 102571 90909 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=484.35
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 25761 22674 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=482.75
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 25616 22659 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=484.67
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 25674 22793 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1934.8
Current children cumulated vsize (KiB) 545800
[startup+582.31 s]
/proc/loadavg: 3.94 3.86 3.82 5/100 3297
/proc/meminfo: memFree=139644/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=2155.95
/proc/1573/stat : 1573 (gnovelty+) S 1571 1573 10015 0 -1 4202496 19795 0 0 0 114517 101078 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=539.33
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 28774 25159 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=538.34
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 28644 25190 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=540.24
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 28666 25358 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2155.95
Current children cumulated vsize (KiB) 545800
[startup+642.305 s]
/proc/loadavg: 3.98 3.88 3.83 6/100 3504
/proc/meminfo: memFree=139760/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=2377.67
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 126399 111368 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=594.02
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 31724 27678 0 0 16 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=594.27
/proc/1573/task/1576/stat : 1576 (gnovelty+) S 1571 1573 10015 0 -1 4202560 5 0 0 0 31610 27817 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=596.19
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 31674 27945 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2377.67
Current children cumulated vsize (KiB) 545800
[startup+702.31 s]
/proc/loadavg: 3.84 3.86 3.82 5/100 3699
/proc/meminfo: memFree=139768/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=2599.52
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 138272 121680 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=649.68
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 34687 30281 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=650.09
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 34623 30386 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=651.29
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 34594 30535 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2599.52
Current children cumulated vsize (KiB) 545800
[startup+762.305 s]
/proc/loadavg: 3.78 3.83 3.81 5/100 3891
/proc/meminfo: memFree=139892/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=2822.28
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 150185 132043 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=705.6
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 37664 32896 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=705.91
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 37627 32964 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=706.73
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 37565 33108 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2822.28
Current children cumulated vsize (KiB) 545800
[startup+822.31 s]
/proc/loadavg: 3.74 3.80 3.80 5/100 4078
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=3045.58
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 162141 142417 0 0 16 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=761.3
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 40669 35461 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=761.63
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 40642 35521 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752748 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=762.94
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 40522 35772 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.58
Current children cumulated vsize (KiB) 545800
[startup+882.315 s]
/proc/loadavg: 3.79 3.81 3.80 5/100 4268
/proc/meminfo: memFree=139396/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=3268.83
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 174146 152737 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=817.25
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 43650 38075 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=817.64
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 43697 38067 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=818.24
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 43505 38319 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360620 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3268.83
Current children cumulated vsize (KiB) 545800
[startup+942.31 s]
/proc/loadavg: 3.73 3.79 3.80 5/100 4455
/proc/meminfo: memFree=139388/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=3491.42
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 186151 162991 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=872.51
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 46577 40674 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144876 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=873.81
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 46710 40671 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=874.03
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 46549 40854 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3491.42
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 3.78 3.80 3.80 5/100 4643
/proc/meminfo: memFree=139520/3368532 swapFree=1953788/1959888
[pid=1573] ppid=1571 vsize=545800 CPUtime=3706.15
/proc/1573/stat : 1573 (gnovelty+) R 1571 1573 10015 0 -1 4202496 19795 0 0 0 197637 172978 0 0 15 0 4 0 1111534613 558899200 19751 4294967295 134512640 135680988 3219708384 3219707628 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1573/statm: 136450 19751 103 286 0 136162 0
[pid=1573/tid=1575] ppid=1571 vsize=545800 CPUtime=926.86
/proc/1573/task/1575/stat : 1575 (gnovelty+) R 1571 1573 10015 0 -1 4202560 4 0 0 0 49451 43235 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3077144924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1573/tid=1576] ppid=1571 vsize=545800 CPUtime=926.94
/proc/1573/task/1576/stat : 1576 (gnovelty+) R 1571 1573 10015 0 -1 4202560 5 0 0 0 49565 43129 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3067752796 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1573/tid=1577] ppid=1571 vsize=545800 CPUtime=927.85
/proc/1573/task/1577/stat : 1577 (gnovelty+) R 1571 1573 10015 0 -1 4202560 6 0 0 0 49463 43322 0 0 15 0 4 0 1111534621 558899200 19751 4294967295 134512640 135680988 3219708384 3058360668 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3706.15
Current children cumulated vsize (KiB) 545800
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.04
CPU time (s): 3706.2
CPU user time (s): 1976.39
CPU system time (s): 1729.81
CPU usage (%): 370.605
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1976.39
system time used= 1729.81
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19795
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= 97655671
involuntary context switches= 205089
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 01:58:25
IDJOB=1778179
IDBENCH=70575
IDSOLVER=617
FILE ID=/1778179-1243468705
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/400/unif-k3-r4.25-v400-c1700-S104085281-076.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778179-1243468705/watcher-1778179-1243468705 -o /tmp/evaluation-result-1778179-1243468705/solver-1778179-1243468705 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778179-1243468705.cnf 1471885301 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 5ab9251cccb4c72968393b6f409a56b6
RANDOM SEED= 1471885301
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.061
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.41
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.061
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.061
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.061
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: 219232 kB
Buffers: 47140 kB
Cached: 2932420 kB
SwapCached: 2256 kB
Active: 1721600 kB
Inactive: 1267308 kB
HighTotal: 2489216 kB
HighFree: 87624 kB
LowTotal: 879316 kB
LowFree: 131608 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1376 kB
Writeback: 0 kB
AnonPages: 8400 kB
Mapped: 3232 kB
Slab: 151260 kB
SReclaimable: 137732 kB
SUnreclaim: 13528 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88476 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-28 02:15:07