runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777588-1243450511/watcher-1777588-1243450511 -o /tmp/evaluation-result-1777588-1243450511/solver-1777588-1243450511 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777588-1243450511.cnf 1553708332 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: 4.04 4.03 3.98 3/115 22504
/proc/meminfo: memFree=3162804/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=509232 CPUtime=0
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 1688 0 0 0 0 0 0 0 18 0 1 0 1109730909 521453568 1644 4294967295 134512640 135680988 3219999264 3219998528 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/22504/statm: 127308 1651 99 286 0 127020 0
[startup+0.029478 s]
/proc/loadavg: 4.04 4.03 3.98 3/115 22504
/proc/meminfo: memFree=3162804/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=509232 CPUtime=0.02
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 9635 0 0 0 1 1 0 0 18 0 1 0 1109730909 521453568 9592 4294967295 134512640 135680988 3219999264 3219998528 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/22504/statm: 127308 9600 99 286 0 127020 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509232
[startup+0.109476 s]
/proc/loadavg: 4.04 4.03 3.98 3/115 22504
/proc/meminfo: memFree=3162804/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=0.13
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 12 1 0 0 18 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 545804
[startup+0.309498 s]
/proc/loadavg: 4.04 4.03 3.98 3/115 22504
/proc/meminfo: memFree=3162804/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=0.9
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 76 14 0 0 17 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 545804
[startup+0.709616 s]
/proc/loadavg: 4.04 4.03 3.98 3/115 22504
/proc/meminfo: memFree=3162804/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2.49
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 201 48 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 545804
[startup+1.50942 s]
/proc/loadavg: 4.04 4.03 3.98 5/119 22508
/proc/meminfo: memFree=3084660/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=5.44
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 439 105 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=1.29
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 104 25 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=1.35
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 107 28 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=1.39
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 120 19 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 545804
[startup+3.10949 s]
/proc/loadavg: 4.04 4.03 3.98 5/119 22508
/proc/meminfo: memFree=3084316/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=11.36
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 935 201 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=2.61
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 210 51 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=2.82
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 225 57 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=2.95
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 255 40 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 545804
[startup+6.30937 s]
/proc/loadavg: 4.04 4.03 3.98 6/119 22508
/proc/meminfo: memFree=3084224/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=23.77
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 1949 428 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=5.71
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 467 104 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=5.88
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 463 125 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=6.03
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 513 90 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 545804
[startup+12.7093 s]
/proc/loadavg: 4.04 4.03 3.98 5/119 22509
/proc/meminfo: memFree=3084008/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=48.48
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 3934 914 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=11.93
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 957 236 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=12.07
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 960 247 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=12.23
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 1015 208 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.48
Current children cumulated vsize (KiB) 545804
[startup+25.5085 s]
/proc/loadavg: 4.03 4.03 3.98 5/119 22510
/proc/meminfo: memFree=3084072/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=97.6
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 8024 1736 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=24.37
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 2007 430 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=24.09
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 1956 453 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=24.69
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 2031 438 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.6
Current children cumulated vsize (KiB) 545804
[startup+51.1076 s]
/proc/loadavg: 4.02 4.02 3.98 6/119 22697
/proc/meminfo: memFree=3083772/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=196.5
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 16052 3598 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=49.05
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 3988 917 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=48.79
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 3966 913 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=49.31
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 4039 892 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 196.5
Current children cumulated vsize (KiB) 545804
[startup+102.316 s]
/proc/loadavg: 4.09 4.03 3.99 7/119 22699
/proc/meminfo: memFree=3083948/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=395.03
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 32290 7213 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=98.89
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 8055 1834 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=98.54
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 8030 1824 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=98.8
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 8090 1790 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 395.03
Current children cumulated vsize (KiB) 545804
[startup+162.313 s]
/proc/loadavg: 4.28 4.09 4.01 5/119 22887
/proc/meminfo: memFree=3083700/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=627.84
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 51247 11537 0 0 16 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998524 134997786 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=157.02
/proc/22504/task/22506/stat : 22506 (gnovelty+) S 22502 22504 24991 0 -1 4202560 7 0 0 0 12822 2880 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=156.36
/proc/22504/task/22507/stat : 22507 (gnovelty+) S 22502 22504 24991 0 -1 4202560 7 0 0 0 12748 2888 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=157.44
/proc/22504/task/22508/stat : 22508 (gnovelty+) S 22502 22504 24991 0 -1 4202560 8 0 0 0 12833 2911 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 627.84
Current children cumulated vsize (KiB) 545804
[startup+222.311 s]
/proc/loadavg: 4.10 4.07 4.00 5/119 23075
/proc/meminfo: memFree=3083708/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=860.26
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 70248 15778 0 0 16 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=215.46
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 17583 3963 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=214.61
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 17509 3952 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=215.36
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 17597 3939 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 860.26
Current children cumulated vsize (KiB) 545804
[startup+282.309 s]
/proc/loadavg: 4.25 4.12 4.02 6/119 23264
/proc/meminfo: memFree=3083832/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=1092.19
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 89247 19972 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=273.4
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 22346 4994 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=272.95
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 22316 4979 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=22504] ppid=22502 vsize=545804 CPUtime=1557.71
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 127098 28673 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=390.04
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 31794 7210 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=389.51
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 31847 7104 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=389.21
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 31693 7228 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1557.71
Current children cumulated vsize (KiB) 545804
[startup+462.311 s]
/proc/loadavg: 4.21 4.18 4.05 5/119 23832
/proc/meminfo: memFree=3083700/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=1788.85
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 145974 32911 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=447.74
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 36495 8279 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=447.22
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 36561 8161 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=447.18
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 36426 8292 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1788.85
Current children cumulated vsize (KiB) 545804
[startup+522.309 s]
/proc/loadavg: 4.26 4.19 4.06 5/119 24020
/proc/meminfo: memFree=3083832/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2017.88
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 164738 37050 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=504.58
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 41132 9326 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=504.44
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 41282 9162 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=505.25
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 41180 9345 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2017.88
Current children cumulated vsize (KiB) 545804
[startup+582.307 s]
/proc/loadavg: 4.07 4.15 4.06 5/119 24209
/proc/meminfo: memFree=3083336/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2248.62
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 183577 41285 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=562.77
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 45876 10401 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=561.86
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 45962 10224 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=562.68
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 45862 10406 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2248.62
Current children cumulated vsize (KiB) 545804
[startup+642.304 s]
/proc/loadavg: 4.17 4.16 4.07 4/119 24396
/proc/meminfo: memFree=3083336/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2479.58
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 202520 45438 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=620.74
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 50604 11470 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=619.2
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 50671 11249 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=620.64
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 50670 11394 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2479.58
Current children cumulated vsize (KiB) 545804
[startup+702.312 s]
/proc/loadavg: 4.20 4.18 4.08 7/119 24587
/proc/meminfo: memFree=3083684/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2709.54
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 221386 49568 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=678.33
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 55358 12475 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=676.34
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 55359 12275 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=678.18
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 55387 12431 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2709.54
Current children cumulated vsize (KiB) 545804
[startup+762.319 s]
/proc/loadavg: 4.26 4.19 4.09 6/119 24775
/proc/meminfo: memFree=3083452/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=2938.26
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 240131 53695 0 0 16 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=735.52
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 60016 13536 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=734.09
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 60095 13314 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=735.19
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 60064 13455 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2938.26
Current children cumulated vsize (KiB) 545804
[startup+822.307 s]
/proc/loadavg: 4.05 4.14 4.08 5/119 24963
/proc/meminfo: memFree=3083584/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=3166.6
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 258963 57697 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=792.66
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 64692 14574 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=790.99
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 64810 14289 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=792.27
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 64764 14463 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3166.6
Current children cumulated vsize (KiB) 545804
[startup+882.314 s]
/proc/loadavg: 4.02 4.11 4.07 5/119 25155
/proc/meminfo: memFree=3083708/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=3397.19
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 277920 61799 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=850.12
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 69376 15636 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=849
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 69532 15368 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=849.91
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 69520 15471 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3397.19
Current children cumulated vsize (KiB) 545804
[startup+942.312 s]
/proc/loadavg: 4.17 4.12 4.08 6/119 25342
/proc/meminfo: memFree=3083584/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=3625.89
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 296693 65896 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=907.2
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 74018 16702 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=906.19
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 74264 16355 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=907.31
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 74210 16521 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3625.89
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.33 4.17 4.10 5/119 25529
/proc/meminfo: memFree=3083328/3368532 swapFree=1941392/1959888
[pid=22504] ppid=22502 vsize=545804 CPUtime=3850.07
/proc/22504/stat : 22504 (gnovelty+) R 22502 22504 24991 0 -1 4202496 19814 0 0 0 314977 70030 0 0 15 0 4 0 1109730909 558903296 19769 4294967295 134512640 135680988 3219999264 3219998508 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/22504/statm: 136451 19769 103 286 0 136163 0
[pid=22504/tid=22506] ppid=22502 vsize=545804 CPUtime=963.28
/proc/22504/task/22506/stat : 22506 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 78601 17727 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3077034332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22504/tid=22507] ppid=22502 vsize=545804 CPUtime=962.2
/proc/22504/task/22507/stat : 22507 (gnovelty+) R 22502 22504 24991 0 -1 4202560 7 0 0 0 78826 17394 0 0 16 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3067642292 134534000 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22504/tid=22508] ppid=22502 vsize=545804 CPUtime=963.35
/proc/22504/task/22508/stat : 22508 (gnovelty+) R 22502 22504 24991 0 -1 4202560 8 0 0 0 78762 17573 0 0 15 0 4 0 1109730918 558903296 19769 4294967295 134512640 135680988 3219999264 3058250076 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3850.07
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.03
CPU time (s): 3850.15
CPU user time (s): 3149.82
CPU system time (s): 700.33
CPU usage (%): 385.002
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3149.82
system time used= 700.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19814
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= 29259384
involuntary context switches= 82982
runsolver used 0.02 second user time and 0 second system time
The end
Begin job on at 2009-05-27 20:55:11
IDJOB=1777588
IDBENCH=70378
IDSOLVER=617
FILE ID=/1777588-1243450511
PBS_JOBID=
Free space on /tmp= 15730 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/110/unif-k5-r21.3-v110-c2343-S914952752-019.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777588-1243450511/watcher-1777588-1243450511 -o /tmp/evaluation-result-1777588-1243450511/solver-1777588-1243450511 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777588-1243450511.cnf 1553708332 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= ab0fa90b59935117df784f9568093dd2
RANDOM SEED= 1553708332
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: 3162804 kB
Buffers: 13060 kB
Cached: 120308 kB
SwapCached: 4320 kB
Active: 105188 kB
Inactive: 38928 kB
HighTotal: 2489216 kB
HighFree: 2355748 kB
LowTotal: 879316 kB
LowFree: 807056 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 1428 kB
Writeback: 0 kB
AnonPages: 9560 kB
Mapped: 4296 kB
Slab: 50928 kB
SReclaimable: 42952 kB
SUnreclaim: 7976 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127264 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-27 21:11:53