runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777525-1243447635/watcher-1777525-1243447635 -o /tmp/evaluation-result-1777525-1243447635/solver-1777525-1243447635 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777525-1243447635.cnf 942223074 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
[startup+0 s]
/proc/loadavg: 3.72 3.93 3.91 3/109 28586
/proc/meminfo: memFree=711916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=9592 CPUtime=0.01
/proc/28586/stat : 28586 (runsolver) R 28584 7955 7955 0 -1 4202560 29 0 0 0 1 0 0 0 19 0 1 0 1109426290 9822208 33 4294967295 134512640 135670194 3217577696 3217575440 134782009 0 0 0 24578 0 0 0 17 2 0 0 0
/proc/28586/statm: 2398 33 19 283 0 2113 0
Current StackSize limit: 8192 KiB
[startup+0.100068 s]
/proc/loadavg: 3.72 3.93 3.91 3/109 28586
/proc/meminfo: memFree=711916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=517044 CPUtime=0.11
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 10161 0 0 0 7 4 0 0 18 0 1 0 1109426290 529453056 10117 4294967295 134512640 135680988 3218778368 3218776476 134958286 0 0 0 0 0 0 0 17 1 0 0 0
/proc/28586/statm: 129261 10117 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044
[startup+0.210062 s]
/proc/loadavg: 3.72 3.93 3.91 3/109 28586
/proc/meminfo: memFree=711916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=517040 CPUtime=0.22
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 20316 0 0 0 15 7 0 0 18 0 1 0 1109426290 529448960 20271 4294967295 134512640 135680988 3218778368 3218777632 134538748 0 0 0 0 0 0 0 17 1 0 0 0
/proc/28586/statm: 129260 20271 99 286 0 128972 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 517040
[startup+0.310057 s]
/proc/loadavg: 3.72 3.93 3.91 3/109 28586
/proc/meminfo: memFree=711916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=517040 CPUtime=0.32
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 20409 0 0 0 25 7 0 0 18 0 1 0 1109426290 529448960 20364 4294967295 134512640 135680988 3218778368 3218777632 134538724 0 0 0 0 0 0 0 17 1 0 0 0
/proc/28586/statm: 129260 20364 99 286 0 128972 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 517040
[startup+0.710036 s]
/proc/loadavg: 3.72 3.93 3.91 3/109 28586
/proc/meminfo: memFree=711916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=0.72
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 21502 0 0 0 64 8 0 0 19 0 4 0 1109426290 571564032 21457 4294967295 134512640 135680988 3218778368 3218777648 134542529 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 21467 103 286 0 139254 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 558168
[startup+1.51062 s]
/proc/loadavg: 3.72 3.93 3.91 5/113 28590
/proc/meminfo: memFree=620896/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3.88
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 362 26 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=0.8
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 75 5 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=0.77
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 70 7 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=0.79
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 75 4 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 558168
[startup+3.10992 s]
/proc/loadavg: 3.72 3.93 3.91 6/113 28590
/proc/meminfo: memFree=620408/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=10.04
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 912 92 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=2.38
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 221 17 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=2.37
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 215 22 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960464 134545651 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=2.33
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 211 22 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 558168
[startup+6.3103 s]
/proc/loadavg: 3.74 3.93 3.91 5/113 28592
/proc/meminfo: memFree=620160/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=22.34
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 1999 235 0 0 16 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=5.56
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 505 51 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=5.47
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 488 59 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=5.31
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 484 47 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.34
Current children cumulated vsize (KiB) 558168
[startup+12.7094 s]
/proc/loadavg: 3.84 3.95 3.91 6/113 28593
/proc/meminfo: memFree=619820/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=47.34
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 4071 663 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=11.81
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 1026 155 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=11.66
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 996 170 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=11.61
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 1013 148 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840364 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.34
Current children cumulated vsize (KiB) 558168
[startup+25.5088 s]
/proc/loadavg: 3.88 3.95 3.91 5/113 28593
/proc/meminfo: memFree=619916/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=96.56
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 8043 1613 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=24.26
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 2029 397 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=23.94
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 1999 395 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960428 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=23.73
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 1984 389 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (KiB) 558168
[startup+51.1074 s]
/proc/loadavg: 3.92 3.96 3.91 6/113 28595
/proc/meminfo: memFree=619932/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=194.13
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 15812 3601 0 0 16 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=48.81
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 3982 899 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=47.94
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 3905 889 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=48.24
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 3953 871 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840500 134533004 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 194.13
Current children cumulated vsize (KiB) 558168
[startup+102.315 s]
/proc/loadavg: 4.06 3.99 3.93 4/113 28782
/proc/meminfo: memFree=619684/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=390.16
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 31127 7889 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=98.31
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 7845 1986 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=97.06
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 7713 1993 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=97.35
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 7847 1888 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.16
Current children cumulated vsize (KiB) 558168
[startup+162.312 s]
/proc/loadavg: 4.11 4.02 3.94 5/113 28971
/proc/meminfo: memFree=619056/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=619.62
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 49039 12923 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=156.16
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 12378 3238 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=154.04
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 12140 3264 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=154.41
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 12275 3166 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840364 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (KiB) 558168
[startup+222.319 s]
/proc/loadavg: 4.07 4.02 3.94 5/113 29157
/proc/meminfo: memFree=618932/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=847.95
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 67180 17615 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=213.21
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 16888 4433 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=210.63
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 16605 4458 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=211.65
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 16811 4354 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 847.95
Current children cumulated vsize (KiB) 558168
[startup+282.305 s]
/proc/loadavg: 3.96 3.99 3.93 5/113 29345
/proc/meminfo: memFree=618816/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=1076.08
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 85259 22349 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=270.66
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 21385 5681 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=267.67
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 21135 5632 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=28586] ppid=28584 vsize=558168 CPUtime=1764.89
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 138639 37850 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=440.55
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 34030 10025 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=441.02
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 34626 9476 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=441.09
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 34961 9148 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.89
Current children cumulated vsize (KiB) 558168
[startup+522.313 s]
/proc/loadavg: 3.98 3.94 3.91 5/113 30103
/proc/meminfo: memFree=618808/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=1994.64
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 156370 43094 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=497.44
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 38328 11416 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=498.15
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 38984 10831 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=498.97
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 39471 10426 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1994.64
Current children cumulated vsize (KiB) 558168
[startup+582.31 s]
/proc/loadavg: 4.02 3.97 3.92 5/113 30291
/proc/meminfo: memFree=618568/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=2224.92
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 174122 48370 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=554.92
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 42630 12862 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=555.57
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 43429 12128 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=556.69
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 43951 11718 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2224.92
Current children cumulated vsize (KiB) 558168
[startup+642.307 s]
/proc/loadavg: 4.23 4.02 3.93 5/113 30487
/proc/meminfo: memFree=618196/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=2454.18
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 191393 54025 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=611.76
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 46788 14388 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=613.55
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 47864 13491 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=613.36
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 48220 13116 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2454.18
Current children cumulated vsize (KiB) 558168
[startup+702.304 s]
/proc/loadavg: 4.08 4.01 3.93 5/113 30674
/proc/meminfo: memFree=618072/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=2682.91
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 208825 59466 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=668.61
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 51014 15847 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=669.97
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 52171 14826 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=671.33
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 52658 14475 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2682.91
Current children cumulated vsize (KiB) 558168
[startup+762.321 s]
/proc/loadavg: 4.00 4.01 3.93 5/113 30863
/proc/meminfo: memFree=618188/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=2912.1
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 226073 65137 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=726.16
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 55250 17366 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=726.87
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 56462 16225 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=729.09
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 57025 15884 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2912.1
Current children cumulated vsize (KiB) 558168
[startup+822.317 s]
/proc/loadavg: 3.93 3.99 3.93 6/113 31049
/proc/meminfo: memFree=618312/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3140.41
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 242963 71078 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=783.24
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 59439 18885 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=784.11
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 60719 17692 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=785.68
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 61108 17460 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3140.41
Current children cumulated vsize (KiB) 558168
[startup+882.314 s]
/proc/loadavg: 4.01 4.00 3.93 5/113 31237
/proc/meminfo: memFree=618072/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3369.18
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 259626 77292 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777564 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=839.91
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 63504 20487 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=840.99
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 64908 19191 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=843.25
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 65244 19081 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840364 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3369.18
Current children cumulated vsize (KiB) 558168
[startup+942.311 s]
/proc/loadavg: 3.95 3.98 3.93 5/113 31426
/proc/meminfo: memFree=618196/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3599.48
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 276627 83321 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777564 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=897.54
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 67693 22061 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=898.56
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 69199 20657 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=900.85
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 69422 20663 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3599.48
Current children cumulated vsize (KiB) 558168
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.85 3.95 3.92 6/113 31617
/proc/meminfo: memFree=618072/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3819.22
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 292735 89187 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=952.22
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 71645 23577 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=953.29
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 73207 22122 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=956.22
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 73531 22091 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3819.22
Current children cumulated vsize (KiB) 558168
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.85 3.95 3.92 6/113 31617
/proc/meminfo: memFree=618072/3368532 swapFree=1959840/1959888
[pid=28586] ppid=28584 vsize=558168 CPUtime=3819.22
/proc/28586/stat : 28586 (gnovelty+) R 28584 28586 7955 0 -1 4202496 23228 0 0 0 292735 89187 0 0 15 0 4 0 1109426290 571564032 23183 4294967295 134512640 135680988 3218778368 3218777612 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/28586/statm: 139542 23183 103 286 0 139254 0
[pid=28586/tid=28588] ppid=28584 vsize=558168 CPUtime=952.22
/proc/28586/task/28588/stat : 28588 (gnovelty+) R 28584 28586 7955 0 -1 4202560 579 0 0 0 71645 23577 0 0 16 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3075080540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28586/tid=28589] ppid=28584 vsize=558168 CPUtime=953.29
/proc/28586/task/28589/stat : 28589 (gnovelty+) R 28584 28586 7955 0 -1 4202560 600 0 0 0 73207 22122 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3062960476 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28586/tid=28590] ppid=28584 vsize=558168 CPUtime=956.22
/proc/28586/task/28590/stat : 28590 (gnovelty+) R 28584 28586 7955 0 -1 4202560 596 0 0 0 73531 22091 0 0 15 0 4 0 1109426360 571564032 23183 4294967295 134512640 135680988 3218778368 3050840412 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3819.22
Current children cumulated vsize (KiB) 558168
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3819.28
CPU user time (s): 2927.4
CPU system time (s): 891.88
CPU usage (%): 381.915
Max. virtual memory (cumulated for all children) (KiB): 558168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2927.4
system time used= 891.88
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23228
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= 40067511
involuntary context switches= 137598
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-27 20:07:15
IDJOB=1777525
IDBENCH=70357
IDSOLVER=617
FILE ID=/1777525-1243447635
PBS_JOBID=
Free space on /tmp= 7986 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777525-1243447635/watcher-1777525-1243447635 -o /tmp/evaluation-result-1777525-1243447635/solver-1777525-1243447635 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777525-1243447635.cnf 942223074 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0b73ddee1057244eb6a8d3ac4fd7781f
RANDOM SEED= 942223074
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 712360 kB
Buffers: 41512 kB
Cached: 2434568 kB
SwapCached: 0 kB
Active: 1300568 kB
Inactive: 1194668 kB
HighTotal: 2489216 kB
HighFree: 450668 kB
LowTotal: 879316 kB
LowFree: 261692 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 2884 kB
Writeback: 0 kB
AnonPages: 19404 kB
Mapped: 7772 kB
Slab: 151784 kB
SReclaimable: 138296 kB
SUnreclaim: 13488 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110900 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7986 MiB
End job on at 2009-05-27 20:23:55