runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778170-1243468687/watcher-1778170-1243468687 -o /tmp/evaluation-result-1778170-1243468687/solver-1778170-1243468687 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778170-1243468687.cnf 1725271354 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.65 4.03 4.24 3/109 30743
/proc/meminfo: memFree=710348/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=509232 CPUtime=0
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 1575 0 0 0 0 0 0 0 18 0 1 0 1111531535 521453568 1532 4294967295 134512640 135680988 3213390800 3213390064 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/30743/statm: 127308 1539 99 286 0 127020 0
[startup+0.056414 s]
/proc/loadavg: 3.65 4.03 4.24 3/109 30743
/proc/meminfo: memFree=710348/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=517044 CPUtime=0.06
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 14259 0 0 0 0 6 0 0 18 0 1 0 1111531535 529453056 14216 4294967295 134512640 135680988 3213390800 3213390064 134537905 0 0 0 0 0 0 0 17 1 0 0 0
/proc/30743/statm: 129261 14221 99 286 0 128973 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517044
[startup+0.10641 s]
/proc/loadavg: 3.65 4.03 4.24 3/109 30743
/proc/meminfo: memFree=710348/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=0.13
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19827 0 0 0 6 7 0 0 19 0 4 0 1111531535 559038464 19783 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19783 103 286 0 136196 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 545936
[startup+0.306401 s]
/proc/loadavg: 3.65 4.03 4.24 3/109 30743
/proc/meminfo: memFree=710348/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=0.85
/proc/30743/stat : 30743 (gnovelty+) S 30741 30743 7955 0 -1 4202496 19831 0 0 0 47 38 0 0 18 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 545936
[startup+0.706391 s]
/proc/loadavg: 3.65 4.03 4.24 3/109 30743
/proc/meminfo: memFree=710348/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=2.34
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 126 108 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 545936
[startup+1.50636 s]
/proc/loadavg: 3.65 4.03 4.24 6/114 30899
/proc/meminfo: memFree=631392/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=4.99
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 285 214 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=1.2
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 60 60 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=1.36
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 78 58 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=0.98
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 58 40 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 545936
[startup+3.10629 s]
/proc/loadavg: 3.65 4.03 4.24 5/113 30930
/proc/meminfo: memFree=631332/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=10.93
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 597 496 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=2.69
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 128 141 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=2.87
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 154 133 0 0 16 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=2.48
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 141 107 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 545936
[startup+6.30611 s]
/proc/loadavg: 3.76 4.05 4.24 5/113 30930
/proc/meminfo: memFree=631396/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=22.88
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 1256 1032 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=5.71
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 289 282 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=5.83
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 329 254 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=5.41
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 308 233 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.88
Current children cumulated vsize (KiB) 545936
[startup+12.7058 s]
/proc/loadavg: 3.78 4.05 4.24 5/113 30930
/proc/meminfo: memFree=631400/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=46.58
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 2528 2130 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=11.77
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 613 564 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=11.57
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 629 528 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=11.29
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 623 506 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.58
Current children cumulated vsize (KiB) 545936
[startup+25.5051 s]
/proc/loadavg: 3.98 4.08 4.25 5/113 30931
/proc/meminfo: memFree=631464/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=94.64
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 5082 4382 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=23.76
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 1243 1133 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=23.52
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 1251 1101 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=23.41
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 1268 1073 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 94.64
Current children cumulated vsize (KiB) 545936
[startup+51.1038 s]
/proc/loadavg: 4.12 4.10 4.25 5/113 30934
/proc/meminfo: memFree=631380/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=189.76
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 10111 8865 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=47.49
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 2499 2250 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=47.32
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 2497 2235 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=47.3
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 2533 2197 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (KiB) 545936
[startup+102.321 s]
/proc/loadavg: 4.07 4.08 4.24 5/113 31120
/proc/meminfo: memFree=631256/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=380.74
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 20138 17936 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=95.33
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 5003 4530 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861676 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=95.07
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 5014 4493 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=95.15
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 5039 4476 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 380.74
Current children cumulated vsize (KiB) 545936
[startup+162.317 s]
/proc/loadavg: 4.28 4.14 4.25 5/113 31308
/proc/meminfo: memFree=631132/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=605.37
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 32065 28472 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=151.2
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 7922 7198 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=151.41
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 8045 7096 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=151.49
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 8048 7101 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 605.37
Current children cumulated vsize (KiB) 545936
[startup+222.314 s]
/proc/loadavg: 4.34 4.17 4.25 5/113 31497
/proc/meminfo: memFree=631256/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=830.09
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 43936 39073 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=207.33
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 10853 9880 0 0 16 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=207.47
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 10980 9767 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=207.65
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 11016 9749 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 830.09
Current children cumulated vsize (KiB) 545936
[startup+282.312 s]
/proc/loadavg: 4.07 4.13 4.23 4/113 31689
/proc/meminfo: memFree=631032/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=1053.84
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 55775 49609 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=263.37
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 13872 12465 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=263.23
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 13895 12428 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469548 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=30743] ppid=30741 vsize=545936 CPUtime=1500.66
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 79542 70524 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=374.97
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 19789 17708 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=375.61
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 19878 17683 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=374.85
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 19850 17635 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1500.66
Current children cumulated vsize (KiB) 545936
[startup+462.312 s]
/proc/loadavg: 4.40 4.25 4.26 5/113 32253
/proc/meminfo: memFree=630760/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=1725.56
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 91474 81082 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=431.26
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 22784 20342 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=431.95
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 22786 20409 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=431.23
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 22846 20277 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.56
Current children cumulated vsize (KiB) 545936
[startup+522.309 s]
/proc/loadavg: 4.23 4.23 4.25 4/113 32442
/proc/meminfo: memFree=630876/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=1948.18
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 103479 91339 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=487.14
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 25777 22937 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=487.49
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 25725 23024 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=486.66
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 25879 22787 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1948.18
Current children cumulated vsize (KiB) 545936
[startup+582.316 s]
/proc/loadavg: 4.08 4.19 4.23 5/113 32630
/proc/meminfo: memFree=630752/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=2171.7
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19831 0 0 0 115538 101632 0 0 15 0 4 0 1111531535 559038464 19787 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19787 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=542.7
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 10 0 0 0 28763 25507 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=543.63
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 28726 25637 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3068469548 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=542.33
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 28881 25352 0 0 15 0 4 0 1111531544 559038464 19787 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2171.7
Current children cumulated vsize (KiB) 545936
[startup+642.312 s]
/proc/loadavg: 4.01 4.15 4.21 5/113 352
/proc/meminfo: memFree=630612/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=2395.13
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 127465 112048 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=598.11
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 31730 28081 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=599.77
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 31700 28277 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=598.28
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 31902 27926 0 0 16 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2395.13
Current children cumulated vsize (KiB) 545936
[startup+702.309 s]
/proc/loadavg: 4.21 4.19 4.22 5/113 540
/proc/meminfo: memFree=630760/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=2618.71
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 139570 122301 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=654.07
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 34747 30660 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861676 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=655.36
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 34697 30839 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=654.35
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 34982 30453 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2618.71
Current children cumulated vsize (KiB) 545936
[startup+762.306 s]
/proc/loadavg: 4.09 4.15 4.20 5/113 728
/proc/meminfo: memFree=630884/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=2842.91
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 151617 132674 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=709.88
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 37692 33296 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=711.51
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 37786 33365 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=710.45
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 37996 33049 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2842.91
Current children cumulated vsize (KiB) 545936
[startup+822.313 s]
/proc/loadavg: 4.07 4.13 4.19 5/113 923
/proc/meminfo: memFree=631008/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=3065.8
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 163603 142977 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=765.62
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 40690 35872 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=766.93
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 40719 35974 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=766.29
/proc/30743/task/30747/stat : 30747 (gnovelty+) S 30741 30743 7955 0 -1 4202560 11 0 0 0 41006 35623 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3065.8
Current children cumulated vsize (KiB) 545936
[startup+882.31 s]
/proc/loadavg: 4.16 4.14 4.19 6/113 1117
/proc/meminfo: memFree=631124/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=3290.14
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 175570 153444 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=821.53
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 43694 38459 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=823.22
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 43677 38645 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=822.33
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 43985 38248 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3290.14
Current children cumulated vsize (KiB) 545936
[startup+942.307 s]
/proc/loadavg: 4.09 4.13 4.18 5/113 1305
/proc/meminfo: memFree=631124/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=3514.72
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 187523 163949 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=877.36
/proc/30743/task/30745/stat : 30745 (gnovelty+) S 30741 30743 7955 0 -1 4202560 11 0 0 0 46648 41088 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=879.75
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 46715 41260 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=878.34
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 46938 40896 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3514.72
Current children cumulated vsize (KiB) 545936
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000 s]
/proc/loadavg: 4.08 4.12 4.17 5/113 1491
/proc/meminfo: memFree=631132/3368532 swapFree=1959840/1959888
[pid=30743] ppid=30741 vsize=545936 CPUtime=3729.84
/proc/30743/stat : 30743 (gnovelty+) R 30741 30743 7955 0 -1 4202496 19832 0 0 0 199016 173968 0 0 15 0 4 0 1111531535 559038464 19788 4294967295 134512640 135680988 3213390800 3213390044 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30743/statm: 136484 19788 103 286 0 136196 0
[pid=30743/tid=30745] ppid=30741 vsize=545936 CPUtime=930.81
/proc/30743/task/30745/stat : 30745 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 49504 43577 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3077861724 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30743/tid=30746] ppid=30741 vsize=545936 CPUtime=933.71
/proc/30743/task/30746/stat : 30746 (gnovelty+) R 30741 30743 7955 0 -1 4202560 12 0 0 0 49531 43840 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3068469596 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30743/tid=30747] ppid=30741 vsize=545936 CPUtime=931.85
/proc/30743/task/30747/stat : 30747 (gnovelty+) R 30741 30743 7955 0 -1 4202560 11 0 0 0 49765 43420 0 0 15 0 4 0 1111531544 559038464 19788 4294967295 134512640 135680988 3213390800 3059077468 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3729.84
Current children cumulated vsize (KiB) 545936
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.03
CPU time (s): 3729.9
CPU user time (s): 1990.18
CPU system time (s): 1739.72
CPU usage (%): 372.979
Max. virtual memory (cumulated for all children) (KiB): 545936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.18
system time used= 1739.72
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19832
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= 91638572
involuntary context switches= 186155
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 01:58:07
IDJOB=1778170
IDBENCH=70572
IDSOLVER=617
FILE ID=/1778170-1243468687
PBS_JOBID=
Free space on /tmp= 7987 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/560/unif-k3-r4.25-v560-c2380-S688769362-007.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778170-1243468687/watcher-1778170-1243468687 -o /tmp/evaluation-result-1778170-1243468687/solver-1778170-1243468687 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778170-1243468687.cnf 1725271354 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= dcd5f1c3fe8ddccf921fc006721ef352
RANDOM SEED= 1725271354
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.073
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.073
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.073
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.073
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: 710644 kB
Buffers: 41736 kB
Cached: 2434748 kB
SwapCached: 0 kB
Active: 1299436 kB
Inactive: 1196208 kB
HighTotal: 2489216 kB
HighFree: 449888 kB
LowTotal: 879316 kB
LowFree: 260756 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1384 kB
Writeback: 0 kB
AnonPages: 19184 kB
Mapped: 7772 kB
Slab: 151828 kB
SReclaimable: 138556 kB
SUnreclaim: 13272 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7987 MiB
End job on at 2009-05-28 02:14:49