runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778221-1243471651/watcher-1778221-1243471651 -o /tmp/evaluation-result-1778221-1243471651/solver-1778221-1243471651 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778221-1243471651.cnf 561618798 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.51 3.76 3.79 3/115 26685
/proc/meminfo: memFree=3159788/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=509228 CPUtime=0.01
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 1778 0 0 0 1 0 0 0 18 0 1 0 1111844923 521449472 1735 4294967295 134512640 135680988 3217112928 3217112192 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26685/statm: 127307 1744 99 286 0 127019 0
[startup+0.052963 s]
/proc/loadavg: 3.51 3.76 3.79 3/115 26685
/proc/meminfo: memFree=3159788/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=517040 CPUtime=0.06
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 13936 0 0 0 4 2 0 0 18 0 1 0 1111844923 529448960 13893 4294967295 134512640 135680988 3217112928 3217112192 134537968 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26685/statm: 129260 13904 99 286 0 128972 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517040
[startup+0.112961 s]
/proc/loadavg: 3.51 3.76 3.79 3/115 26685
/proc/meminfo: memFree=3159788/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=0.13
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19800 0 0 0 10 3 0 0 19 0 4 0 1111844923 558899200 19756 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19756 103 286 0 136162 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 545800
[startup+0.312992 s]
/proc/loadavg: 3.51 3.76 3.79 3/115 26685
/proc/meminfo: memFree=3159788/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=0.85
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 45 40 0 0 17 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 545800
[startup+0.712979 s]
/proc/loadavg: 3.51 3.76 3.79 3/115 26685
/proc/meminfo: memFree=3159788/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=2.39
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 133 106 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 545800
[startup+1.51294 s]
/proc/loadavg: 3.51 3.76 3.79 5/119 26689
/proc/meminfo: memFree=3081124/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=5.36
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 280 256 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=1.32
/proc/26685/task/26687/stat : 26687 (gnovelty+) S 26683 26685 24991 0 -1 4202560 7 0 0 0 65 67 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=1.31
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 68 63 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=1.3
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 70 60 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 545800
[startup+3.11284 s]
/proc/loadavg: 3.51 3.76 3.79 5/119 26689
/proc/meminfo: memFree=3080876/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=11.12
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 607 505 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=2.83
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 148 135 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=2.83
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 157 126 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=2.69
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 146 123 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 545800
[startup+6.31275 s]
/proc/loadavg: 3.47 3.75 3.79 5/119 26689
/proc/meminfo: memFree=3080784/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=22.83
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 1270 1013 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=5.62
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 298 264 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=5.77
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 329 248 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=5.66
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 315 251 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.83
Current children cumulated vsize (KiB) 545800
[startup+12.7125 s]
/proc/loadavg: 3.51 3.75 3.79 5/119 26689
/proc/meminfo: memFree=3080568/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=46.62
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 2510 2152 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=11.67
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 626 541 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=11.76
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 629 547 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=11.54
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 616 538 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (KiB) 545800
[startup+25.512 s]
/proc/loadavg: 3.54 3.75 3.79 5/119 26690
/proc/meminfo: memFree=3080648/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=93.45
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 4971 4374 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=23.32
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 1256 1076 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=23.59
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 1257 1102 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=23.35
/proc/26685/task/26689/stat : 26689 (gnovelty+) S 26683 26685 24991 0 -1 4202560 7 0 0 0 1225 1110 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 93.45
Current children cumulated vsize (KiB) 545800
[startup+51.111 s]
/proc/loadavg: 3.55 3.74 3.78 5/119 26876
/proc/meminfo: memFree=3080708/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=187.9
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 9994 8796 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=46.87
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 2510 2177 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=47.32
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 2512 2220 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=46.78
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 2470 2208 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 187.9
Current children cumulated vsize (KiB) 545800
[startup+102.319 s]
/proc/loadavg: 3.74 3.76 3.79 5/119 27062
/proc/meminfo: memFree=3080544/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=375.81
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 19700 17881 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112124 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=93.89
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 4969 4420 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=94.69
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 5001 4468 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=93.86
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 4905 4481 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114284 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 375.81
Current children cumulated vsize (KiB) 545800
[startup+162.307 s]
/proc/loadavg: 3.82 3.78 3.79 6/119 27250
/proc/meminfo: memFree=3080692/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=596.5
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 31238 28412 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=149.29
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 7921 7008 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=149.33
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 7787 7146 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=148.74
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 7742 7132 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 596.5
Current children cumulated vsize (KiB) 545800
[startup+222.304 s]
/proc/loadavg: 3.74 3.77 3.79 5/119 27443
/proc/meminfo: memFree=3080436/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=817.58
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 42652 39106 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112124 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=204.33
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 10746 9687 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=204.84
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 10621 9863 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=203.86
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 10653 9733 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 817.58
Current children cumulated vsize (KiB) 545800
[startup+282.312 s]
/proc/loadavg: 3.77 3.77 3.78 4/119 27630
/proc/meminfo: memFree=3080452/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=1038.62
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 54191 49671 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=259.53
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 13591 12362 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=260.02
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 13567 12435 0 0 16 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=26685] ppid=26683 vsize=545800 CPUtime=1480.86
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 77082 71004 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=369.55
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 19273 17682 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=371.06
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 19377 17729 0 0 16 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=370.45
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 19278 17767 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1480.86
Current children cumulated vsize (KiB) 545800
[startup+462.315 s]
/proc/loadavg: 3.89 3.78 3.78 5/119 28195
/proc/meminfo: memFree=3080212/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=1701.34
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 88644 81490 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=425.5
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 22200 20350 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=425.85
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 22272 20313 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=424.9
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 22160 20330 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1701.34
Current children cumulated vsize (KiB) 545800
[startup+522.312 s]
/proc/loadavg: 3.91 3.80 3.78 5/119 28384
/proc/meminfo: memFree=3079932/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=1922.53
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 100245 92008 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=481.23
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 25090 23033 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=481.05
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 25157 22948 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=480.14
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 25067 22947 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1922.53
Current children cumulated vsize (KiB) 545800
[startup+582.31 s]
/proc/loadavg: 3.97 3.83 3.79 5/119 28575
/proc/meminfo: memFree=3079948/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=2142.33
/proc/26685/stat : 26685 (gnovelty+) S 26683 26685 24991 0 -1 4202496 19805 0 0 0 111729 102504 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=536.63
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 27993 25670 0 0 16 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=535.43
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 28027 25516 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=535.05
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 27955 25550 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 545800
[startup+642.318 s]
/proc/loadavg: 3.71 3.79 3.78 7/119 28762
/proc/meminfo: memFree=3080212/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=2364.55
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 123296 113159 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=592.67
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 30880 28387 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=590.64
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 30902 28162 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=589.99
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 30822 28177 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2364.55
Current children cumulated vsize (KiB) 545800
[startup+702.315 s]
/proc/loadavg: 3.92 3.82 3.79 5/119 28950
/proc/meminfo: memFree=3080056/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=2585.89
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 134768 123821 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112124 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=648.25
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 33765 31060 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=645.56
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 33712 30844 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=645.09
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 33712 30797 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114284 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2585.89
Current children cumulated vsize (KiB) 545800
[startup+762.313 s]
/proc/loadavg: 3.88 3.83 3.79 5/119 29138
/proc/meminfo: memFree=3080460/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=2807.99
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 146075 134724 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=704.2
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 36653 33767 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=700.98
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 36538 33560 0 0 16 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=700.35
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 36570 33465 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2807.99
Current children cumulated vsize (KiB) 545800
[startup+822.311 s]
/proc/loadavg: 3.72 3.79 3.78 5/119 29327
/proc/meminfo: memFree=3080568/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=3029.43
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 157552 145391 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=760.06
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 39566 36440 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=755.99
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 39368 36231 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506412 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=755.26
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 39412 36114 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114284 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3029.43
Current children cumulated vsize (KiB) 545800
[startup+882.308 s]
/proc/loadavg: 3.70 3.78 3.78 5/119 29514
/proc/meminfo: memFree=3080576/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=3251.28
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 168942 156186 0 0 16 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112124 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=815.57
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 42455 39102 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898540 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=811.26
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 42194 38932 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=810.5
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 42212 38838 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3251.28
Current children cumulated vsize (KiB) 545800
[startup+942.306 s]
/proc/loadavg: 3.84 3.80 3.78 5/119 29700
/proc/meminfo: memFree=3080584/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=3470.91
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 180408 166683 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=870.75
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 45323 41752 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=865.4
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 45073 41467 0 0 16 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=865.72
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 45057 41515 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3470.91
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.84 3.80 3.78 5/119 29893
/proc/meminfo: memFree=3081024/3368532 swapFree=1941392/1959888
[pid=26685] ppid=26683 vsize=545800 CPUtime=3683.22
/proc/26685/stat : 26685 (gnovelty+) R 26683 26685 24991 0 -1 4202496 19805 0 0 0 191447 176875 0 0 15 0 4 0 1111844923 558899200 19761 4294967295 134512640 135680988 3217112928 3217112172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/26685/statm: 136450 19761 103 286 0 136162 0
[pid=26685/tid=26687] ppid=26683 vsize=545800 CPUtime=924
/proc/26685/task/26687/stat : 26687 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 48165 44235 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3077898588 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26685/tid=26688] ppid=26683 vsize=545800 CPUtime=918.65
/proc/26685/task/26688/stat : 26688 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 47775 44090 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3068506460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26685/tid=26689] ppid=26683 vsize=545800 CPUtime=918.31
/proc/26685/task/26689/stat : 26689 (gnovelty+) R 26683 26685 24991 0 -1 4202560 7 0 0 0 47846 43985 0 0 15 0 4 0 1111844931 558899200 19761 4294967295 134512640 135680988 3217112928 3059114332 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3683.22
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): 3683.3
CPU user time (s): 1914.51
CPU system time (s): 1768.79
CPU usage (%): 368.316
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1914.51
system time used= 1768.79
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19805
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= 101336366
involuntary context switches= 274460
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 02:47:31
IDJOB=1778221
IDBENCH=70589
IDSOLVER=617
FILE ID=/1778221-1243471651
PBS_JOBID=
Free space on /tmp= 15730 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778221-1243471651/watcher-1778221-1243471651 -o /tmp/evaluation-result-1778221-1243471651/solver-1778221-1243471651 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778221-1243471651.cnf 561618798 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 7e6bd83d547ab2ddd279310a87244a37
RANDOM SEED= 561618798
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.143
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.143
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.11
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.143
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.17
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.143
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.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3159788 kB
Buffers: 13112 kB
Cached: 122756 kB
SwapCached: 4320 kB
Active: 105428 kB
Inactive: 41260 kB
HighTotal: 2489216 kB
HighFree: 2353692 kB
LowTotal: 879316 kB
LowFree: 806096 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 1344 kB
Writeback: 0 kB
AnonPages: 9608 kB
Mapped: 4504 kB
Slab: 51008 kB
SReclaimable: 43356 kB
SUnreclaim: 7652 kB
PageTables: 780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127260 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15730 MiB
End job on at 2009-05-28 03:04:13