runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778371-1243479689/watcher-1778371-1243479689 -o /tmp/evaluation-result-1778371-1243479689/solver-1778371-1243479689 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778371-1243479689.cnf 1771884239 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.59 3.76 3.79 3/98 3347
/proc/meminfo: memFree=3196224/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=509228 CPUtime=0
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 1147 0 0 0 0 0 0 0 18 0 1 0 929545651 521449472 1103 4294967295 134512640 135680988 3213864016 3213863280 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3347/statm: 127307 1111 99 286 0 127019 0
[startup+0.086101 s]
/proc/loadavg: 3.59 3.76 3.79 3/98 3347
/proc/meminfo: memFree=3196224/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=0.09
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19775 0 0 0 5 4 0 0 18 0 4 0 929545651 558759936 19730 4294967295 134512640 135680988 3213864016 3213863348 134534049 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19730 103 286 0 136128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 545664
[startup+0.106094 s]
/proc/loadavg: 3.59 3.76 3.79 3/98 3347
/proc/meminfo: memFree=3196224/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=0.16
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19788 0 0 0 9 7 0 0 18 0 4 0 929545651 558759936 19743 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19743 103 286 0 136128 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 545664
[startup+0.306133 s]
/proc/loadavg: 3.59 3.76 3.79 3/98 3347
/proc/meminfo: memFree=3196224/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=0.91
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 53 38 0 0 17 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 545664
[startup+0.70608 s]
/proc/loadavg: 3.59 3.76 3.79 3/98 3347
/proc/meminfo: memFree=3196224/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=2.46
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 141 105 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 545664
[startup+1.50601 s]
/proc/loadavg: 3.59 3.76 3.79 5/102 3351
/proc/meminfo: memFree=3117924/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=5.38
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 313 225 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=1.36
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 87 49 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=1.34
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 76 58 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=1.3
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 71 59 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 545664
[startup+3.10588 s]
/proc/loadavg: 3.59 3.76 3.79 5/102 3351
/proc/meminfo: memFree=3117776/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=11.34
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 650 484 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=2.87
/proc/3347/task/3349/stat : 3349 (gnovelty+) S 3345 3347 9860 0 -1 4202560 4 0 0 0 174 113 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=2.85
/proc/3347/task/3350/stat : 3350 (gnovelty+) S 3345 3347 9860 0 -1 4202560 5 0 0 0 156 129 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=2.77
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 153 124 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 545664
[startup+6.3056 s]
/proc/loadavg: 3.62 3.77 3.79 6/102 3351
/proc/meminfo: memFree=3117708/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=23.31
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 1287 1044 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=5.87
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 333 254 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=5.93
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 322 271 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965740 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=5.68
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 296 272 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 545664
[startup+12.7051 s]
/proc/loadavg: 3.65 3.77 3.79 5/102 3351
/proc/meminfo: memFree=3117492/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=47.42
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 2581 2161 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=11.91
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 656 535 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=11.97
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 652 545 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=11.64
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 616 548 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 545664
[startup+25.5037 s]
/proc/loadavg: 3.73 3.78 3.80 5/102 3562
/proc/meminfo: memFree=3117388/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=94.69
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 5264 4205 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863212 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=23.47
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 1309 1038 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=24.07
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 1330 1077 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=22.99
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 1264 1035 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 94.69
Current children cumulated vsize (KiB) 545664
[startup+51.1116 s]
/proc/loadavg: 3.76 3.78 3.80 5/102 3568
/proc/meminfo: memFree=3117316/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=189.84
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 10593 8391 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=46.98
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 2612 2086 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=48.08
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 2675 2133 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=46.96
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 2597 2099 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 189.84
Current children cumulated vsize (KiB) 545664
[startup+102.318 s]
/proc/loadavg: 3.78 3.78 3.80 5/102 3755
/proc/meminfo: memFree=3117384/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=380.63
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 21211 16852 0 0 16 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=94.77
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 5302 4175 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=95.75
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 5333 4242 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=94.45
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 5225 4220 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 380.63
Current children cumulated vsize (KiB) 545664
[startup+162.313 s]
/proc/loadavg: 3.74 3.77 3.79 5/102 3942
/proc/meminfo: memFree=3117432/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=604.69
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 33533 26936 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=150.32
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 8346 6686 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=152.11
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 8388 6823 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965740 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=150.7
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 8357 6713 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 604.69
Current children cumulated vsize (KiB) 545664
[startup+222.308 s]
/proc/loadavg: 3.80 3.78 3.79 5/102 4130
/proc/meminfo: memFree=3116540/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=829.32
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 45853 37079 0 0 16 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=206.59
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 11487 9172 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=208.17
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 11440 9377 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=206.98
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 11400 9298 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 829.32
Current children cumulated vsize (KiB) 545664
[startup+282.313 s]
/proc/loadavg: 3.96 3.83 3.81 5/102 4318
/proc/meminfo: memFree=3116516/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=1053.37
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 58288 47049 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=262.27
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 14549 11678 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=264.02
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 14512 11890 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=3347] ppid=3345 vsize=545664 CPUtime=1501.99
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 83079 67120 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=374.53
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 20756 16697 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=376.63
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 20800 16863 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=374.97
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 20775 16722 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1501.99
Current children cumulated vsize (KiB) 545664
[startup+462.319 s]
/proc/loadavg: 3.87 3.85 3.82 5/102 4887
/proc/meminfo: memFree=3116432/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=1724.25
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 95249 77176 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=429.69
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 23771 19198 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077358004 134533858 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=431.97
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 23853 19344 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=431.51
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 23905 19246 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.25
Current children cumulated vsize (KiB) 545664
[startup+522.314 s]
/proc/loadavg: 3.81 3.83 3.81 5/102 5075
/proc/meminfo: memFree=3116432/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=1948.47
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 107529 87318 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=485.93
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 26819 21774 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=488.44
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 26951 21893 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=486.97
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 26931 21766 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1948.47
Current children cumulated vsize (KiB) 545664
[startup+582.308 s]
/proc/loadavg: 3.77 3.82 3.81 5/102 5263
/proc/meminfo: memFree=3116532/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=2172.5
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 119793 97457 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=542.03
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 29874 24329 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=544.24
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 29995 24429 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=542.83
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 30004 24279 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2172.5
Current children cumulated vsize (KiB) 545664
[startup+642.314 s]
/proc/loadavg: 3.78 3.82 3.81 7/102 5450
/proc/meminfo: memFree=3116696/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=2396.16
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 132158 107458 0 0 16 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=598.1
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 32944 26866 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=600.13
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 33074 26939 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=598.76
/proc/3347/task/3351/stat : 3351 (gnovelty+) S 3345 3347 9860 0 -1 4202560 4 0 0 0 33126 26750 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2396.16
Current children cumulated vsize (KiB) 545664
[startup+702.309 s]
/proc/loadavg: 3.85 3.83 3.82 5/102 5639
/proc/meminfo: memFree=3116764/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=2617.7
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 144464 117306 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=653.71
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 36070 29301 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=656.18
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 36227 29391 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=653.28
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 36120 29208 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2617.7
Current children cumulated vsize (KiB) 545664
[startup+762.314 s]
/proc/loadavg: 4.10 3.91 3.84 5/102 5826
/proc/meminfo: memFree=3116804/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=2841.7
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 156733 127437 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=709.39
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 39093 31846 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=712.39
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 39273 31966 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=709.41
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 39176 31765 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2841.7
Current children cumulated vsize (KiB) 545664
[startup+822.319 s]
/proc/loadavg: 3.96 3.90 3.84 5/102 6018
/proc/meminfo: memFree=3116780/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=3065.35
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 169031 137504 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=765.36
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 42162 34374 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=768.41
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 42383 34458 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=765.16
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 42223 34293 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3065.35
Current children cumulated vsize (KiB) 545664
[startup+882.314 s]
/proc/loadavg: 3.80 3.87 3.83 5/102 6206
/proc/meminfo: memFree=3116896/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=3288.74
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 181301 147573 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=821.36
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 45247 36889 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=824.72
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 45437 37035 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=820.85
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 45289 36796 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3288.74
Current children cumulated vsize (KiB) 545664
[startup+942.309 s]
/proc/loadavg: 3.84 3.86 3.83 5/102 6396
/proc/meminfo: memFree=3117392/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=3511.91
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 193584 157607 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=877.29
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 48332 39397 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=880.99
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 48483 39616 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965788 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=876.4
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 48405 39235 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3511.91
Current children cumulated vsize (KiB) 545664
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.80 3.85 3.82 5/102 6585
/proc/meminfo: memFree=3117244/3368532 swapFree=1959840/1959888
[pid=3347] ppid=3345 vsize=545664 CPUtime=3726.34
/proc/3347/stat : 3347 (gnovelty+) R 3345 3347 9860 0 -1 4202496 19789 0 0 0 205340 167294 0 0 15 0 4 0 929545651 558759936 19744 4294967295 134512640 135680988 3213864016 3213863260 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3347/statm: 136416 19744 103 286 0 136128 0
[pid=3347/tid=3349] ppid=3345 vsize=545664 CPUtime=930.4
/proc/3347/task/3349/stat : 3349 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 51228 41812 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3077357916 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3347/tid=3350] ppid=3345 vsize=545664 CPUtime=935.1
/proc/3347/task/3350/stat : 3350 (gnovelty+) R 3345 3347 9860 0 -1 4202560 5 0 0 0 51458 42052 0 0 15 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3067965740 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3347/tid=3351] ppid=3345 vsize=545664 CPUtime=930.13
/proc/3347/task/3351/stat : 3351 (gnovelty+) R 3345 3347 9860 0 -1 4202560 4 0 0 0 51352 41661 0 0 16 0 4 0 929545659 558759936 19744 4294967295 134512640 135680988 3213864016 3058573660 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3726.34
Current children cumulated vsize (KiB) 545664
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): 3726.4
CPU user time (s): 2053.44
CPU system time (s): 1672.96
CPU usage (%): 372.626
Max. virtual memory (cumulated for all children) (KiB): 545664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2053.44
system time used= 1672.96
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19789
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= 91420465
involuntary context switches= 191679
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi39 at 2009-05-28 05:01:29
IDJOB=1778371
IDBENCH=70639
IDSOLVER=617
FILE ID=tipi39/1778371-1243479689
PBS_JOBID=
Free space on /tmp= 5744 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/360/unif-k3-r4.25-v360-c1530-S680239195-053.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778371-1243479689/watcher-1778371-1243479689 -o /tmp/evaluation-result-1778371-1243479689/solver-1778371-1243479689 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778371-1243479689.cnf 1771884239 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 5093c545fdc7c5094d7e8f31c2f6e759
RANDOM SEED= 1771884239
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: 3196224 kB
Buffers: 22012 kB
Cached: 54380 kB
SwapCached: 0 kB
Active: 65164 kB
Inactive: 27404 kB
HighTotal: 2489216 kB
HighFree: 2420748 kB
LowTotal: 879316 kB
LowFree: 775476 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1528 kB
Writeback: 0 kB
AnonPages: 15956 kB
Mapped: 6348 kB
Slab: 69676 kB
SReclaimable: 57532 kB
SUnreclaim: 12144 kB
PageTables: 532 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= 5744 MiB
End job on tipi39 at 2009-05-28 05:18:11