runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777027-1243432005/watcher-1777027-1243432005 -o /tmp/evaluation-result-1777027-1243432005/solver-1777027-1243432005 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777027-1243432005.cnf 1204303120 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.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=509232 CPUtime=0
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 1450 0 0 0 0 0 0 0 18 0 1 0 924777294 521453568 1407 4294967295 134512640 135680988 3214941520 3214940784 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 127308 1414 99 286 0 127020 0
[startup+0.029168 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=509232 CPUtime=0.03
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 9537 0 0 0 0 3 0 0 18 0 1 0 924777294 521453568 9494 4294967295 134512640 135680988 3214941520 3214940784 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 127308 9502 99 286 0 127020 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 509232
[startup+0.109168 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=517044 CPUtime=0.11
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 17712 0 0 0 6 5 0 0 18 0 1 0 924777294 529453056 17668 4294967295 134512640 135680988 3214941520 3214940784 134537779 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 129261 17673 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044
[startup+0.309396 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=0.77
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 61 16 0 0 18 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 548460
[startup+0.709199 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2.35
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 197 38 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 548460
[startup+1.50908 s]
/proc/loadavg: 4.25 4.13 2.79 6/102 12962
/proc/meminfo: memFree=3122316/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=5.41
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 468 73 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=1.3
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 107 23 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=1.34
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 119 15 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=1.28
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 113 15 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 548460
[startup+3.10892 s]
/proc/loadavg: 4.25 4.13 2.79 5/102 12962
/proc/meminfo: memFree=3122316/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=11.53
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 1021 132 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=2.81
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 241 40 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=2.94
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 272 22 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=2.85
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 251 34 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 548460
[startup+6.3187 s]
/proc/loadavg: 4.23 4.13 2.79 5/102 13145
/proc/meminfo: memFree=3122104/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=24
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 2119 281 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=5.85
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 510 75 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=6.14
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 551 63 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=5.99
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 537 62 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24
Current children cumulated vsize (KiB) 548460
[startup+12.7183 s]
/proc/loadavg: 4.29 4.14 2.80 5/102 13145
/proc/meminfo: memFree=3122324/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=49.26
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 4354 572 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=12.11
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 1072 139 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=12.46
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 1109 137 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=12.3
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 1090 140 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (KiB) 548460
[startup+25.5171 s]
/proc/loadavg: 4.33 4.16 2.82 5/102 13146
/proc/meminfo: memFree=3122420/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=99.05
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 8786 1119 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=24.51
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 2166 285 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=25.08
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 2239 269 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=24.62
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 2184 278 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (KiB) 548460
[startup+51.1152 s]
/proc/loadavg: 4.20 4.14 2.86 5/102 13148
/proc/meminfo: memFree=3122452/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=198.62
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 17618 2244 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=49.35
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 4359 576 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=49.94
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 4458 536 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=49.56
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 4408 548 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.62
Current children cumulated vsize (KiB) 548460
[startup+102.311 s]
/proc/loadavg: 4.22 4.15 2.93 5/102 13339
/proc/meminfo: memFree=3122088/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=398.96
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 35359 4537 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=99.67
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 8815 1152 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=100.15
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 8920 1095 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=99.21
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 8818 1103 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 398.96
Current children cumulated vsize (KiB) 548460
[startup+162.307 s]
/proc/loadavg: 4.47 4.23 3.03 5/102 13527
/proc/meminfo: memFree=3121716/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=632.73
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 56051 7222 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=158.34
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 13982 1852 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=158.18
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 14086 1732 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=158.07
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 14012 1795 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 632.73
Current children cumulated vsize (KiB) 548460
[startup+222.311 s]
/proc/loadavg: 4.25 4.20 3.09 5/102 13714
/proc/meminfo: memFree=3121584/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=863.45
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 76544 9801 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=216.24
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 19115 2509 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=216.19
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 19265 2354 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067716020 134534987 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=215.25
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 19055 2470 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 863.45
Current children cumulated vsize (KiB) 548460
[startup+282.307 s]
/proc/loadavg: 4.09 4.16 3.14 5/102 13902
/proc/meminfo: memFree=3121716/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=1098.12
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 97254 12558 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=274.97
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 24270 3227 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=274.81
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 24472 3009 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=12957] ppid=12955 vsize=548460 CPUtime=1565.24
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 138736 17788 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=391.73
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 34622 4551 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=391.89
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 34938 4251 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=390.49
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 34645 4404 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1565.24
Current children cumulated vsize (KiB) 548460
[startup+462.312 s]
/proc/loadavg: 4.36 4.21 3.34 5/102 14472
/proc/meminfo: memFree=3121468/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=1799.76
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 159584 20392 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=450.72
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 39831 5241 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=450.01
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 40073 4928 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=448.92
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 39891 5001 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 548460
[startup+522.307 s]
/proc/loadavg: 4.34 4.25 3.40 5/102 14659
/proc/meminfo: memFree=3121212/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2033.91
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 180442 22949 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=509.69
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 45088 5881 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=508.19
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 45246 5573 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=507.63
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 45116 5647 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323892 134535066 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2033.91
Current children cumulated vsize (KiB) 548460
[startup+582.312 s]
/proc/loadavg: 4.17 4.20 3.44 6/102 14847
/proc/meminfo: memFree=3121344/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2268.85
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 201213 25672 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=568.61
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 50300 6561 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=566.77
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 50397 6280 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=566.19
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 50302 6317 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2268.85
Current children cumulated vsize (KiB) 548460
[startup+642.307 s]
/proc/loadavg: 4.10 4.18 3.47 5/102 15035
/proc/meminfo: memFree=3121336/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2502.88
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 221947 28341 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=627.17
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 55457 7260 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=625.59
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 55633 6926 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=624.54
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 55455 6999 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2502.88
Current children cumulated vsize (KiB) 548460
[startup+702.312 s]
/proc/loadavg: 4.05 4.14 3.50 5/102 15223
/proc/meminfo: memFree=3121344/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2736.74
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 242699 30975 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=685.75
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 60649 7926 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=684.17
/proc/12957/task/12960/stat : 12960 (gnovelty+) S 12955 12957 9860 0 -1 4202560 112 0 0 0 60859 7558 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=682.88
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 60619 7669 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2736.74
Current children cumulated vsize (KiB) 548460
[startup+762.317 s]
/proc/loadavg: 4.14 4.14 3.54 5/102 15411
/proc/meminfo: memFree=3121220/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2970.69
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 263437 33632 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=744.08
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 65759 8649 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=742.3
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 66039 8191 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067716020 134534000 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=741.43
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 65817 8326 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2970.69
Current children cumulated vsize (KiB) 548460
[startup+822.312 s]
/proc/loadavg: 4.28 4.19 3.59 5/102 15598
/proc/meminfo: memFree=3121336/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3204.09
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 284129 36280 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=802.49
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 70974 9275 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=800.62
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 71190 8872 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=800.13
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 70987 9026 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3204.09
Current children cumulated vsize (KiB) 548460
[startup+882.308 s]
/proc/loadavg: 4.02 4.14 3.61 5/102 15790
/proc/meminfo: memFree=3120848/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3435.93
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 304669 38924 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=861.06
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 76179 9927 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=858.56
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 76278 9578 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=857.65
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 76107 9658 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3435.93
Current children cumulated vsize (KiB) 548460
[startup+942.313 s]
/proc/loadavg: 4.10 4.14 3.64 5/102 15978
/proc/meminfo: memFree=3120964/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3669.22
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 325372 41550 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=919.05
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 81331 10574 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=916.98
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 81438 10260 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=915.78
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 81290 10288 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3669.22
Current children cumulated vsize (KiB) 548460
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.05 4.11 3.66 5/102 16166
/proc/meminfo: memFree=3120964/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3893.87
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 345303 44084 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=974.88
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 86306 11182 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=973.11
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 86410 10901 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=971.85
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 86256 10929 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3893.87
Current children cumulated vsize (KiB) 548460
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): 3893.95
CPU user time (s): 3453.1
CPU system time (s): 440.85
CPU usage (%): 389.382
Max. virtual memory (cumulated for all children) (KiB): 548460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3453.1
system time used= 440.85
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20772
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= 15022968
involuntary context switches= 53814
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi39 at 2009-05-27 15:46:45
IDJOB=1777027
IDBENCH=70191
IDSOLVER=617
FILE ID=tipi39/1777027-1243432005
PBS_JOBID=
Free space on /tmp= 5743 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S45173584-020.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777027-1243432005/watcher-1777027-1243432005 -o /tmp/evaluation-result-1777027-1243432005/solver-1777027-1243432005 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777027-1243432005.cnf 1204303120 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 59fbd40d503488bcdf45b7724d53bd6d
RANDOM SEED= 1204303120
Linux tipi39 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.067
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.067
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.067
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.16
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.067
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: 3203896 kB
Buffers: 21452 kB
Cached: 47192 kB
SwapCached: 0 kB
Active: 64236 kB
Inactive: 20732 kB
HighTotal: 2489216 kB
HighFree: 2427552 kB
LowTotal: 879316 kB
LowFree: 776344 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1972 kB
Writeback: 0 kB
AnonPages: 16544 kB
Mapped: 6128 kB
Slab: 69148 kB
SReclaimable: 56960 kB
SUnreclaim: 12188 kB
PageTables: 532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 94988 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-27 16:03:28