runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777867-1243458679/watcher-1777867-1243458679 -o /tmp/evaluation-result-1777867-1243458679/solver-1777867-1243458679 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777867-1243458679.cnf 1194091615 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.04 4.49 4.56 3/96 2004
/proc/meminfo: memFree=219360/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=509228 CPUtime=0
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 920 0 0 0 0 0 0 0 18 0 1 0 1110531975 521449472 876 4294967295 134512640 135680988 3217362848 3217362112 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2004/statm: 127307 884 99 286 0 127019 0
[startup+0.047926 s]
/proc/loadavg: 4.04 4.49 4.56 3/96 2004
/proc/meminfo: memFree=219360/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=517040 CPUtime=0.05
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 10178 0 0 0 1 4 0 0 18 0 1 0 1110531975 529448960 10133 4294967295 134512640 135680988 3217362848 3217362112 134537708 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2004/statm: 129260 10144 99 286 0 128972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517040
[startup+0.11792 s]
/proc/loadavg: 4.04 4.49 4.56 3/96 2004
/proc/meminfo: memFree=219360/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=0.12
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19878 0 0 0 6 6 0 0 18 0 4 0 1110531975 559534080 19833 4294967295 134512640 135680988 3217362848 3217362180 134535076 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19833 103 286 0 136317 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 546420
[startup+0.318058 s]
/proc/loadavg: 4.04 4.49 4.56 3/96 2004
/proc/meminfo: memFree=219360/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=0.89
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 82 7 0 0 17 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 546420
[startup+0.717867 s]
/proc/loadavg: 4.04 4.49 4.56 3/96 2004
/proc/meminfo: memFree=219360/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2.49
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 238 11 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 546420
[startup+1.51799 s]
/proc/loadavg: 4.04 4.49 4.56 5/100 2008
/proc/meminfo: memFree=140928/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=5.52
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 537 15 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362180 134533350 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=1.3
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 128 2 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=1.35
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 132 3 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=1.37
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 135 2 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 546420
[startup+3.11915 s]
/proc/loadavg: 4.04 4.49 4.56 6/100 2008
/proc/meminfo: memFree=140780/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=11.74
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 1152 22 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=2.86
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 283 3 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=2.93
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 285 8 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=2.85
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 282 3 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 546420
[startup+6.3258 s]
/proc/loadavg: 4.04 4.49 4.56 5/100 2009
/proc/meminfo: memFree=140736/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=23.77
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 2339 38 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=5.9
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 583 7 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=6.01
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 590 11 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=5.88
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 582 6 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 546420
[startup+12.7186 s]
/proc/loadavg: 4.20 4.51 4.57 6/100 2009
/proc/meminfo: memFree=140488/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=48.37
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 4759 78 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=12.17
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 1201 16 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=11.96
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 1174 22 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=12.01
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 1189 12 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.37
Current children cumulated vsize (KiB) 546420
[startup+25.5158 s]
/proc/loadavg: 4.45 4.55 4.58 6/100 2011
/proc/meminfo: memFree=140584/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=97.07
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 9529 178 0 0 16 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362180 134533455 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=24.39
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 2393 46 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=24.3
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 2387 43 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=23.99
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 2359 40 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.07
Current children cumulated vsize (KiB) 546420
[startup+51.1241 s]
/proc/loadavg: 4.29 4.50 4.56 6/100 2195
/proc/meminfo: memFree=140228/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=195.95
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 19209 386 0 0 16 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=49.13
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 4817 96 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087668 134533436 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=49.19
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 4834 85 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=48.75
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 4778 97 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303412 134533436 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.95
Current children cumulated vsize (KiB) 546420
[startup+102.319 s]
/proc/loadavg: 4.55 4.55 4.57 8/100 2204
/proc/meminfo: memFree=140252/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=394.23
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 38675 748 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=98.25
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 9624 201 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=99.28
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 9761 167 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695488 134543234 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=98.1
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 9630 180 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 394.23
Current children cumulated vsize (KiB) 546420
[startup+162.315 s]
/proc/loadavg: 5.10 4.70 4.62 5/100 2391
/proc/meminfo: memFree=140004/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=628.34
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 61654 1180 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=157.03
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 15407 296 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=157.97
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 15517 280 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=156.33
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 15343 290 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 628.34
Current children cumulated vsize (KiB) 546420
[startup+222.311 s]
/proc/loadavg: 5.27 4.82 4.66 5/100 2582
/proc/meminfo: memFree=139996/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=861.93
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 84598 1595 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=215.48
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 21152 396 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=215.91
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 21205 386 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=214.97
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 21107 390 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 861.93
Current children cumulated vsize (KiB) 546420
[startup+282.312 s]
/proc/loadavg: 4.95 4.82 4.67 5/100 2777
/proc/meminfo: memFree=140120/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=1094.17
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 107430 1987 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=273.51
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 26871 480 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=274.08
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 26920 488 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=2004] ppid=2002 vsize=546420 CPUtime=1557.99
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 152978 2821 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=390.01
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 38321 680 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=390.35
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 38329 706 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=388.29
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 38121 708 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1557.99
Current children cumulated vsize (KiB) 546420
[startup+462.31 s]
/proc/loadavg: 4.99 4.90 4.73 7/100 3354
/proc/meminfo: memFree=140128/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=1790.49
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 175816 3233 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=448.62
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 44089 773 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087668 134533058 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=448.34
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 44014 820 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=446.09
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 43805 804 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (KiB) 546420
[startup+522.315 s]
/proc/loadavg: 4.90 4.89 4.73 5/100 3569
/proc/meminfo: memFree=139872/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2022.66
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 198584 3682 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=505.93
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 49717 876 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087668 134533489 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=506.99
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 49765 934 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695540 134533036 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=504.03
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 49478 925 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2022.66
Current children cumulated vsize (KiB) 546420
[startup+582.309 s]
/proc/loadavg: 4.62 4.80 4.71 6/100 3757
/proc/meminfo: memFree=139872/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2252.58
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 221163 4095 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=563.38
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 55353 985 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=564.57
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 55435 1022 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=561.75
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 55140 1035 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2252.58
Current children cumulated vsize (KiB) 546420
[startup+642.337 s]
/proc/loadavg: 4.71 4.79 4.71 5/100 3944
/proc/meminfo: memFree=139880/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2485.16
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 244015 4501 0 0 16 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=621.71
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 61091 1080 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=622.7
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 61145 1125 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=619.77
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 60837 1140 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2485.16
Current children cumulated vsize (KiB) 546420
[startup+702.31 s]
/proc/loadavg: 4.98 4.85 4.74 6/100 4133
/proc/meminfo: memFree=139748/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2718.01
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 266833 4968 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362180 134533050 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=681.03
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 66902 1201 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087668 134533494 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=680.62
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 66826 1236 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=677.63
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 66519 1244 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2718.01
Current children cumulated vsize (KiB) 546420
[startup+762.316 s]
/proc/loadavg: 5.13 4.93 4.77 6/100 4321
/proc/meminfo: memFree=139756/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=2951.88
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 289747 5441 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=739.67
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 72658 1309 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=738.91
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 72539 1352 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=735.93
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 72227 1366 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2951.88
Current children cumulated vsize (KiB) 546420
[startup+822.31 s]
/proc/loadavg: 4.85 4.90 4.77 6/100 4509
/proc/meminfo: memFree=139748/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=3184.22
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 312572 5850 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=797.73
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 78362 1411 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=797.39
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 78285 1454 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=793.92
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 77935 1457 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3184.22
Current children cumulated vsize (KiB) 546420
[startup+882.307 s]
/proc/loadavg: 4.91 4.89 4.77 7/100 4701
/proc/meminfo: memFree=139376/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=3416.49
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 335351 6298 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=855.97
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 84077 1520 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=855.17
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 83950 1567 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=851.76
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 83606 1570 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3416.49
Current children cumulated vsize (KiB) 546420
[startup+942.31 s]
/proc/loadavg: 5.03 4.93 4.79 5/100 4888
/proc/meminfo: memFree=139632/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=3650.89
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 358332 6757 0 0 16 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=915.06
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 89882 1624 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=913.99
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 89697 1702 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=910.03
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 89327 1676 0 0 16 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3650.89
Current children cumulated vsize (KiB) 546420
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.21 4.99 4.82 5/100 5077
/proc/meminfo: memFree=139500/3368532 swapFree=1953788/1959888
[pid=2004] ppid=2002 vsize=546420 CPUtime=3874.35
/proc/2004/stat : 2004 (gnovelty+) R 2002 2004 10015 0 -1 4202496 19968 0 0 0 380247 7188 0 0 15 0 4 0 1110531975 559534080 19923 4294967295 134512640 135680988 3217362848 3217362092 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2004/statm: 136605 19923 103 286 0 136317 0
[pid=2004/tid=2006] ppid=2002 vsize=546420 CPUtime=971.56
/proc/2004/task/2006/stat : 2006 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 95426 1730 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3077087580 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2004/tid=2007] ppid=2002 vsize=546420 CPUtime=970.17
/proc/2004/task/2007/stat : 2007 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 95207 1810 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2004/tid=2008] ppid=2002 vsize=546420 CPUtime=965.47
/proc/2004/task/2008/stat : 2008 (gnovelty+) R 2002 2004 10015 0 -1 4202560 30 0 0 0 94771 1776 0 0 15 0 4 0 1110531985 559534080 19923 4294967295 134512640 135680988 3217362848 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3874.35
Current children cumulated vsize (KiB) 546420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 3874.43
CPU user time (s): 3802.55
CPU system time (s): 71.88
CPU usage (%): 387.431
Max. virtual memory (cumulated for all children) (KiB): 546420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3802.55
system time used= 71.88
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19968
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= 1264203
involuntary context switches= 39589
runsolver used 0.35 second user time and 0.38 second system time
The end
Begin job on at 2009-05-27 23:11:19
IDJOB=1777867
IDBENCH=70471
IDSOLVER=617
FILE ID=/1777867-1243458679
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/70/unif-k7-r89-v70-c6230-S1758422766-080.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777867-1243458679/watcher-1777867-1243458679 -o /tmp/evaluation-result-1777867-1243458679/solver-1777867-1243458679 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777867-1243458679.cnf 1194091615 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= d43ec7420ae06189526d8ca748662c3c
RANDOM SEED= 1194091615
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.061
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.061
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.061
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.061
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: 219360 kB
Buffers: 47088 kB
Cached: 2932040 kB
SwapCached: 2256 kB
Active: 1721724 kB
Inactive: 1266760 kB
HighTotal: 2489216 kB
HighFree: 87732 kB
LowTotal: 879316 kB
LowFree: 131628 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1480 kB
Writeback: 0 kB
AnonPages: 8432 kB
Mapped: 3184 kB
Slab: 151376 kB
SReclaimable: 137604 kB
SUnreclaim: 13772 kB
PageTables: 472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88480 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-27 23:28:01