runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778338-1243477806/watcher-1778338-1243477806 -o /tmp/evaluation-result-1778338-1243477806/solver-1778338-1243477806 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778338-1243477806.cnf 1112636920 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.53 3.77 3.79 2/96 3856
/proc/meminfo: memFree=3030812/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=509228 CPUtime=0.01
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 2285 0 0 0 0 1 0 0 20 0 1 0 1101881790 521449472 2241 4294967295 134512640 135680988 3220882176 3220881440 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3856/statm: 127307 2241 99 286 0 127019 0
[startup+0.076624 s]
/proc/loadavg: 3.53 3.77 3.79 2/96 3856
/proc/meminfo: memFree=3030812/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=517040 CPUtime=0.08
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 17843 0 0 0 4 4 0 0 20 0 1 0 1101881790 529448960 17799 4294967295 134512640 135680988 3220882176 3220881440 134537779 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3856/statm: 129260 17810 99 286 0 128972 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 517040
[startup+0.106614 s]
/proc/loadavg: 3.53 3.77 3.79 2/96 3856
/proc/meminfo: memFree=3030812/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=0.11
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19789 0 0 0 7 4 0 0 22 0 4 0 1101881790 558895104 19744 4294967295 134512640 135680988 3220882176 3220881436 134997786 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19744 103 286 0 136161 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 545796
[startup+0.306598 s]
/proc/loadavg: 3.53 3.77 3.79 2/96 3856
/proc/meminfo: memFree=3030812/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=0.83
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19792 0 0 0 44 39 0 0 20 0 4 0 1101881790 558895104 19747 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19747 103 286 0 136161 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 545796
[startup+0.706571 s]
/proc/loadavg: 3.53 3.77 3.79 2/96 3856
/proc/meminfo: memFree=3030812/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=2.24
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19792 0 0 0 110 114 0 0 17 0 4 0 1101881790 558895104 19747 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19747 103 286 0 136161 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 545796
[startup+1.50657 s]
/proc/loadavg: 3.53 3.77 3.79 5/100 3860
/proc/meminfo: memFree=2960340/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=5.16
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19793 0 0 0 246 270 0 0 15 0 4 0 1101881790 558895104 19748 4294967295 134512640 135680988 3220882176 3220881372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19748 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=1.27
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 61 66 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=1.21
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 58 63 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=1.28
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 60 68 0 0 15 0 4 0 1101881800 558895104 19748 4294967295 134512640 135680988 3220882176 3058647340 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 545796
[startup+3.10641 s]
/proc/loadavg: 3.53 3.77 3.79 5/100 3860
/proc/meminfo: memFree=2960192/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=10.75
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19793 0 0 0 552 523 0 0 15 0 4 0 1101881790 558895104 19748 4294967295 134512640 135680988 3220882176 3220881372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19748 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=2.51
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 121 130 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=2.52
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 127 125 0 0 16 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=2.8
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 148 132 0 0 16 0 4 0 1101881800 558895104 19748 4294967295 134512640 135680988 3220882176 3058647340 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 545796
[startup+6.30625 s]
/proc/loadavg: 3.56 3.77 3.79 5/100 3860
/proc/meminfo: memFree=2960092/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=22.54
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19793 0 0 0 1127 1127 0 0 15 0 4 0 1101881790 558895104 19748 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19748 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=5.46
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 265 281 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=5.52
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 266 286 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=5.73
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 293 280 0 0 15 0 4 0 1101881800 558895104 19748 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.54
Current children cumulated vsize (KiB) 545796
[startup+12.7158 s]
/proc/loadavg: 3.52 3.76 3.79 5/100 3861
/proc/meminfo: memFree=2960032/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=46.31
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19793 0 0 0 2309 2322 0 0 15 0 4 0 1101881790 558895104 19748 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19748 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=11.48
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 570 578 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=11.52
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 562 590 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=11.62
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 590 572 0 0 15 0 4 0 1101881800 558895104 19748 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.31
Current children cumulated vsize (KiB) 545796
[startup+25.5147 s]
/proc/loadavg: 3.62 3.77 3.79 5/100 4045
/proc/meminfo: memFree=2960248/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=92.6
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19793 0 0 0 4628 4632 0 0 15 0 4 0 1101881790 558895104 19748 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3856/statm: 136449 19748 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=23.43
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 1168 1175 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=22.75
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 1120 1155 0 0 15 0 4 0 1101881799 558895104 19748 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=23.13
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 1151 1162 0 0 15 0 4 0 1101881800 558895104 19748 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 92.6
Current children cumulated vsize (KiB) 545796
[startup+51.1132 s]
/proc/loadavg: 3.75 3.78 3.80 5/100 4048
/proc/meminfo: memFree=2960096/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=187.04
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 9328 9376 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=47
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 2335 2365 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=46.62
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 2308 2354 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=46.8
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 2339 2341 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 187.04
Current children cumulated vsize (KiB) 545796
[startup+102.31 s]
/proc/loadavg: 3.73 3.77 3.79 5/100 4234
/proc/meminfo: memFree=2960096/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=374.98
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 18754 18744 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=94.08
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 4695 4713 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=93.44
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 4561 4783 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=93.44
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 4663 4681 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 374.98
Current children cumulated vsize (KiB) 545796
[startup+162.306 s]
/proc/loadavg: 3.83 3.78 3.79 6/100 4426
/proc/meminfo: memFree=2959476/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=594.83
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 29597 29886 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=149.34
/proc/3856/task/3858/stat : 3858 (gnovelty+) S 3854 3856 15881 0 -1 4202560 6 0 0 0 7464 7470 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=148.01
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 7231 7570 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039468 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=148.16
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 7324 7492 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 594.83
Current children cumulated vsize (KiB) 545796
[startup+222.311 s]
/proc/loadavg: 3.79 3.79 3.79 5/100 4614
/proc/meminfo: memFree=2959320/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=815.01
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 40483 41018 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=204.25
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 10203 10222 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431596 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=203.29
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 9950 10379 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039468 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=203.08
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 10043 10265 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 815.01
Current children cumulated vsize (KiB) 545796
[startup+282.308 s]
/proc/loadavg: 3.80 3.79 3.79 5/100 4803
/proc/meminfo: memFree=2959436/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=1033.15
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 51547 51768 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=258.51
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 12935 12916 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=257.58
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 12710 13048 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=3856] ppid=3854 vsize=545796 CPUtime=1474.65
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 73597 73868 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=368.71
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 18379 18492 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=368.7
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 18260 18610 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=368.47
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 18429 18418 0 0 16 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1474.65
Current children cumulated vsize (KiB) 545796
[startup+462.315 s]
/proc/loadavg: 3.68 3.78 3.79 5/100 5367
/proc/meminfo: memFree=2959568/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=1694.51
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 84498 84953 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=423.33
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 21073 21260 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=423.49
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 21014 21335 0 0 16 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=423.61
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 21152 21209 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1694.51
Current children cumulated vsize (KiB) 545796
[startup+522.311 s]
/proc/loadavg: 3.63 3.75 3.78 5/100 5559
/proc/meminfo: memFree=2959072/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=1914.79
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 95349 96130 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881372 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=478.19
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 23784 24035 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=478.55
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 23699 24156 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=478.53
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 23866 23987 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1914.79
Current children cumulated vsize (KiB) 545796
[startup+582.307 s]
/proc/loadavg: 3.73 3.75 3.78 5/100 5748
/proc/meminfo: memFree=2959188/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=2135.2
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 106259 107261 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=533.13
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 26470 26843 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431596 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=533.41
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 26398 26943 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=533.98
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 26607 26791 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2135.2
Current children cumulated vsize (KiB) 545796
[startup+642.313 s]
/proc/loadavg: 3.75 3.75 3.77 5/100 5935
/proc/meminfo: memFree=2958840/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=2355.36
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 117088 118448 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=588.09
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 29147 29662 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431596 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=588.49
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 29074 29775 0 0 16 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=589.18
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 29383 29535 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2355.36
Current children cumulated vsize (KiB) 545796
[startup+702.309 s]
/proc/loadavg: 3.85 3.77 3.77 5/100 6122
/proc/meminfo: memFree=2958980/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=2575.27
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 128035 129492 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=642.94
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 31892 32402 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=643.47
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 31762 32585 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=643.86
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 32145 32241 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2575.27
Current children cumulated vsize (KiB) 545796
[startup+762.314 s]
/proc/loadavg: 3.94 3.80 3.79 5/100 6310
/proc/meminfo: memFree=2959444/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=2794.5
/proc/3856/stat : 3856 (gnovelty+) S 3854 3856 15881 0 -1 4202496 19794 0 0 0 138798 140652 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=697.4
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 34543 35197 0 0 16 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431660 134997786 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=698.18
/proc/3856/task/3859/stat : 3859 (gnovelty+) S 3854 3856 15881 0 -1 4202560 6 0 0 0 34433 35385 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=699.26
/proc/3856/task/3860/stat : 3860 (gnovelty+) S 3854 3856 15881 0 -1 4202560 6 0 0 0 34906 35020 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2794.5
Current children cumulated vsize (KiB) 545796
[startup+822.31 s]
/proc/loadavg: 3.93 3.82 3.79 5/100 6498
/proc/meminfo: memFree=2959692/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=3013.47
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 149814 151533 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=752.04
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 37301 37903 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=752.92
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 37201 38091 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=754.1
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 37626 37784 0 0 16 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3013.47
Current children cumulated vsize (KiB) 545796
[startup+882.306 s]
/proc/loadavg: 3.85 3.82 3.79 4/100 6691
/proc/meminfo: memFree=2959320/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=3234.38
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 160705 162733 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881372 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=807.62
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 40006 40756 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=807.64
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 39914 40850 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=809.2
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 40420 40500 0 0 16 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3234.38
Current children cumulated vsize (KiB) 545796
[startup+942.312 s]
/proc/loadavg: 3.79 3.82 3.79 5/100 6878
/proc/meminfo: memFree=2959444/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=3454.26
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 171742 173684 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=862.9
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 42849 43441 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=862.57
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 42632 43625 0 0 16 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=864.12
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 43154 43258 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3454.26
Current children cumulated vsize (KiB) 545796
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 3.82 3.82 3.79 5/100 7065
/proc/meminfo: memFree=2959732/3368532 swapFree=1954076/1959888
[pid=3856] ppid=3854 vsize=545796 CPUtime=3665.69
/proc/3856/stat : 3856 (gnovelty+) R 3854 3856 15881 0 -1 4202496 19794 0 0 0 182430 184139 0 0 15 0 4 0 1101881790 558895104 19749 4294967295 134512640 135680988 3220882176 3220881420 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3856/statm: 136449 19749 103 286 0 136161 0
[pid=3856/tid=3858] ppid=3854 vsize=545796 CPUtime=915.98
/proc/3856/task/3858/stat : 3858 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 45524 46074 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3077431644 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3856/tid=3859] ppid=3854 vsize=545796 CPUtime=916.01
/proc/3856/task/3859/stat : 3859 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 45418 46183 0 0 15 0 4 0 1101881799 558895104 19749 4294967295 134512640 135680988 3220882176 3068039516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3856/tid=3860] ppid=3854 vsize=545796 CPUtime=916.06
/proc/3856/task/3860/stat : 3860 (gnovelty+) R 3854 3856 15881 0 -1 4202560 6 0 0 0 45745 45861 0 0 15 0 4 0 1101881800 558895104 19749 4294967295 134512640 135680988 3220882176 3058647388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3665.69
Current children cumulated vsize (KiB) 545796
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): 3665.75
CPU user time (s): 1824.33
CPU system time (s): 1841.42
CPU usage (%): 366.559
Max. virtual memory (cumulated for all children) (KiB): 545796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1824.33
system time used= 1841.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19794
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= 108405829
involuntary context switches= 260647
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi44 at 2009-05-28 04:30:06
IDJOB=1778338
IDBENCH=70628
IDSOLVER=617
FILE ID=tipi44/1778338-1243477806
PBS_JOBID=
Free space on /tmp= 15894 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/380/unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778338-1243477806/watcher-1778338-1243477806 -o /tmp/evaluation-result-1778338-1243477806/solver-1778338-1243477806 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778338-1243477806.cnf 1112636920 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 29b15a76839bb4e367777518dfae2822
RANDOM SEED= 1112636920
Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3039100 kB
Buffers: 130920 kB
Cached: 91608 kB
SwapCached: 2180 kB
Active: 88520 kB
Inactive: 143688 kB
HighTotal: 2489216 kB
HighFree: 2385484 kB
LowTotal: 879316 kB
LowFree: 653616 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 1352 kB
Writeback: 0 kB
AnonPages: 8684 kB
Mapped: 3388 kB
Slab: 86964 kB
SReclaimable: 77200 kB
SUnreclaim: 9764 kB
PageTables: 496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 87888 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15894 MiB
End job on tipi44 at 2009-05-28 04:46:49