runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778152-1243467686/watcher-1778152-1243467686 -o /tmp/evaluation-result-1778152-1243467686/solver-1778152-1243467686 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778152-1243467686.cnf 102923178 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.75 4.57 4.44 3/109 27677
/proc/meminfo: memFree=710564/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=509228 CPUtime=0
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 1589 0 0 0 0 0 0 0 18 0 1 0 1111431408 521449472 1546 4294967295 134512640 135680988 3216795408 3216794672 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/27677/statm: 127307 1555 99 286 0 127019 0
[startup+0.074784 s]
/proc/loadavg: 4.75 4.57 4.44 3/109 27677
/proc/meminfo: memFree=710564/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=517040 CPUtime=0.07
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 17840 0 0 0 2 5 0 0 18 0 1 0 1111431408 529448960 17797 4294967295 134512640 135680988 3216795408 3216794672 134537842 0 0 0 0 0 0 0 17 3 0 0 0
/proc/27677/statm: 129260 17807 99 286 0 128972 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517040
[startup+0.104779 s]
/proc/loadavg: 4.75 4.57 4.44 3/109 27677
/proc/meminfo: memFree=710564/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=0.11
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19826 0 0 0 5 6 0 0 20 0 4 0 1111431408 559034368 19782 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27677/statm: 136483 19782 103 286 0 136195 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 545932
[startup+0.304766 s]
/proc/loadavg: 4.75 4.57 4.44 3/109 27677
/proc/meminfo: memFree=710564/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=0.79
/proc/27677/stat : 27677 (gnovelty+) S 27675 27677 7955 0 -1 4202496 19830 0 0 0 44 35 0 0 18 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 545932
[startup+0.704745 s]
/proc/loadavg: 4.75 4.57 4.44 3/109 27677
/proc/meminfo: memFree=710564/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=2.33
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 124 109 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 545932
[startup+1.50474 s]
/proc/loadavg: 4.61 4.54 4.44 5/113 27681
/proc/meminfo: memFree=631840/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=5.28
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 290 238 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=1.28
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 61 67 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=1.3
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 78 52 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=1.26
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 67 59 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089708 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 545932
[startup+3.10485 s]
/proc/loadavg: 4.61 4.54 4.44 5/113 27681
/proc/meminfo: memFree=631840/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=11.16
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 612 504 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=2.76
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 131 145 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=2.74
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 158 116 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=2.71
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 158 113 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 545932
[startup+6.30466 s]
/proc/loadavg: 4.61 4.54 4.44 5/113 27681
/proc/meminfo: memFree=631840/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=22.99
/proc/27677/stat : 27677 (gnovelty+) S 27675 27677 7955 0 -1 4202496 19830 0 0 0 1259 1040 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=5.65
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 280 285 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=5.75
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 329 246 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=5.74
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 326 248 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 545932
[startup+12.7041 s]
/proc/loadavg: 4.66 4.56 4.44 6/113 27682
/proc/meminfo: memFree=631648/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=46.82
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 2533 2149 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=11.52
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 580 572 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=11.72
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 637 535 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=11.71
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 650 521 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.82
Current children cumulated vsize (KiB) 545932
[startup+25.5035 s]
/proc/loadavg: 4.63 4.55 4.44 5/113 27683
/proc/meminfo: memFree=631712/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=94.45
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 5165 4280 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=23.31
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 1216 1115 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=23.62
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 1274 1088 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=23.83
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 1339 1044 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.45
Current children cumulated vsize (KiB) 545932
[startup+51.1021 s]
/proc/loadavg: 4.62 4.56 4.45 5/113 27867
/proc/meminfo: memFree=631484/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=189.69
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 10382 8587 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794604 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=47.34
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 2538 2196 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=47.39
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 2616 2123 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=47.62
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 2643 2119 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089708 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 189.69
Current children cumulated vsize (KiB) 545932
[startup+102.319 s]
/proc/loadavg: 4.43 4.52 4.44 7/114 27916
/proc/meminfo: memFree=631296/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=379.93
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 20973 17020 0 0 16 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=95.04
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 5164 4340 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=94.71
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 5201 4270 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481836 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=95.45
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 5334 4211 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 379.93
Current children cumulated vsize (KiB) 545932
[startup+162.316 s]
/proc/loadavg: 4.40 4.49 4.43 5/113 28064
/proc/meminfo: memFree=631372/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=602.84
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 33304 26980 0 0 16 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=150.86
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 8243 6843 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=150.6
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 8234 6826 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=150.93
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 8435 6658 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 602.84
Current children cumulated vsize (KiB) 545932
[startup+222.313 s]
/proc/loadavg: 4.36 4.47 4.43 6/114 28306
/proc/meminfo: memFree=630816/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=824.86
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 45513 36973 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=206.5
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 11232 9418 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=205.77
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 11253 9324 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=206.88
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 11561 9127 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 824.86
Current children cumulated vsize (KiB) 545932
[startup+282.31 s]
/proc/loadavg: 4.38 4.45 4.43 5/113 28439
/proc/meminfo: memFree=631124/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=1048.91
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 57833 47058 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=262.48
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 14268 11980 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=261.41
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 14230 11911 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=27677] ppid=27675 vsize=545932 CPUtime=1493.49
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 82274 67075 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=372.34
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 20318 16916 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=372.99
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 20285 17014 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=374.28
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 20848 16580 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1493.49
Current children cumulated vsize (KiB) 545932
[startup+462.311 s]
/proc/loadavg: 4.36 4.44 4.43 5/113 29005
/proc/meminfo: memFree=631124/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=1717.36
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 94496 77240 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=428.36
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 10 0 0 0 23316 19520 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077873964 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=428.75
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 23307 19568 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=430.34
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 23982 19052 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1717.36
Current children cumulated vsize (KiB) 545932
[startup+522.307 s]
/proc/loadavg: 4.38 4.43 4.43 5/113 29197
/proc/meminfo: memFree=631232/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=1941.23
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19830 0 0 0 106570 87553 0 0 15 0 4 0 1111431408 559034368 19786 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19786 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=484.13
/proc/27677/task/27679/stat : 27679 (gnovelty+) S 27675 27677 7955 0 -1 4202560 10 0 0 0 26284 22129 0 0 16 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=485.32
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 26357 22175 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=486.39
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 27000 21639 0 0 15 0 4 0 1111431416 559034368 19786 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1941.23
Current children cumulated vsize (KiB) 545932
[startup+582.314 s]
/proc/loadavg: 4.26 4.40 4.41 4/113 29384
/proc/meminfo: memFree=631744/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=2164.72
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 118866 97606 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=540.44
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 29394 24650 0 0 16 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=541.18
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 29380 24738 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=541.93
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 30110 24083 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2164.72
Current children cumulated vsize (KiB) 545932
[startup+642.311 s]
/proc/loadavg: 4.33 4.38 4.41 7/114 29711
/proc/meminfo: memFree=631344/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=2387.43
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 131027 107716 0 0 16 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794668 134997786 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=596.48
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 32454 27194 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=596.75
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 32388 27287 0 0 16 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=597.44
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 33105 26639 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2387.43
Current children cumulated vsize (KiB) 545932
[startup+702.308 s]
/proc/loadavg: 4.15 4.33 4.38 5/113 29761
/proc/meminfo: memFree=631504/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=2610.53
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 143272 117781 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=652.35
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 35499 29736 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=652.64
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 35451 29813 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=653.09
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 36144 29165 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2610.53
Current children cumulated vsize (KiB) 545932
[startup+762.315 s]
/proc/loadavg: 4.24 4.31 4.37 6/114 30065
/proc/meminfo: memFree=631256/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=2834.06
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 155475 127931 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=708.13
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 38477 32336 0 0 16 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=708.8
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 38503 32377 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=708.98
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 39278 31620 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2834.06
Current children cumulated vsize (KiB) 545932
[startup+822.312 s]
/proc/loadavg: 4.07 4.25 4.34 5/113 30137
/proc/meminfo: memFree=631496/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=3057.29
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 167734 137995 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=764.04
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 41512 34892 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=764.72
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 41628 34844 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=764.68
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 42302 34166 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3057.29
Current children cumulated vsize (KiB) 545932
[startup+882.309 s]
/proc/loadavg: 3.97 4.19 4.32 7/114 30395
/proc/meminfo: memFree=631040/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=3279.79
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 180092 147887 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=819.9
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 44619 37371 0 0 16 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=820.03
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 44718 37285 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=820.29
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 45309 36720 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.79
Current children cumulated vsize (KiB) 545932
[startup+942.306 s]
/proc/loadavg: 3.92 4.12 4.28 5/113 30515
/proc/meminfo: memFree=631132/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=3502.97
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 192379 157918 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794604 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=875.45
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 47610 39935 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=875.77
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 47774 39803 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481836 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=876.42
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 48406 39236 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3502.97
Current children cumulated vsize (KiB) 545932
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.97 4.10 4.26 5/113 30704
/proc/meminfo: memFree=631132/3368532 swapFree=1959840/1959888
[pid=27677] ppid=27675 vsize=545932 CPUtime=3716.47
/proc/27677/stat : 27677 (gnovelty+) R 27675 27677 7955 0 -1 4202496 19831 0 0 0 204241 167406 0 0 15 0 4 0 1111431408 559034368 19787 4294967295 134512640 135680988 3216795408 3216794652 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27677/statm: 136483 19787 103 286 0 136195 0
[pid=27677/tid=27679] ppid=27675 vsize=545932 CPUtime=929.17
/proc/27677/task/27679/stat : 27679 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 50646 42271 0 0 16 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3077874012 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27677/tid=27680] ppid=27675 vsize=545932 CPUtime=929.04
/proc/27677/task/27680/stat : 27680 (gnovelty+) R 27675 27677 7955 0 -1 4202560 12 0 0 0 50715 42189 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3068481836 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27677/tid=27681] ppid=27675 vsize=545932 CPUtime=930.05
/proc/27677/task/27681/stat : 27681 (gnovelty+) R 27675 27677 7955 0 -1 4202560 11 0 0 0 51387 41618 0 0 15 0 4 0 1111431416 559034368 19787 4294967295 134512640 135680988 3216795408 3059089756 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3716.47
Current children cumulated vsize (KiB) 545932
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): 3716.55
CPU user time (s): 2042.43
CPU system time (s): 1674.12
CPU usage (%): 371.641
Max. virtual memory (cumulated for all children) (KiB): 545932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2042.43
system time used= 1674.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19831
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= 91394033
involuntary context switches= 216734
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on at 2009-05-28 01:41:26
IDJOB=1778152
IDBENCH=70566
IDSOLVER=617
FILE ID=/1778152-1243467686
PBS_JOBID=
Free space on /tmp= 7987 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/560/unif-k3-r4.25-v560-c2380-S374947955-075.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778152-1243467686/watcher-1778152-1243467686 -o /tmp/evaluation-result-1778152-1243467686/solver-1778152-1243467686 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778152-1243467686.cnf 102923178 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 1c26be7e8f45c396fe1a5a9f4716cff4
RANDOM SEED= 102923178
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
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.12
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.073
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.14
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.073
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: 711008 kB
Buffers: 41720 kB
Cached: 2434752 kB
SwapCached: 0 kB
Active: 1299392 kB
Inactive: 1196172 kB
HighTotal: 2489216 kB
HighFree: 449936 kB
LowTotal: 879316 kB
LowFree: 261072 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1380 kB
Writeback: 0 kB
AnonPages: 19076 kB
Mapped: 7584 kB
Slab: 151896 kB
SReclaimable: 138540 kB
SUnreclaim: 13356 kB
PageTables: 664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7987 MiB
End job on at 2009-05-28 01:58:06