runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777183-1243438277/watcher-1777183-1243438277 -o /tmp/evaluation-result-1777183-1243438277/solver-1777183-1243438277 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777183-1243438277.cnf 621109289 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.94 4.95 4.67 3/97 31096
/proc/meminfo: memFree=3087608/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=509232 CPUtime=0
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 1414 0 0 0 0 0 0 0 18 0 1 0 1097964910 521453568 1370 4294967295 134512640 135680988 3217405872 3217405136 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/31096/statm: 127308 1378 99 286 0 127020 0
[startup+0.02449 s]
/proc/loadavg: 4.94 4.95 4.67 3/97 31096
/proc/meminfo: memFree=3087608/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=509232 CPUtime=0.02
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 8004 0 0 0 0 2 0 0 18 0 1 0 1097964910 521453568 7960 4294967295 134512640 135680988 3217405872 3217405136 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/31096/statm: 127308 7967 99 286 0 127020 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509232
[startup+0.114482 s]
/proc/loadavg: 4.94 4.95 4.67 3/97 31096
/proc/meminfo: memFree=3087608/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=517044 CPUtime=0.11
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 16519 0 0 0 5 6 0 0 18 0 1 0 1097964910 529453056 16474 4294967295 134512640 135680988 3217405872 3217405136 134537842 0 0 0 0 0 0 0 17 3 0 0 0
/proc/31096/statm: 129261 16478 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044
[startup+0.314467 s]
/proc/loadavg: 4.94 4.95 4.67 3/97 31096
/proc/meminfo: memFree=3087608/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=0.74
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 66 8 0 0 18 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 548192
[startup+0.714445 s]
/proc/loadavg: 4.94 4.95 4.67 3/97 31096
/proc/meminfo: memFree=3087608/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2.34
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 224 10 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 548192
[startup+1.51437 s]
/proc/loadavg: 4.95 4.95 4.67 6/101 31100
/proc/meminfo: memFree=3007372/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=5.39
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 524 15 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=1.34
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 133 1 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771700 134533489 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=1.3
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 128 2 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=1.26
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 124 2 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 548192
[startup+3.11557 s]
/proc/loadavg: 4.95 4.95 4.67 6/101 31100
/proc/meminfo: memFree=3007372/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=11.46
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 1123 23 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=2.89
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 288 1 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=2.78
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 276 2 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=2.69
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 263 6 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 548192
[startup+6.31682 s]
/proc/loadavg: 4.95 4.95 4.67 7/101 31100
/proc/meminfo: memFree=3007484/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=24
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 2362 38 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=5.98
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 592 6 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=5.87
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 581 6 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=5.86
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 576 10 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24
Current children cumulated vsize (KiB) 548192
[startup+12.7137 s]
/proc/loadavg: 4.95 4.95 4.67 8/101 31100
/proc/meminfo: memFree=3007408/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=48.88
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 4816 72 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405204 134534538 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=12.22
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 1207 15 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=12.12
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 1199 13 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=11.94
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 1175 19 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.88
Current children cumulated vsize (KiB) 548192
[startup+25.5138 s]
/proc/loadavg: 5.12 4.98 4.69 5/101 31100
/proc/meminfo: memFree=3007396/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=97.38
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 9580 158 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=24.63
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 2426 37 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=23.79
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 2343 36 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=23.8
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 2342 38 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.38
Current children cumulated vsize (KiB) 548192
[startup+51.1116 s]
/proc/loadavg: 4.81 4.92 4.67 6/101 31104
/proc/meminfo: memFree=3007272/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=197.03
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 19402 301 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=49.61
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 4893 68 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=48.88
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 4805 83 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=48.51
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 4783 68 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 197.03
Current children cumulated vsize (KiB) 548192
[startup+102.311 s]
/proc/loadavg: 4.48 4.81 4.65 6/101 31289
/proc/meminfo: memFree=3006652/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=393.56
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 38749 607 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=98.49
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 9692 157 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=98.42
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 9677 165 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=97.03
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 9564 139 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 393.56
Current children cumulated vsize (KiB) 548192
[startup+162.305 s]
/proc/loadavg: 4.71 4.81 4.65 7/101 31478
/proc/meminfo: memFree=3006528/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=624.84
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 61515 969 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=156.04
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 15363 241 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=155.97
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 15334 263 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=155.19
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 15297 222 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 624.84
Current children cumulated vsize (KiB) 548192
[startup+222.321 s]
/proc/loadavg: 4.76 4.81 4.66 7/101 31667
/proc/meminfo: memFree=3006528/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=856.84
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 84337 1347 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=213.5
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 21022 328 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=214.58
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 21095 363 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=212.88
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 20967 321 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 856.84
Current children cumulated vsize (KiB) 548192
[startup+282.313 s]
/proc/loadavg: 4.65 4.76 4.65 6/101 31860
/proc/meminfo: memFree=3006464/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=1088.54
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 107144 1710 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=271.25
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 26711 414 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=272.52
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 26798 454 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=31096] ppid=31094 vsize=548192 CPUtime=1549.5
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 152554 2396 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=385.09
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 37929 580 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=387.34
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 38112 622 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=387.36
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 38139 597 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1549.5
Current children cumulated vsize (KiB) 548192
[startup+462.309 s]
/proc/loadavg: 4.89 4.83 4.69 7/101 32423
/proc/meminfo: memFree=3006272/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=1779.13
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 175201 2712 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=442.47
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 43582 665 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=444.8
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 43789 691 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=444.92
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 43816 676 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987444 134533073 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1779.13
Current children cumulated vsize (KiB) 548192
[startup+522.307 s]
/proc/loadavg: 4.84 4.83 4.69 7/101 32612
/proc/meminfo: memFree=3006372/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2010.07
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 197912 3095 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=499.51
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 49200 751 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=502.28
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 49431 797 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=503.53
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 49589 764 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2010.07
Current children cumulated vsize (KiB) 548192
[startup+582.31 s]
/proc/loadavg: 5.12 4.89 4.72 6/101 337
/proc/meminfo: memFree=3005896/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2242.83
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 220838 3445 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=557.63
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 54934 829 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=560.44
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 55147 897 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=561.2
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 55269 851 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2242.83
Current children cumulated vsize (KiB) 548192
[startup+642.319 s]
/proc/loadavg: 5.21 4.93 4.75 6/101 523
/proc/meminfo: memFree=3005872/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2475.33
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 243747 3786 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=615.02
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 60588 914 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=618.85
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 60908 977 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=619.44
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 60998 946 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2475.33
Current children cumulated vsize (KiB) 548192
[startup+702.31 s]
/proc/loadavg: 5.31 4.99 4.77 5/101 526
/proc/meminfo: memFree=3005908/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2708.37
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 266714 4123 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=673.27
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 66319 1008 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771700 134533934 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=676.29
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 66577 1052 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=678.33
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 66814 1019 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2708.37
Current children cumulated vsize (KiB) 548192
[startup+762.318 s]
/proc/loadavg: 5.12 4.99 4.78 7/101 715
/proc/meminfo: memFree=3006404/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=2939.6
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 289475 4485 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=730.83
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 71995 1088 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=734.15
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 72278 1137 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=736.74
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 72556 1118 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2939.6
Current children cumulated vsize (KiB) 548192
[startup+822.31 s]
/proc/loadavg: 4.83 4.94 4.78 5/101 904
/proc/meminfo: memFree=3006156/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=3170.75
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 312238 4837 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=788.17
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 77648 1169 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=791.8
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 77949 1231 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379572 134534551 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=794.87
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 78280 1207 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3170.75
Current children cumulated vsize (KiB) 548192
[startup+882.311 s]
/proc/loadavg: 4.58 4.85 4.76 5/101 1104
/proc/meminfo: memFree=3005712/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=3401.76
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 334954 5222 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405204 134534807 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=845.62
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 83297 1265 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=850.19
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 83686 1333 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=852.36
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 83937 1299 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3401.76
Current children cumulated vsize (KiB) 548192
[startup+942.311 s]
/proc/loadavg: 4.93 4.92 4.79 6/101 1295
/proc/meminfo: memFree=3005636/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=3633.46
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 357761 5585 0 0 15 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=903.23
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 88973 1350 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=908.47
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 89420 1427 0 0 16 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=910.42
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 89649 1393 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3633.46
Current children cumulated vsize (KiB) 548192
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 5.06 4.97 4.81 5/101 1481
/proc/meminfo: memFree=3005744/3368532 swapFree=1952996/1959888
[pid=31096] ppid=31094 vsize=548192 CPUtime=3858.19
/proc/31096/stat : 31096 (gnovelty+) R 31094 31096 8948 0 -1 4202496 20500 0 0 0 379913 5906 0 0 16 0 4 0 1097964910 561348608 20455 4294967295 134512640 135680988 3217405872 3217405204 134534000 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31096/statm: 137048 20455 103 286 0 136760 0
[pid=31096/tid=31098] ppid=31094 vsize=548192 CPUtime=959.16
/proc/31096/task/31098/stat : 31098 (gnovelty+) R 31094 31096 8948 0 -1 4202560 102 0 0 0 94495 1421 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3077771612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31096/tid=31099] ppid=31094 vsize=548192 CPUtime=964.77
/proc/31096/task/31099/stat : 31099 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 94964 1513 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3068379484 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31096/tid=31100] ppid=31094 vsize=548192 CPUtime=967.15
/proc/31096/task/31100/stat : 31100 (gnovelty+) R 31094 31096 8948 0 -1 4202560 103 0 0 0 95247 1468 0 0 15 0 4 0 1097964924 561348608 20455 4294967295 134512640 135680988 3217405872 3058987356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3858.19
Current children cumulated vsize (KiB) 548192
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.05
CPU time (s): 3858.27
CPU user time (s): 3799.21
CPU system time (s): 59.06
CPU usage (%): 385.81
Max. virtual memory (cumulated for all children) (KiB): 548192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3799.21
system time used= 59.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20500
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= 1192220
involuntary context switches= 42182
runsolver used 0.39 second user time and 0.37 second system time
The end
Begin job on tipi45 at 2009-05-27 17:31:17
IDJOB=1777183
IDBENCH=70243
IDSOLVER=617
FILE ID=tipi45/1777183-1243438277
PBS_JOBID=
Free space on /tmp= 15501 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/220/unif-k7-r85-v220-c18700-S1127319144-058.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777183-1243438277/watcher-1777183-1243438277 -o /tmp/evaluation-result-1777183-1243438277/solver-1777183-1243438277 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777183-1243438277.cnf 621109289 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 79b21fea94540db2568097a6c80690f8
RANDOM SEED= 621109289
Linux tipi45 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.081
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.081
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.081
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.081
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3087608 kB
Buffers: 123040 kB
Cached: 51696 kB
SwapCached: 2100 kB
Active: 64192 kB
Inactive: 119716 kB
HighTotal: 2489216 kB
HighFree: 2425148 kB
LowTotal: 879316 kB
LowFree: 662460 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 2092 kB
Writeback: 0 kB
AnonPages: 7988 kB
Mapped: 3232 kB
Slab: 85016 kB
SReclaimable: 73636 kB
SUnreclaim: 11380 kB
PageTables: 480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89408 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15501 MiB
End job on tipi45 at 2009-05-27 17:47:59