runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777603-1243451128/watcher-1777603-1243451128 -o /tmp/evaluation-result-1777603-1243451128/solver-1777603-1243451128 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777603-1243451128.cnf 459090015 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.92 4.10 4.01 3/97 5534
/proc/meminfo: memFree=3081204/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=509232 CPUtime=0
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 1332 0 0 0 0 0 0 0 18 0 1 0 1099250067 521453568 1288 4294967295 134512640 135680988 3216815904 3216815168 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/5534/statm: 127308 1295 99 286 0 127020 0
[startup+0.109462 s]
/proc/loadavg: 3.92 4.10 4.01 3/97 5534
/proc/meminfo: memFree=3081204/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=0.14
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 8 6 0 0 18 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545804
[startup+0.219607 s]
/proc/loadavg: 3.92 4.10 4.01 3/97 5534
/proc/meminfo: memFree=3081204/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=0.55
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 42 13 0 0 18 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 545804
[startup+0.329469 s]
/proc/loadavg: 3.92 4.10 4.01 3/97 5534
/proc/meminfo: memFree=3081204/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=0.98
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 78 20 0 0 17 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 545804
[startup+0.719432 s]
/proc/loadavg: 3.92 4.10 4.01 3/97 5534
/proc/meminfo: memFree=3081204/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2.51
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 202 49 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 545804
[startup+1.51943 s]
/proc/loadavg: 3.92 4.10 4.01 5/101 5538
/proc/meminfo: memFree=3002500/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=5.62
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 452 110 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=1.4
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 111 29 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=1.38
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 124 14 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=1.4
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 114 26 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 545804
[startup+3.1187 s]
/proc/loadavg: 3.92 4.10 4.01 5/101 5538
/proc/meminfo: memFree=3002500/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=11.53
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 929 224 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=2.84
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 223 61 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=2.96
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 255 41 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=2.76
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 227 49 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 545804
[startup+6.3189 s]
/proc/loadavg: 3.92 4.10 4.00 5/101 5538
/proc/meminfo: memFree=3002532/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=24.02
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 1947 455 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=5.9
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 473 117 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=6.1
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 507 103 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=5.88
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 483 105 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (KiB) 545804
[startup+12.7181 s]
/proc/loadavg: 3.93 4.10 4.00 5/101 5540
/proc/meminfo: memFree=3002284/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=48.9
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 3993 897 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=12.03
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 968 235 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=12.28
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 1027 201 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=12.1
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 1005 205 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.9
Current children cumulated vsize (KiB) 545804
[startup+25.517 s]
/proc/loadavg: 3.87 4.08 4.00 5/101 5546
/proc/meminfo: memFree=3002108/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=98.54
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 8037 1817 0 0 16 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=24.4
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 1978 462 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=24.73
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 2033 440 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=24.4
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 2018 422 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848180 134534336 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.54
Current children cumulated vsize (KiB) 545804
[startup+51.1155 s]
/proc/loadavg: 4.04 4.10 4.01 5/101 5731
/proc/meminfo: memFree=3001864/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=195.79
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 16005 3574 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=48.39
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 3936 903 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=49.44
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 4059 885 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=48.87
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 4045 842 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.79
Current children cumulated vsize (KiB) 545804
[startup+102.311 s]
/proc/loadavg: 4.09 4.11 4.01 5/101 5735
/proc/meminfo: memFree=3001876/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=394.42
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 32141 7301 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=98.14
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 7967 1847 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=99.12
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 8128 1784 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=98.53
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 8050 1803 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 394.42
Current children cumulated vsize (KiB) 545804
[startup+162.307 s]
/proc/loadavg: 4.13 4.12 4.02 5/101 5922
/proc/meminfo: memFree=3001884/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=625.53
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 51088 11465 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=156.46
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 12764 2882 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=156.74
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 12821 2853 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=156.25
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 12807 2818 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 625.53
Current children cumulated vsize (KiB) 545804
[startup+222.312 s]
/proc/loadavg: 4.04 4.09 4.01 5/101 6109
/proc/meminfo: memFree=3001892/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=857.74
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 70046 15728 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=214.42
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 17502 3940 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=214.72
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 17601 3871 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=214.65
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 17552 3913 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 857.74
Current children cumulated vsize (KiB) 545804
[startup+282.307 s]
/proc/loadavg: 4.01 4.08 4.01 5/101 6298
/proc/meminfo: memFree=3002016/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=1089.63
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 88787 20176 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=271.97
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 22173 5024 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=272.97
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 22274 5023 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=5534] ppid=5532 vsize=545804 CPUtime=1782.72
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 145074 33198 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=445.68
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 36223 8345 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=445.71
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 36251 8320 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=446.28
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 36449 8179 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 545804
[startup+522.309 s]
/proc/loadavg: 4.03 4.02 4.00 6/101 7054
/proc/meminfo: memFree=3002264/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2013.24
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 163888 37436 0 0 16 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=502.69
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 40847 9422 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=503.16
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 40892 9424 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=504.05
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 41196 9209 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2013.24
Current children cumulated vsize (KiB) 545804
[startup+582.314 s]
/proc/loadavg: 3.97 4.00 3.99 5/101 7243
/proc/meminfo: memFree=3002264/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2244.14
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 182664 41750 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=560.09
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 45489 10520 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=560.9
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 45585 10505 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=561.91
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 45919 10272 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2244.14
Current children cumulated vsize (KiB) 545804
[startup+642.31 s]
/proc/loadavg: 3.97 3.99 3.99 5/101 7432
/proc/meminfo: memFree=3002388/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2476.28
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 201580 46048 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=618.34
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 50259 11575 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=619.04
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 50288 11616 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=619.61
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 50611 11350 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2476.28
Current children cumulated vsize (KiB) 545804
[startup+702.315 s]
/proc/loadavg: 3.99 3.99 3.99 5/101 7622
/proc/meminfo: memFree=3002232/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2707.73
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 220444 50329 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=676.09
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 54970 12639 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=677.37
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 55074 12663 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=677.31
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 55320 12411 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2707.73
Current children cumulated vsize (KiB) 545804
[startup+762.31 s]
/proc/loadavg: 3.87 3.95 3.98 6/101 7809
/proc/meminfo: memFree=3002256/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=2939.15
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 239226 54689 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=734.18
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 59685 13733 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=735.52
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 59781 13771 0 0 16 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=734.79
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 59993 13486 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2939.15
Current children cumulated vsize (KiB) 545804
[startup+822.315 s]
/proc/loadavg: 3.95 3.97 3.98 5/101 8000
/proc/meminfo: memFree=3002264/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=3170.72
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 258067 59005 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=792.61
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 64478 14783 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=793.25
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 64475 14850 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=791.9
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 64638 14552 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3170.72
Current children cumulated vsize (KiB) 545804
[startup+882.31 s]
/proc/loadavg: 4.02 3.99 3.99 5/101 8189
/proc/meminfo: memFree=3002388/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=3402.87
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 276935 63352 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=850.71
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 69173 15898 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=851.51
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 69210 15941 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=849.66
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 69348 15618 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3402.87
Current children cumulated vsize (KiB) 545804
[startup+942.305 s]
/proc/loadavg: 4.09 4.01 3.99 5/101 8378
/proc/meminfo: memFree=3002620/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=3634.43
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 295838 67605 0 0 15 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=908.58
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 73869 16989 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=909.33
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 73905 17028 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=907.5
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 74078 16672 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3634.43
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.98 3.99 3.99 5/101 8564
/proc/meminfo: memFree=3002628/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=3856.02
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 313869 71733 0 0 16 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=963.72
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 78342 18030 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=964.89
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 78454 18035 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=963.01
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 78567 17734 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3856.02
Current children cumulated vsize (KiB) 545804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.01 s]
/proc/loadavg: 3.98 3.99 3.99 5/101 8564
/proc/meminfo: memFree=3002628/3368532 swapFree=1952996/1959888
[pid=5534] ppid=5532 vsize=545804 CPUtime=3856.02
/proc/5534/stat : 5534 (gnovelty+) R 5532 5534 8948 0 -1 4202496 19815 0 0 0 313869 71733 0 0 16 0 4 0 1099250067 558903296 19770 4294967295 134512640 135680988 3216815904 3216815148 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/5534/statm: 136451 19770 103 286 0 136163 0
[pid=5534/tid=5536] ppid=5532 vsize=545804 CPUtime=963.72
/proc/5534/task/5536/stat : 5536 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 78342 18030 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3077632348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5534/tid=5537] ppid=5532 vsize=545804 CPUtime=964.89
/proc/5534/task/5537/stat : 5537 (gnovelty+) R 5532 5534 8948 0 -1 4202560 7 0 0 0 78454 18035 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3068240220 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5534/tid=5538] ppid=5532 vsize=545804 CPUtime=963.01
/proc/5534/task/5538/stat : 5538 (gnovelty+) R 5532 5534 8948 0 -1 4202560 8 0 0 0 78567 17734 0 0 15 0 4 0 1099250076 558903296 19770 4294967295 134512640 135680988 3216815904 3058848092 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3856.02
Current children cumulated vsize (KiB) 545804
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 3856.04
CPU user time (s): 3138.71
CPU system time (s): 717.33
CPU usage (%): 385.594
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3138.71
system time used= 717.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19815
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= 30703742
involuntary context switches= 80744
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi45 at 2009-05-27 21:05:28
IDJOB=1777603
IDBENCH=70383
IDSOLVER=617
FILE ID=tipi45/1777603-1243451128
PBS_JOBID=
Free space on /tmp= 15502 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/110/unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777603-1243451128/watcher-1777603-1243451128 -o /tmp/evaluation-result-1777603-1243451128/solver-1777603-1243451128 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777603-1243451128.cnf 459090015 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 57c4481d80dab225feb097c0bb7b33c7
RANDOM SEED= 459090015
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: 3081204 kB
Buffers: 123352 kB
Cached: 58052 kB
SwapCached: 2100 kB
Active: 64172 kB
Inactive: 126240 kB
HighTotal: 2489216 kB
HighFree: 2418848 kB
LowTotal: 879316 kB
LowFree: 662356 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 1364 kB
Writeback: 0 kB
AnonPages: 8256 kB
Mapped: 3280 kB
Slab: 84640 kB
SReclaimable: 73816 kB
SUnreclaim: 10824 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89416 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15502 MiB
End job on tipi45 at 2009-05-27 21:22:10