runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777543-1243448506/watcher-1777543-1243448506 -o /tmp/evaluation-result-1777543-1243448506/solver-1777543-1243448506 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777543-1243448506.cnf 756747663 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.65 3.91 3.90 2/115 16001
/proc/meminfo: memFree=3161644/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=509232 CPUtime=0
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 1755 0 0 0 0 0 0 0 18 0 1 0 1109530450 521453568 1712 4294967295 134512640 135680988 3213503472 3213502736 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/16001/statm: 127308 1721 99 286 0 127020 0
[startup+0.040158 s]
/proc/loadavg: 3.65 3.91 3.90 2/115 16001
/proc/meminfo: memFree=3161644/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=517048 CPUtime=0.04
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 9960 0 0 0 1 3 0 0 18 0 1 0 1109530450 529457152 9916 4294967295 134512640 135680988 3213503472 3213501580 134958286 0 0 0 0 0 0 0 17 0 0 0 0
/proc/16001/statm: 129262 9917 99 286 0 128974 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517048
[startup+0.110128 s]
/proc/loadavg: 3.65 3.91 3.90 2/115 16001
/proc/meminfo: memFree=3161644/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=517048 CPUtime=0.11
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 10204 0 0 0 8 3 0 0 18 0 1 0 1109530450 529457152 10160 4294967295 134512640 135680988 3213503472 3213502736 134537493 0 0 0 0 0 0 0 17 0 0 0 0
/proc/16001/statm: 129262 10160 99 286 0 128974 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517048
[startup+0.310119 s]
/proc/loadavg: 3.65 3.91 3.90 2/115 16001
/proc/meminfo: memFree=3161644/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=517044 CPUtime=0.31
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 20409 0 0 0 25 6 0 0 18 0 1 0 1109530450 529453056 20364 4294967295 134512640 135680988 3213503472 3213502736 134538739 0 0 0 0 0 0 0 17 0 0 0 0
/proc/16001/statm: 129261 20364 99 286 0 128973 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 517044
[startup+0.710106 s]
/proc/loadavg: 3.65 3.91 3.90 2/115 16001
/proc/meminfo: memFree=3161644/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=0.71
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 21378 0 0 0 65 6 0 0 18 0 4 0 1109530450 571568128 21333 4294967295 134512640 135680988 3213503472 3213502752 134542555 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 21333 103 286 0 139255 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 558172
[startup+1.51041 s]
/proc/loadavg: 3.65 3.91 3.90 5/119 16005
/proc/meminfo: memFree=3070920/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=3.79
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 361 18 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=0.76
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 75 1 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=0.79
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 76 3 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=0.76
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 74 2 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279276 134997786 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 558172
[startup+3.11021 s]
/proc/loadavg: 3.65 3.91 3.90 5/119 16006
/proc/meminfo: memFree=3070292/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=9.5
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 889 61 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=2.34
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 225 9 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=2.02
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 188 14 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=2.18
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 201 17 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 558172
[startup+6.31003 s]
/proc/loadavg: 3.68 3.91 3.90 5/119 16006
/proc/meminfo: memFree=3070168/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=22.03
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 1992 211 0 0 16 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=5.49
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 500 49 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519340 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=5.13
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 459 54 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=5.35
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 483 52 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.03
Current children cumulated vsize (KiB) 558172
[startup+12.7096 s]
/proc/loadavg: 3.71 3.91 3.90 5/119 16194
/proc/meminfo: memFree=3068988/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=46.05
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 4072 533 0 0 16 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502804 134534570 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=11.61
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 1018 143 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519340 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=10.91
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 954 137 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=11.52
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 1023 129 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.05
Current children cumulated vsize (KiB) 558172
[startup+25.5093 s]
/proc/loadavg: 3.77 3.91 3.91 4/119 16195
/proc/meminfo: memFree=3069224/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=95.16
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 8194 1322 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=23.76
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 2042 334 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=23.14
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 1976 338 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=23.79
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 2052 327 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 95.16
Current children cumulated vsize (KiB) 558172
[startup+51.1081 s]
/proc/loadavg: 3.85 3.92 3.91 5/119 16196
/proc/meminfo: memFree=3069436/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=193.09
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 16166 3143 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=47.86
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 4009 777 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=47.81
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 3983 798 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399412 134532909 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=48.3
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 3991 839 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 193.09
Current children cumulated vsize (KiB) 558172
[startup+102.316 s]
/proc/loadavg: 3.76 3.88 3.90 5/119 16388
/proc/meminfo: memFree=3069296/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=389.74
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 32011 6963 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=96.73
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 7946 1727 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=96.83
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 7963 1720 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=97.49
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 7909 1840 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 389.74
Current children cumulated vsize (KiB) 558172
[startup+162.314 s]
/proc/loadavg: 3.97 3.93 3.91 5/119 16576
/proc/meminfo: memFree=3068404/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=620.79
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 50539 11540 0 0 16 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=154.65
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 12581 2884 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=154.63
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 12574 2889 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=155.31
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 12548 2983 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 620.79
Current children cumulated vsize (KiB) 558172
[startup+222.312 s]
/proc/loadavg: 4.02 3.95 3.91 6/119 16762
/proc/meminfo: memFree=3068320/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=852.52
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 69094 16158 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=212.9
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 17258 4032 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=212.24
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 17181 4043 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=213.32
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 17150 4182 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 852.52
Current children cumulated vsize (KiB) 558172
[startup+282.309 s]
/proc/loadavg: 3.86 3.93 3.90 5/119 16953
/proc/meminfo: memFree=3068196/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=1081.72
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 87785 20387 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=270.17
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 21957 5060 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=269.13
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 21755 5158 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=16001] ppid=15999 vsize=558172 CPUtime=1542.99
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 125058 29241 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=385.02
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 31135 7367 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519340 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=385.12
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 31139 7373 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=386.17
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 31148 7469 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1542.99
Current children cumulated vsize (KiB) 558172
[startup+462.312 s]
/proc/loadavg: 4.15 3.98 3.92 6/119 17524
/proc/meminfo: memFree=3069304/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=1772.79
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 143287 33992 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=442.21
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 35642 8579 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=443.02
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 35726 8576 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=443.21
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 35623 8698 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1772.79
Current children cumulated vsize (KiB) 558172
[startup+522.31 s]
/proc/loadavg: 3.83 3.94 3.91 6/119 17710
/proc/meminfo: memFree=3068808/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=2003.1
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 161587 38723 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=499.73
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 40173 9800 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=501.09
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 40382 9727 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=500.52
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 40150 9902 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2003.1
Current children cumulated vsize (KiB) 558172
[startup+582.307 s]
/proc/loadavg: 4.01 3.96 3.91 5/119 17898
/proc/meminfo: memFree=3069312/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=2233.45
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 179780 43565 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=557.58
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 44715 11043 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=558.56
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 44932 10924 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=558.13
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 44663 11150 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2233.45
Current children cumulated vsize (KiB) 558172
[startup+642.305 s]
/proc/loadavg: 4.20 4.01 3.93 5/119 18087
/proc/meminfo: memFree=3069188/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=2465.13
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 198291 48222 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=615.43
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 49312 12231 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=616.39
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 49520 12119 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=616.04
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 49309 12295 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2465.13
Current children cumulated vsize (KiB) 558172
[startup+702.312 s]
/proc/loadavg: 4.23 4.07 3.95 5/119 18275
/proc/meminfo: memFree=3069040/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=2697.23
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 216885 52838 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=673.43
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 53954 13389 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=674.8
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 54149 13331 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=673.73
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 53924 13449 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2697.23
Current children cumulated vsize (KiB) 558172
[startup+762.32 s]
/proc/loadavg: 4.14 4.07 3.96 5/119 18463
/proc/meminfo: memFree=3069056/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=2928.32
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 235094 57738 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=731.26
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 58580 14546 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=732.62
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 58667 14595 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399276 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=731.5
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 58425 14725 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2928.32
Current children cumulated vsize (KiB) 558172
[startup+822.308 s]
/proc/loadavg: 3.86 4.00 3.94 4/119 18649
/proc/meminfo: memFree=3068932/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=3157.99
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 253011 62788 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=789.14
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 63135 15779 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=789.73
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 63043 15930 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=788.62
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 62853 16009 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3157.99
Current children cumulated vsize (KiB) 558172
[startup+882.315 s]
/proc/loadavg: 3.92 4.00 3.94 5/119 18841
/proc/meminfo: memFree=3068940/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=3386.55
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 270934 67721 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=846.68
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 67713 16955 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519376 134545949 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=846.63
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 67517 17146 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=845.48
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 67199 17349 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3386.55
Current children cumulated vsize (KiB) 558172
[startup+942.313 s]
/proc/loadavg: 4.03 4.01 3.95 5/119 19030
/proc/meminfo: memFree=3069040/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=3616.51
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 288804 72847 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=904.73
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 72211 18262 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=903.63
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 71965 18398 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=902.74
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 71641 18633 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3616.51
Current children cumulated vsize (KiB) 558172
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.06 4.02 3.95 5/119 19218
/proc/meminfo: memFree=3069064/3368532 swapFree=1941392/1959888
[pid=16001] ppid=15999 vsize=558172 CPUtime=3838.16
/proc/16001/stat : 16001 (gnovelty+) R 15999 16001 24991 0 -1 4202496 23231 0 0 0 305923 77893 0 0 15 0 4 0 1109530450 571568128 23186 4294967295 134512640 135680988 3213503472 3213502716 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/16001/statm: 139543 23186 103 286 0 139255 0
[pid=16001/tid=16003] ppid=15999 vsize=558172 CPUtime=960.31
/proc/16001/task/16003/stat : 16003 (gnovelty+) R 15999 16001 24991 0 -1 4202560 580 0 0 0 76533 19498 0 0 16 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3074519388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=16001/tid=16004] ppid=15999 vsize=558172 CPUtime=959.12
/proc/16001/task/16004/stat : 16004 (gnovelty+) R 15999 16001 24991 0 -1 4202560 597 0 0 0 76245 19667 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3062399324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16001/tid=16005] ppid=15999 vsize=558172 CPUtime=957.89
/proc/16001/task/16005/stat : 16005 (gnovelty+) R 15999 16001 24991 0 -1 4202560 599 0 0 0 75827 19962 0 0 15 0 4 0 1109530520 571568128 23186 4294967295 134512640 135680988 3213503472 3050279260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3838.16
Current children cumulated vsize (KiB) 558172
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): 3838.24
CPU user time (s): 3059.3
CPU system time (s): 778.94
CPU usage (%): 383.81
Max. virtual memory (cumulated for all children) (KiB): 558172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3059.3
system time used= 778.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23231
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= 35510747
involuntary context switches= 120908
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on at 2009-05-27 20:21:46
IDJOB=1777543
IDBENCH=70363
IDSOLVER=617
FILE ID=/1777543-1243448506
PBS_JOBID=
Free space on /tmp= 15728 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777543-1243448506/watcher-1777543-1243448506 -o /tmp/evaluation-result-1777543-1243448506/solver-1777543-1243448506 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777543-1243448506.cnf 756747663 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= ae02373c0ed448bf77bcd57171ccc944
RANDOM SEED= 756747663
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.143
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.143
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.11
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.143
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.17
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.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3161644 kB
Buffers: 13060 kB
Cached: 121200 kB
SwapCached: 4320 kB
Active: 106712 kB
Inactive: 38512 kB
HighTotal: 2489216 kB
HighFree: 2354960 kB
LowTotal: 879316 kB
LowFree: 806684 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 2948 kB
Writeback: 0 kB
AnonPages: 9560 kB
Mapped: 4516 kB
Slab: 50792 kB
SReclaimable: 42940 kB
SUnreclaim: 7852 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127264 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15728 MiB
End job on at 2009-05-27 20:38:29