runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778197-1243469708/watcher-1778197-1243469708 -o /tmp/evaluation-result-1778197-1243469708/solver-1778197-1243469708 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778197-1243469708.cnf 1893573403 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.48 3.73 3.78 3/96 4682
/proc/meminfo: memFree=218920/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=509232 CPUtime=0
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 1372 0 0 0 0 0 0 0 18 0 1 0 1111634935 521453568 1329 4294967295 134512640 135680988 3216598752 3216598016 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4682/statm: 127308 1339 99 286 0 127020 0
[startup+0.045548 s]
/proc/loadavg: 3.48 3.73 3.78 3/96 4682
/proc/meminfo: memFree=218920/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=517044 CPUtime=0.05
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 12293 0 0 0 2 3 0 0 18 0 1 0 1111634935 529453056 12249 4294967295 134512640 135680988 3216598752 3216598016 134537779 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4682/statm: 129261 12260 99 286 0 128973 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517044
[startup+0.115537 s]
/proc/loadavg: 3.48 3.73 3.78 3/96 4682
/proc/meminfo: memFree=218920/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=0.14
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 8 6 0 0 18 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545804
[startup+0.315542 s]
/proc/loadavg: 3.48 3.73 3.78 3/96 4682
/proc/meminfo: memFree=218920/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=0.9
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 45 45 0 0 17 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 545804
[startup+0.715508 s]
/proc/loadavg: 3.48 3.73 3.78 3/96 4682
/proc/meminfo: memFree=218920/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=2.36
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 113 123 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 545804
[startup+1.51546 s]
/proc/loadavg: 3.48 3.73 3.78 5/100 4686
/proc/meminfo: memFree=140768/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=5.37
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 277 260 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=1.31
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 63 68 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=1.3
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 69 61 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=1.33
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 65 68 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 545804
[startup+3.1153 s]
/proc/loadavg: 3.48 3.73 3.78 3/100 4755
/proc/meminfo: memFree=139704/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=10.7
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 580 490 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=2.79
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 146 133 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=2.58
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 139 119 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=2.62
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 142 120 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.7
Current children cumulated vsize (KiB) 545804
[startup+6.31504 s]
/proc/loadavg: 3.52 3.74 3.78 6/100 4869
/proc/meminfo: memFree=139248/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=22.54
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 1157 1097 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=5.73
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 297 276 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=5.55
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 290 265 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043564 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=5.63
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 289 274 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651436 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.54
Current children cumulated vsize (KiB) 545804
[startup+12.7145 s]
/proc/loadavg: 3.56 3.74 3.78 5/100 4870
/proc/meminfo: memFree=139220/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=46.43
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 2424 2219 0 0 16 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=11.79
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 616 563 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=11.37
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 585 552 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=11.65
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 611 554 0 0 16 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.43
Current children cumulated vsize (KiB) 545804
[startup+25.5136 s]
/proc/loadavg: 3.66 3.75 3.78 5/100 4872
/proc/meminfo: memFree=139308/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=93.65
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 4836 4529 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=23.66
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 1221 1145 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=23.07
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 1181 1126 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=23.41
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 1213 1128 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.65
Current children cumulated vsize (KiB) 545804
[startup+51.1113 s]
/proc/loadavg: 3.77 3.77 3.79 5/100 4873
/proc/meminfo: memFree=139388/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=188.19
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19796 0 0 0 9785 9034 0 0 15 0 4 0 1111634935 558903296 19752 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4682/statm: 136451 19752 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=46.95
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 2454 2241 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3077435692 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=46.66
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 2387 2279 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=47.23
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 2467 2256 0 0 15 0 4 0 1111634943 558903296 19752 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.19
Current children cumulated vsize (KiB) 545804
[startup+102.317 s]
/proc/loadavg: 3.86 3.79 3.79 5/100 5065
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=376.93
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 19612 18081 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=94.01
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 4909 4492 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=94.16
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 4853 4563 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=94.1
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 4865 4545 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 376.93
Current children cumulated vsize (KiB) 545804
[startup+162.312 s]
/proc/loadavg: 3.68 3.76 3.78 5/100 5255
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=598.21
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 31174 28647 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=148.86
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 7783 7103 0 0 16 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435776 134542588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=149.39
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 7779 7160 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=149.78
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 7750 7228 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651436 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 598.21
Current children cumulated vsize (KiB) 545804
[startup+222.307 s]
/proc/loadavg: 3.72 3.76 3.78 5/100 5443
/proc/meminfo: memFree=139148/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=820.09
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 42775 39234 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=204.84
/proc/4682/task/4684/stat : 4684 (gnovelty+) S 4680 4682 10015 0 -1 4202560 4 0 0 0 10730 9754 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=204.65
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 10717 9748 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=205.11
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 10594 9917 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 820.09
Current children cumulated vsize (KiB) 545804
[startup+282.302 s]
/proc/loadavg: 3.72 3.75 3.78 5/100 5631
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=1041.04
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 54221 49883 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=259.81
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 13597 12384 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=260.12
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 13640 12372 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=4682] ppid=4680 vsize=545804 CPUtime=1484.01
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 77144 71257 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597948 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=370.28
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 19247 17781 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=371.27
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 19385 17742 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=370.44
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 19185 17859 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651436 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1484.01
Current children cumulated vsize (KiB) 545804
[startup+462.317 s]
/proc/loadavg: 3.74 3.75 3.76 5/100 6200
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=1704.6
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 88629 81831 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=424.91
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 22039 20452 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=426.99
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 22258 20441 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=425.3
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 22008 20522 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1704.6
Current children cumulated vsize (KiB) 545804
[startup+522.312 s]
/proc/loadavg: 3.67 3.73 3.75 4/100 6388
/proc/meminfo: memFree=139388/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=1926.18
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 100059 92559 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=480.51
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 24876 23175 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=482.21
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 25108 23113 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=480.65
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 24878 23187 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1926.18
Current children cumulated vsize (KiB) 545804
[startup+582.307 s]
/proc/loadavg: 3.84 3.76 3.76 4/100 6576
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=2148.55
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 111567 103288 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=535.86
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 27725 25861 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=538.19
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 28089 25730 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=536.16
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 27682 25934 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2148.55
Current children cumulated vsize (KiB) 545804
[startup+642.312 s]
/proc/loadavg: 3.78 3.76 3.75 5/100 6763
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=2370.04
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 123231 113773 0 0 16 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=591.45
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 30667 28478 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=593.84
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 31032 28352 0 0 16 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=591.5
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 30523 28627 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2370.04
Current children cumulated vsize (KiB) 545804
[startup+702.307 s]
/proc/loadavg: 3.75 3.75 3.75 6/100 6952
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=2592.28
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 134905 124323 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=647.11
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 33533 31178 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=649.55
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 33965 30990 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=646.72
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 33442 31230 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2592.28
Current children cumulated vsize (KiB) 545804
[startup+762.312 s]
/proc/loadavg: 3.96 3.81 3.77 5/100 7139
/proc/meminfo: memFree=139388/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=2814.83
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 146311 135172 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=702.72
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 36316 33956 0 0 16 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435728 134545618 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=705.5
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 36819 33731 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043564 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=701.76
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 36268 33908 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2814.83
Current children cumulated vsize (KiB) 545804
[startup+822.307 s]
/proc/loadavg: 3.87 3.80 3.76 5/100 7327
/proc/meminfo: memFree=139388/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=3035.28
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 157879 145649 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=758.03
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 39209 36594 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=760.74
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 39720 36354 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=756.55
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 39135 36520 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651436 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3035.28
Current children cumulated vsize (KiB) 545804
[startup+882.312 s]
/proc/loadavg: 3.74 3.77 3.75 5/100 7519
/proc/meminfo: memFree=139272/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=3257.33
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 169493 156240 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597948 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=813.68
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 42121 39247 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=816.64
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 42635 39029 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043564 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=811.94
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 41995 39199 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3257.33
Current children cumulated vsize (KiB) 545804
[startup+942.317 s]
/proc/loadavg: 3.83 3.79 3.76 5/100 7706
/proc/meminfo: memFree=138900/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=3479.57
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 181124 166833 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=869.08
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 45029 41879 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=872.06
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 45543 41663 0 0 16 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043564 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=867.48
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 44859 41889 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3479.57
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.77 3.78 3.75 5/100 7895
/proc/meminfo: memFree=139140/3368532 swapFree=1953788/1959888
[pid=4682] ppid=4680 vsize=545804 CPUtime=3693.76
/proc/4682/stat : 4682 (gnovelty+) R 4680 4682 10015 0 -1 4202496 19797 0 0 0 192271 177105 0 0 15 0 4 0 1111634935 558903296 19753 4294967295 134512640 135680988 3216598752 3216597996 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4682/statm: 136451 19753 103 286 0 136163 0
[pid=4682/tid=4684] ppid=4680 vsize=545804 CPUtime=922.51
/proc/4682/task/4684/stat : 4684 (gnovelty+) R 4680 4682 10015 0 -1 4202560 4 0 0 0 47812 44439 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3077435740 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4682/tid=4685] ppid=4680 vsize=545804 CPUtime=925.9
/proc/4682/task/4685/stat : 4685 (gnovelty+) R 4680 4682 10015 0 -1 4202560 5 0 0 0 48339 44251 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3068043612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4682/tid=4686] ppid=4680 vsize=545804 CPUtime=921.03
/proc/4682/task/4686/stat : 4686 (gnovelty+) R 4680 4682 10015 0 -1 4202560 6 0 0 0 47647 44456 0 0 15 0 4 0 1111634943 558903296 19753 4294967295 134512640 135680988 3216598752 3058651484 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3693.76
Current children cumulated vsize (KiB) 545804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3693.81
CPU user time (s): 1922.71
CPU system time (s): 1771.1
CPU usage (%): 369.367
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1922.71
system time used= 1771.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19797
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= 102420491
involuntary context switches= 211998
runsolver used 0.03 second user time and 0 second system time
The end
Begin job on at 2009-05-28 02:15:08
IDJOB=1778197
IDBENCH=70581
IDSOLVER=617
FILE ID=/1778197-1243469708
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/400/unif-k3-r4.25-v400-c1700-S131938947-014.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778197-1243469708/watcher-1778197-1243469708 -o /tmp/evaluation-result-1778197-1243469708/solver-1778197-1243469708 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778197-1243469708.cnf 1893573403 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= e0b283f050c44779317a891a591f5168
RANDOM SEED= 1893573403
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 218920 kB
Buffers: 47140 kB
Cached: 2932492 kB
SwapCached: 2256 kB
Active: 1721764 kB
Inactive: 1267332 kB
HighTotal: 2489216 kB
HighFree: 87380 kB
LowTotal: 879316 kB
LowFree: 131540 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1416 kB
Writeback: 0 kB
AnonPages: 8404 kB
Mapped: 3284 kB
Slab: 151260 kB
SReclaimable: 137744 kB
SUnreclaim: 13516 kB
PageTables: 304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88476 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-28 02:31:49