runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777009-1243431002/watcher-1777009-1243431002 -o /tmp/evaluation-result-1777009-1243431002/solver-1777009-1243431002 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777009-1243431002.cnf 1087155039 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: 0.00 0.00 0.00 3/98 9896
/proc/meminfo: memFree=3204964/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=509228 CPUtime=0
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 1354 0 0 0 0 0 0 0 18 0 1 0 924676964 521449472 1312 4294967295 134512640 135680988 3217219456 3217218720 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/9896/statm: 127307 1319 99 286 0 127019 0
[startup+0.02683 s]
/proc/loadavg: 0.00 0.00 0.00 3/98 9896
/proc/meminfo: memFree=3204964/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=509228 CPUtime=0.03
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 8649 0 0 0 0 3 0 0 18 0 1 0 924676964 521449472 8607 4294967295 134512640 135680988 3217219456 3217218720 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/9896/statm: 127307 8614 99 286 0 127019 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 509228
[startup+0.106823 s]
/proc/loadavg: 0.00 0.00 0.00 3/98 9896
/proc/meminfo: memFree=3204964/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=517040 CPUtime=0.11
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 17159 0 0 0 6 5 0 0 18 0 1 0 924676964 529448960 17115 4294967295 134512640 135680988 3217219456 3217218720 134537905 0 0 0 0 0 0 0 17 1 0 0 0
/proc/9896/statm: 129260 17120 99 286 0 128972 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517040
[startup+0.307058 s]
/proc/loadavg: 0.00 0.00 0.00 3/98 9896
/proc/meminfo: memFree=3204964/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=0.75
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 61 14 0 0 18 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 548456
[startup+0.706972 s]
/proc/loadavg: 0.00 0.00 0.00 3/98 9896
/proc/meminfo: memFree=3204964/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2.34
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 205 29 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 548456
[startup+1.50672 s]
/proc/loadavg: 0.00 0.00 0.00 5/102 9900
/proc/meminfo: memFree=3123564/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=5.5
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 493 57 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=1.34
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 119 15 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=1.36
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 129 7 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=1.31
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 115 16 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 548456
[startup+3.10676 s]
/proc/loadavg: 0.00 0.00 0.00 5/102 9900
/proc/meminfo: memFree=3122784/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=11.85
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 1055 130 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=2.93
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 259 34 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=2.93
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 269 24 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=2.91
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 253 38 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 548456
[startup+6.30686 s]
/proc/loadavg: 0.32 0.07 0.02 5/102 9900
/proc/meminfo: memFree=3122784/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=24.41
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 2163 278 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=6.05
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 528 77 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=6.07
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 539 68 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=6.08
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 544 64 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 548456
[startup+12.7063 s]
/proc/loadavg: 0.61 0.13 0.04 5/102 9900
/proc/meminfo: memFree=3122724/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=49.78
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 4448 530 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=12.39
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 1106 133 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=12.42
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 1106 136 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=12.43
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 1110 133 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 548456
[startup+25.5051 s]
/proc/loadavg: 1.43 0.34 0.11 5/102 9901
/proc/meminfo: memFree=3122880/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=99.33
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 8829 1104 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=24.83
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 2207 276 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=24.89
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 2217 272 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=24.73
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 2190 283 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.33
Current children cumulated vsize (KiB) 548456
[startup+51.1131 s]
/proc/loadavg: 2.32 0.63 0.21 6/102 10087
/proc/meminfo: memFree=3121828/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=198.76
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 17695 2181 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=49.7
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 4428 542 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=49.56
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 4406 550 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=49.79
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 4449 530 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.76
Current children cumulated vsize (KiB) 548456
[startup+102.308 s]
/proc/loadavg: 3.57 1.24 0.44 5/102 10091
/proc/meminfo: memFree=3121756/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=398.69
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 35456 4413 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=100.07
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 8916 1091 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=99.49
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 8835 1114 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=99.65
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 8879 1086 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 398.69
Current children cumulated vsize (KiB) 548456
[startup+162.304 s]
/proc/loadavg: 4.07 1.80 0.68 5/102 10278
/proc/meminfo: memFree=3122144/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=632.13
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 56232 6981 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=158.73
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 14117 1756 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=157.58
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 14018 1740 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=157.55
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 14020 1735 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 632.13
Current children cumulated vsize (KiB) 548456
[startup+222.319 s]
/proc/loadavg: 4.05 2.21 0.89 6/102 10467
/proc/meminfo: memFree=3121888/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=865.68
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 77040 9528 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=217.29
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 19335 2394 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=215.98
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 19216 2382 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=215.7
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 19180 2390 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 865.68
Current children cumulated vsize (KiB) 548456
[startup+282.314 s]
/proc/loadavg: 4.21 2.58 1.10 5/102 10654
/proc/meminfo: memFree=3121772/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=1100.07
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 97849 12158 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=275.73
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 24514 3059 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=274.88
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 24435 3053 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=9896] ppid=9894 vsize=548456 CPUtime=1566.47
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 139268 17379 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=392.51
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 34789 4462 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=391.29
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 34804 4325 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=390.86
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 34750 4336 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1566.47
Current children cumulated vsize (KiB) 548456
[startup+462.309 s]
/proc/loadavg: 4.10 3.26 1.62 6/102 11223
/proc/meminfo: memFree=3121648/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=1800.34
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 160048 19986 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=450.9
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 39965 5125 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=449.71
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 40011 4960 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=449.37
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 39940 4997 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 548456
[startup+522.304 s]
/proc/loadavg: 3.99 3.39 1.77 6/102 11412
/proc/meminfo: memFree=3121640/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2033.82
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 180880 22502 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=508.87
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 45126 5761 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=507.79
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 45200 5579 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=508.21
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 45202 5619 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2033.82
Current children cumulated vsize (KiB) 548456
[startup+582.319 s]
/proc/loadavg: 4.03 3.51 1.91 5/102 11599
/proc/meminfo: memFree=3121648/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2266.84
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 201610 25074 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=567.14
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 50325 6389 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=565.6
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 50343 6217 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834804 134534866 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=566.95
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 50413 6282 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2266.84
Current children cumulated vsize (KiB) 548456
[startup+642.315 s]
/proc/loadavg: 4.20 3.66 2.06 5/102 11787
/proc/meminfo: memFree=3121648/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2500.97
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 222445 27652 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=625.74
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 55519 7055 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=624.13
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 55597 6816 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=625.37
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 55611 6926 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442676 134532947 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2500.97
Current children cumulated vsize (KiB) 548456
[startup+702.31 s]
/proc/loadavg: 4.19 3.75 2.19 5/102 11975
/proc/meminfo: memFree=3121648/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2732.18
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 243011 30207 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=683.77
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 60665 7712 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=682.22
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 60766 7456 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=683.48
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 60772 7576 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2732.18
Current children cumulated vsize (KiB) 548456
[startup+762.315 s]
/proc/loadavg: 4.30 3.85 2.32 6/102 12166
/proc/meminfo: memFree=3121524/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=2965.18
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 263803 32715 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=741.9
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 65810 8380 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=739.87
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 65925 8062 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=741.98
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 66002 8196 0 0 16 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442676 134534551 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2965.18
Current children cumulated vsize (KiB) 548456
[startup+822.31 s]
/proc/loadavg: 4.45 3.97 2.45 6/102 12355
/proc/meminfo: memFree=3121392/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=3200.42
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 284711 35331 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=800.73
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 71050 9023 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=798.65
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 71171 8694 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=801.05
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 71231 8874 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3200.42
Current children cumulated vsize (KiB) 548456
[startup+882.306 s]
/proc/loadavg: 4.39 4.04 2.57 5/102 12542
/proc/meminfo: memFree=3121400/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=3435.71
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 305656 37915 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=859.46
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 76264 9682 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=857.73
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 76444 9329 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=859.48
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 76453 9495 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3435.71
Current children cumulated vsize (KiB) 548456
[startup+942.32 s]
/proc/loadavg: 4.61 4.15 2.70 6/102 12730
/proc/meminfo: memFree=3121276/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=3670.74
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 326645 40429 0 0 15 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218700 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=918.37
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 81498 10339 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=916.43
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 81687 9956 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=918.5
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 81742 10108 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3670.74
Current children cumulated vsize (KiB) 548456
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.27 4.14 2.78 5/102 12917
/proc/meminfo: memFree=3121152/3368532 swapFree=1959840/1959888
[pid=9896] ppid=9894 vsize=548456 CPUtime=3896.15
/proc/9896/stat : 9896 (gnovelty+) R 9894 9896 9860 0 -1 4202496 20773 0 0 0 346734 42881 0 0 16 0 4 0 924676964 561618944 20729 4294967295 134512640 135680988 3217219456 3217218788 134532931 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9896/statm: 137114 20729 103 286 0 136826 0
[pid=9896/tid=9898] ppid=9894 vsize=548456 CPUtime=974.67
/proc/9896/task/9898/stat : 9898 (gnovelty+) R 9894 9896 9860 0 -1 4202560 110 0 0 0 86485 10982 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3077226844 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9896/tid=9899] ppid=9894 vsize=548456 CPUtime=973.37
/proc/9896/task/9899/stat : 9899 (gnovelty+) R 9894 9896 9860 0 -1 4202560 112 0 0 0 86754 10583 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3067834716 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9896/tid=9900] ppid=9894 vsize=548456 CPUtime=974.46
/proc/9896/task/9900/stat : 9900 (gnovelty+) R 9894 9896 9860 0 -1 4202560 113 0 0 0 86754 10692 0 0 15 0 4 0 924676978 561618944 20729 4294967295 134512640 135680988 3217219456 3058442588 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3896.15
Current children cumulated vsize (KiB) 548456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3896.23
CPU user time (s): 3467.42
CPU system time (s): 428.81
CPU usage (%): 389.607
Max. virtual memory (cumulated for all children) (KiB): 548456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3467.42
system time used= 428.81
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20773
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= 14337171
involuntary context switches= 52115
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi39 at 2009-05-27 15:30:02
IDJOB=1777009
IDBENCH=70185
IDSOLVER=617
FILE ID=tipi39/1777009-1243431002
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-S2015297474-031.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777009-1243431002/watcher-1777009-1243431002 -o /tmp/evaluation-result-1777009-1243431002/solver-1777009-1243431002 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777009-1243431002.cnf 1087155039 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 3b614b06e2532ea8a6491816cc6dd7a8
RANDOM SEED= 1087155039
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: 3206740 kB
Buffers: 21412 kB
Cached: 45484 kB
SwapCached: 0 kB
Active: 62448 kB
Inactive: 20552 kB
HighTotal: 2489216 kB
HighFree: 2430072 kB
LowTotal: 879316 kB
LowFree: 776668 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 2144 kB
Writeback: 0 kB
AnonPages: 16316 kB
Mapped: 6224 kB
Slab: 69336 kB
SReclaimable: 56952 kB
SUnreclaim: 12384 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 94980 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 15:46:44