runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778194-1243469781/watcher-1778194-1243469781 -o /tmp/evaluation-result-1778194-1243469781/solver-1778194-1243469781 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778194-1243469781.cnf 1444495772 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.44 3.72 3.77 3/96 10627
/proc/meminfo: memFree=3038800/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=509228 CPUtime=0
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 1378 0 0 0 0 0 0 0 18 0 1 0 1101079222 521449472 1335 4294967295 134512640 135680988 3216754448 3216753712 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10627/statm: 127307 1344 99 286 0 127019 0
[startup+0.094865 s]
/proc/loadavg: 3.44 3.72 3.77 3/96 10627
/proc/meminfo: memFree=3038800/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=0.09
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19789 0 0 0 2 7 0 0 20 0 4 0 1101079222 558899200 19745 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19745 103 286 0 136162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 545800
[startup+0.114943 s]
/proc/loadavg: 3.44 3.72 3.77 3/96 10627
/proc/meminfo: memFree=3038800/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=0.15
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19794 0 0 0 5 10 0 0 19 0 4 0 1101079222 558899200 19750 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19750 103 286 0 136162 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 545800
[startup+0.31483 s]
/proc/loadavg: 3.44 3.72 3.77 3/96 10627
/proc/meminfo: memFree=3038800/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=0.89
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19794 0 0 0 49 40 0 0 18 0 4 0 1101079222 558899200 19750 4294967295 134512640 135680988 3216754448 3216753780 134534803 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19750 103 286 0 136162 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 545800
[startup+0.714814 s]
/proc/loadavg: 3.44 3.72 3.77 3/96 10627
/proc/meminfo: memFree=3038800/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=2.45
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19794 0 0 0 141 104 0 0 15 0 4 0 1101079222 558899200 19750 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19750 103 286 0 136162 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 545800
[startup+1.51475 s]
/proc/loadavg: 3.44 3.72 3.77 5/100 10631
/proc/meminfo: memFree=2959940/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=5.34
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19794 0 0 0 301 233 0 0 15 0 4 0 1101079222 558899200 19750 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19750 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=1.33
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 75 58 0 0 16 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=1.37
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 80 57 0 0 15 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=1.33
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 73 60 0 0 15 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 545800
[startup+3.11471 s]
/proc/loadavg: 3.44 3.72 3.77 7/101 10813
/proc/meminfo: memFree=2959140/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=10.64
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19794 0 0 0 646 418 0 0 15 0 4 0 1101079222 558899200 19750 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19750 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=2.54
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 148 106 0 0 15 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=2.73
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 174 99 0 0 15 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=2.8
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 165 115 0 0 16 0 4 0 1101079230 558899200 19750 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 545800
[startup+6.31442 s]
/proc/loadavg: 3.49 3.72 3.78 5/100 10814
/proc/meminfo: memFree=2959388/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=22.73
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 1356 917 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=5.51
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 305 246 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=5.78
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 360 218 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=5.84
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 340 244 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.73
Current children cumulated vsize (KiB) 545800
[startup+12.7141 s]
/proc/loadavg: 3.53 3.73 3.78 5/100 10815
/proc/meminfo: memFree=2959476/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=46.85
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 2705 1980 0 0 16 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=11.55
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 629 526 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=11.89
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 721 468 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=11.84
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 659 525 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.85
Current children cumulated vsize (KiB) 545800
[startup+25.5131 s]
/proc/loadavg: 3.47 3.71 3.77 5/100 10816
/proc/meminfo: memFree=2959696/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=94.5
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 5323 4127 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=23.48
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 1303 1045 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=23.67
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 1356 1011 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=23.69
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 1306 1063 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 94.5
Current children cumulated vsize (KiB) 545800
[startup+51.1114 s]
/proc/loadavg: 3.58 3.71 3.77 5/100 10822
/proc/meminfo: memFree=2959232/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=189.18
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 10588 8330 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=47.18
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 2597 2121 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=47.29
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 2702 2027 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=47.41
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 2612 2129 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 189.18
Current children cumulated vsize (KiB) 545800
[startup+102.308 s]
/proc/loadavg: 3.75 3.74 3.77 5/100 11008
/proc/meminfo: memFree=2959596/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=378.71
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 21224 16647 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=94.28
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 5226 4202 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=94.96
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 5424 4072 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=94.44
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 5240 4204 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876716 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 378.71
Current children cumulated vsize (KiB) 545800
[startup+162.304 s]
/proc/loadavg: 3.87 3.77 3.78 5/100 11200
/proc/meminfo: memFree=2959976/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=600.72
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 33625 26447 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=150.47
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 8360 6687 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=150.5
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 8559 6491 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=149.65
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 8288 6677 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 600.72
Current children cumulated vsize (KiB) 545800
[startup+222.31 s]
/proc/loadavg: 3.78 3.75 3.77 5/100 11388
/proc/meminfo: memFree=2959480/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=822.94
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 45848 36446 0 0 16 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=205.37
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 11393 9144 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=206.05
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 11581 9024 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=205.76
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 11331 9245 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 822.94
Current children cumulated vsize (KiB) 545800
[startup+282.306 s]
/proc/loadavg: 3.77 3.76 3.77 6/100 11577
/proc/meminfo: memFree=2959472/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=1045.74
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 58259 46315 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=260.62
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 14475 11587 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=262.33
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 14738 11495 0 0 16 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=10627] ppid=10625 vsize=545800 CPUtime=1490.65
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 83183 65882 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=371.47
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 20656 16491 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=374.53
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 20981 16472 0 0 16 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=372.49
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 20709 16540 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1490.65
Current children cumulated vsize (KiB) 545800
[startup+462.314 s]
/proc/loadavg: 3.88 3.80 3.78 5/100 12141
/proc/meminfo: memFree=2959844/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=1712.79
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 95469 75810 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=427.62
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 23745 19017 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=429.29
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 24015 18914 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=427.36
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 23692 19044 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1712.79
Current children cumulated vsize (KiB) 545800
[startup+522.31 s]
/proc/loadavg: 3.80 3.79 3.77 6/100 12333
/proc/meminfo: memFree=2959728/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=1937.59
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 107832 85927 0 0 16 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=483.92
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 26850 21542 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077660972 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=485.66
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 27091 21475 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=483.38
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 26768 21570 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1937.59
Current children cumulated vsize (KiB) 545800
[startup+582.315 s]
/proc/loadavg: 3.85 3.81 3.78 5/100 12522
/proc/meminfo: memFree=2959968/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=2161.27
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 120200 95927 0 0 16 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=540.26
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 29949 24077 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=541.29
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 30172 23957 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=539.46
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 29880 24066 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2161.27
Current children cumulated vsize (KiB) 545800
[startup+642.312 s]
/proc/loadavg: 4.06 3.87 3.80 5/100 12709
/proc/meminfo: memFree=2960084/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=2383.69
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 132573 105796 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=596.82
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 33106 26576 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=596.31
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 33210 26421 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=594.76
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 32943 26533 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2383.69
Current children cumulated vsize (KiB) 545800
[startup+702.307 s]
/proc/loadavg: 3.85 3.85 3.80 5/100 12896
/proc/meminfo: memFree=2959968/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=2608.27
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 145062 115765 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=652.62
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 36181 29081 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=652.2
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 36304 28916 0 0 16 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=651.16
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 36141 28975 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2608.27
Current children cumulated vsize (KiB) 545800
[startup+762.323 s]
/proc/loadavg: 3.94 3.87 3.81 5/100 13084
/proc/meminfo: memFree=2959844/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=2832.28
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 157305 125923 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=708.72
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 39223 31649 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=707.99
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 39343 31456 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=707.45
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 39222 31523 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2832.28
Current children cumulated vsize (KiB) 545800
[startup+822.309 s]
/proc/loadavg: 3.80 3.85 3.81 5/100 13272
/proc/meminfo: memFree=2959976/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=3054.34
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 169499 135935 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=765.21
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 42295 34226 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=763.52
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 42415 33937 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=762.15
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 42190 34025 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3054.34
Current children cumulated vsize (KiB) 545800
[startup+882.305 s]
/proc/loadavg: 3.89 3.86 3.81 5/100 13465
/proc/meminfo: memFree=2960092/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=3276.89
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 181862 145827 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753644 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=820.16
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 45281 36735 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=818.05
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 45448 36357 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=818.54
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 45308 36546 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3276.89
Current children cumulated vsize (KiB) 545800
[startup+942.301 s]
/proc/loadavg: 3.82 3.84 3.81 5/100 13652
/proc/meminfo: memFree=2959960/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=3500.88
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 194234 155854 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=876.26
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 48364 39262 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=874.16
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 48544 38872 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=874.49
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 48393 39056 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3500.88
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 3.87 3.85 3.81 5/100 13839
/proc/meminfo: memFree=2959852/3368532 swapFree=1954076/1959888
[pid=10627] ppid=10625 vsize=545800 CPUtime=3715.21
/proc/10627/stat : 10627 (gnovelty+) R 10625 10627 15881 0 -1 4202496 19795 0 0 0 206098 165423 0 0 15 0 4 0 1101079222 558899200 19751 4294967295 134512640 135680988 3216754448 3216753692 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10627/statm: 136450 19751 103 286 0 136162 0
[pid=10627/tid=10629] ppid=10625 vsize=545800 CPUtime=929.66
/proc/10627/task/10629/stat : 10629 (gnovelty+) R 10625 10627 15881 0 -1 4202560 4 0 0 0 51308 41658 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3077661020 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10627/tid=10630] ppid=10625 vsize=545800 CPUtime=928.08
/proc/10627/task/10630/stat : 10630 (gnovelty+) R 10625 10627 15881 0 -1 4202560 5 0 0 0 51516 41292 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3068268892 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10627/tid=10631] ppid=10625 vsize=545800 CPUtime=927.92
/proc/10627/task/10631/stat : 10631 (gnovelty+) R 10625 10627 15881 0 -1 4202560 6 0 0 0 51345 41447 0 0 15 0 4 0 1101079230 558899200 19751 4294967295 134512640 135680988 3216754448 3058876764 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3715.21
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): 3715.25
CPU user time (s): 2061
CPU system time (s): 1654.25
CPU usage (%): 371.509
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2061
system time used= 1654.25
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= 91063229
involuntary context switches= 228841
runsolver used 0.04 second user time and 0 second system time
The end
Begin job on tipi44 at 2009-05-28 02:16:21
IDJOB=1778194
IDBENCH=70580
IDSOLVER=617
FILE ID=tipi44/1778194-1243469781
PBS_JOBID=
Free space on /tmp= 15894 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/400/unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778194-1243469781/watcher-1778194-1243469781 -o /tmp/evaluation-result-1778194-1243469781/solver-1778194-1243469781 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778194-1243469781.cnf 1444495772 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 1b93ff755afc24c2ba01a5f3cf1dc449
RANDOM SEED= 1444495772
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: 3039392 kB
Buffers: 130916 kB
Cached: 91536 kB
SwapCached: 2180 kB
Active: 88528 kB
Inactive: 143436 kB
HighTotal: 2489216 kB
HighFree: 2385808 kB
LowTotal: 879316 kB
LowFree: 653584 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 1364 kB
Writeback: 0 kB
AnonPages: 8816 kB
Mapped: 3332 kB
Slab: 86940 kB
SReclaimable: 77132 kB
SUnreclaim: 9808 kB
PageTables: 500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 87892 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 02:33:03