0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 144294 429916 | 43288 0 0 nan | 0.000 % |
1.02/1.05 c | 0 | 143366 620643 | -- 0 -- -- | -- | -928/190727
1.02/1.05 c ==============================================================================
1.02/1.05 c Result : #vars: 1298 #clauses: 143366 #literals: 620643
1.02/1.05 c CPU time: 1.03 s
1.02/1.05 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780882-1243537871/watcher-1780882-1243537871 -o /tmp/evaluation-result-1780882-1243537871/solver-1780882-1243537871 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780882-1243537871.cnf aimd 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.18 4.51 4.48 3/96 1179
/proc/meminfo: memFree=2850360/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2416 CPUtime=0
/proc/1179/stat : 1179 (manysat.sh) R 1177 1179 1628 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1107888298 2473984 273 4294967295 134512640 135169312 3220034080 3220032556 3084949364 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/1179/statm: 604 273 231 161 0 43 0
[startup+0.054896 s]
/proc/loadavg: 4.18 4.51 4.48 3/96 1179
/proc/meminfo: memFree=2850360/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2416 CPUtime=0
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1107888298 2473984 273 4294967295 134512640 135169312 3220034080 3220032616 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 604 273 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.114894 s]
/proc/loadavg: 4.18 4.51 4.48 3/96 1179
/proc/meminfo: memFree=2850360/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2416 CPUtime=0
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1107888298 2473984 273 4294967295 134512640 135169312 3220034080 3220032616 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 604 273 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.31488 s]
/proc/loadavg: 4.18 4.51 4.48 3/96 1179
/proc/meminfo: memFree=2850360/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2416 CPUtime=0
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1107888298 2473984 273 4294967295 134512640 135169312 3220034080 3220032616 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 604 273 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.714852 s]
/proc/loadavg: 4.18 4.51 4.48 3/96 1179
/proc/meminfo: memFree=2850360/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2416 CPUtime=0
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1107888298 2473984 273 4294967295 134512640 135169312 3220034080 3220032616 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 604 273 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+1.51479 s]
/proc/loadavg: 4.18 4.51 4.48 2/98 1181
/proc/meminfo: memFree=2834820/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 2420
[startup+3.1147 s]
/proc/loadavg: 4.18 4.51 4.48 6/101 1185
/proc/meminfo: memFree=2802420/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=80880 CPUtime=6.52
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 13461 0 0 0 647 5 0 0 16 0 4 0 1107888424 82821120 13393 4294967295 134512640 135305190 3218905344 3218903520 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 20220 13393 79 194 0 20024 0
[pid=1182/tid=1183] ppid=1179 vsize=80880 CPUtime=1.54
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 1227 0 0 0 154 0 0 0 19 0 4 0 1107888449 82821120 13393 4294967295 134512640 135305190 3218905344 3082636480 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=80880 CPUtime=1.56
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 1174 0 0 0 156 0 0 0 20 0 4 0 1107888449 82821120 13393 4294967295 134512640 135305190 3218905344 3074247816 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=80880 CPUtime=1.57
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 1050 0 0 0 156 1 0 0 17 0 4 0 1107888449 82821120 13393 4294967295 134512640 135305190 3218905344 3065859264 134528536 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 83300
[startup+6.31449 s]
/proc/loadavg: 4.41 4.55 4.49 6/101 1185
/proc/meminfo: memFree=2781020/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=99196 CPUtime=19.31
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 17925 0 0 0 1924 7 0 0 19 0 4 0 1107888424 101576704 17857 4294967295 134512640 135305190 3218905344 3218903520 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 24799 17857 79 194 0 24603 0
[pid=1182/tid=1183] ppid=1179 vsize=99196 CPUtime=4.73
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 2522 0 0 0 472 1 0 0 25 0 4 0 1107888449 101576704 17857 4294967295 134512640 135305190 3218905344 3082636480 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=99196 CPUtime=4.76
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 2574 0 0 0 476 0 0 0 25 0 4 0 1107888449 101576704 17857 4294967295 134512640 135305190 3218905344 3074247872 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=99196 CPUtime=4.77
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 2204 0 0 0 475 2 0 0 18 0 4 0 1107888449 101576704 17857 4294967295 134512640 135305190 3218905344 3065858796 134869156 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.57
Current children cumulated vsize (KiB) 101616
[startup+12.714 s]
/proc/loadavg: 4.38 4.54 4.49 5/101 1185
/proc/meminfo: memFree=2760044/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=117608 CPUtime=44.88
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 22550 0 0 0 4476 12 0 0 25 0 4 0 1107888424 120430592 22482 4294967295 134512640 135305190 3218905344 3218903392 134857151 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 29402 22482 79 194 0 29206 0
[pid=1182/tid=1183] ppid=1179 vsize=117608 CPUtime=11.1
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 3660 0 0 0 1109 1 0 0 25 0 4 0 1107888449 120430592 22482 4294967295 134512640 135305190 3218905344 3082636480 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=117608 CPUtime=11.16
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 4284 0 0 0 1115 1 0 0 25 0 4 0 1107888449 120430592 22482 4294967295 134512640 135305190 3218905344 3074247872 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=117608 CPUtime=11.17
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 3395 0 0 0 1112 5 0 0 25 0 4 0 1107888449 120430592 22482 4294967295 134512640 135305190 3218905344 3065859056 134547978 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.14
Current children cumulated vsize (KiB) 120028
[startup+25.5132 s]
/proc/loadavg: 4.37 4.53 4.48 5/101 1185
/proc/meminfo: memFree=2730500/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=144648 CPUtime=95.99
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 29495 0 0 0 9578 21 0 0 25 0 4 0 1107888424 148119552 29427 4294967295 134512640 135305190 3218905344 3218903464 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 36162 29427 79 194 0 35966 0
[pid=1182/tid=1183] ppid=1179 vsize=144648 CPUtime=23.82
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 5431 0 0 0 2379 3 0 0 25 0 4 0 1107888449 148119552 29427 4294967295 134512640 135305190 3218905344 3082636480 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=144648 CPUtime=23.96
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 6260 0 0 0 2393 3 0 0 25 0 4 0 1107888449 148119552 29427 4294967295 134512640 135305190 3218905344 3074247872 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=144648 CPUtime=23.96
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 5186 0 0 0 2389 7 0 0 25 0 4 0 1107888449 148119552 29427 4294967295 134512640 135305190 3218905344 3065859056 134548023 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.25
Current children cumulated vsize (KiB) 147068
[startup+51.1114 s]
/proc/loadavg: 4.31 4.50 4.47 5/101 1187
/proc/meminfo: memFree=2700488/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=176692 CPUtime=198.24
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 37202 0 0 0 19793 31 0 0 25 0 4 0 1107888424 180932608 37134 4294967295 134512640 135305190 3218905344 3218903520 134528252 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 44173 37134 79 194 0 43977 0
[pid=1182/tid=1183] ppid=1179 vsize=176692 CPUtime=49.27
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 7999 0 0 0 4922 5 0 0 25 0 4 0 1107888449 180932608 37134 4294967295 134512640 135305190 3218905344 3082636424 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=176692 CPUtime=49.56
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 7357 0 0 0 4953 3 0 0 25 0 4 0 1107888449 180932608 37134 4294967295 134512640 135305190 3218905344 3074247872 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=176692 CPUtime=49.56
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 7425 0 0 0 4944 12 0 0 25 0 4 0 1107888449 180932608 37134 4294967295 134512640 135305190 3218905344 3065859264 134528224 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.5
Current children cumulated vsize (KiB) 179112
[startup+102.308 s]
/proc/loadavg: 4.17 4.44 4.45 5/101 1375
/proc/meminfo: memFree=2632324/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=244248 CPUtime=402.55
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 53744 0 0 0 40195 60 0 0 17 0 4 0 1107888424 250109952 53676 4294967295 134512640 135305190 3218905344 3218903520 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1182/statm: 61062 53676 79 194 0 60866 0
[pid=1182/tid=1183] ppid=1179 vsize=244248 CPUtime=100.25
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 12583 0 0 0 10014 11 0 0 25 0 4 0 1107888449 250109952 53676 4294967295 134512640 135305190 3218905344 3082636480 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=244248 CPUtime=100.72
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 11082 0 0 0 10062 10 0 0 25 0 4 0 1107888449 250109952 53676 4294967295 134512640 135305190 3218905344 3074247872 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=244248 CPUtime=100.71
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 10949 0 0 0 10054 17 0 0 25 0 4 0 1107888449 250109952 53676 4294967295 134512640 135305190 3218905344 3065859264 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 403.81
Current children cumulated vsize (KiB) 246668
[startup+162.314 s]
/proc/loadavg: 4.42 4.45 4.45 6/101 1563
/proc/meminfo: memFree=2580648/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=298252 CPUtime=642.14
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 66696 0 0 0 64123 91 0 0 25 0 4 0 1107888424 305410048 66628 4294967295 134512640 135305190 3218905344 3218903520 134528545 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1182/statm: 74563 66628 79 194 0 74367 0
[pid=1182/tid=1183] ppid=1179 vsize=298252 CPUtime=160.21
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 15846 0 0 0 16000 21 0 0 25 0 4 0 1107888449 305410048 66628 4294967295 134512640 135305190 3218905344 3082636480 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=298252 CPUtime=160.68
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 13464 0 0 0 16051 17 0 0 25 0 4 0 1107888449 305410048 66628 4294967295 134512640 135305190 3218905344 3074247872 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=298252 CPUtime=160.61
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 13691 0 0 0 16036 25 0 0 25 0 4 0 1107888449 305410048 66628 4294967295 134512640 135305190 3218905344 3065859264 134528579 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 643.4
Current children cumulated vsize (KiB) 300672
[startup+222.31 s]
/proc/loadavg: 4.68 4.52 4.47 8/101 1755
/proc/meminfo: memFree=2521784/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=358592 CPUtime=881.53
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 81399 0 0 0 88021 132 0 0 25 0 4 0 1107888424 367198208 81331 4294967295 134512640 135305190 3218905344 3218903224 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1182/statm: 89648 81331 79 194 0 89452 0
[pid=1182/tid=1183] ppid=1179 vsize=358592 CPUtime=220.07
################
# More data... #
################
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 23653 0 0 0 51970 58 0 0 25 0 4 0 1107888449 454176768 100879 4294967295 134512640 135305190 3218905344 3065859264 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2079.48
Current children cumulated vsize (KiB) 445952
[startup+582.315 s]
/proc/loadavg: 4.14 4.35 4.41 5/101 2904
/proc/meminfo: memFree=2437180/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=450800 CPUtime=2317.68
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 102579 0 0 0 231521 247 0 0 25 0 4 0 1107888424 461619200 102503 4294967295 134512640 135305190 3218905344 3218903520 134528237 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1182/statm: 112700 102503 79 194 0 112504 0
[pid=1182/tid=1183] ppid=1179 vsize=450800 CPUtime=579.3
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 23020 0 0 0 57878 52 0 0 25 0 4 0 1107888449 461619200 102503 4294967295 134512640 135305190 3218905344 3082636480 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=450800 CPUtime=579.34
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 21851 0 0 0 57887 47 0 0 25 0 4 0 1107888449 461619200 102503 4294967295 134512640 135305190 3218905344 3074247872 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=450800 CPUtime=580.24
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 23791 0 0 0 57962 62 0 0 25 0 4 0 1107888449 461619200 102503 4294967295 134512640 135305190 3218905344 3065859264 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2318.94
Current children cumulated vsize (KiB) 453220
[startup+642.311 s]
/proc/loadavg: 4.43 4.39 4.42 5/101 3093
/proc/meminfo: memFree=2382868/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=506512 CPUtime=2557.18
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 116047 0 0 0 255427 291 0 0 25 0 4 0 1107888424 518668288 115971 4294967295 134512640 135305190 3218905344 3218903248 134557414 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1182/statm: 126628 115971 79 194 0 126432 0
[pid=1182/tid=1183] ppid=1179 vsize=506512 CPUtime=639.16
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 26329 0 0 0 63852 64 0 0 25 0 4 0 1107888449 518668288 115971 4294967295 134512640 135305190 3218905344 3082636480 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=506512 CPUtime=639.32
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 23686 0 0 0 63880 52 0 0 25 0 4 0 1107888449 518668288 115971 4294967295 134512640 135305190 3218905344 3074247872 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=506512 CPUtime=640.06
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 27361 0 0 0 63935 71 0 0 25 0 4 0 1107888449 518668288 115971 4294967295 134512640 135305190 3218905344 3065859264 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.44
Current children cumulated vsize (KiB) 508932
[startup+702.307 s]
/proc/loadavg: 4.45 4.41 4.42 5/101 3288
/proc/meminfo: memFree=2319496/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=573048 CPUtime=2796.77
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 132214 0 0 0 279355 322 0 0 25 0 4 0 1107888424 586801152 132138 4294967295 134512640 135305190 3218905344 3218903520 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1182/statm: 143262 132138 79 194 0 143066 0
[pid=1182/tid=1183] ppid=1179 vsize=573048 CPUtime=699.11
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 29547 0 0 0 69840 71 0 0 25 0 4 0 1107888449 586801152 132138 4294967295 134512640 135305190 3218905344 3082636480 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=573048 CPUtime=699.15
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 26386 0 0 0 69859 56 0 0 25 0 4 0 1107888449 586801152 132138 4294967295 134512640 135305190 3218905344 3074247872 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=573048 CPUtime=699.95
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 31606 0 0 0 69916 79 0 0 25 0 4 0 1107888449 586801152 132138 4294967295 134512640 135305190 3218905344 3065859264 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.03
Current children cumulated vsize (KiB) 575468
[startup+762.313 s]
/proc/loadavg: 4.37 4.39 4.42 6/101 3496
/proc/meminfo: memFree=2311568/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=578712 CPUtime=3036.21
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 133622 0 0 0 303282 339 0 0 25 0 4 0 1107888424 592601088 133546 4294967295 134512640 135305190 3218905344 3218903520 134528410 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1182/statm: 144678 133546 79 194 0 144482 0
[pid=1182/tid=1183] ppid=1179 vsize=578712 CPUtime=759.02
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 29889 0 0 0 75829 73 0 0 25 0 4 0 1107888449 592601088 133546 4294967295 134512640 135305190 3218905344 3082636480 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=578712 CPUtime=758.89
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 26569 0 0 0 75829 60 0 0 25 0 4 0 1107888449 592601088 133546 4294967295 134512640 135305190 3218905344 3074247872 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=578712 CPUtime=759.74
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 31702 0 0 0 75888 86 0 0 25 0 4 0 1107888449 592601088 133546 4294967295 134512640 135305190 3218905344 3065859264 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.47
Current children cumulated vsize (KiB) 581132
[startup+822.309 s]
/proc/loadavg: 4.42 4.41 4.42 5/101 3690
/proc/meminfo: memFree=2309568/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=581780 CPUtime=3275.48
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 134315 0 0 0 327187 361 0 0 25 0 4 0 1107888424 595742720 134239 4294967295 134512640 135305190 3218905344 3218903520 134528307 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1182/statm: 145445 134239 79 194 0 145249 0
[pid=1182/tid=1183] ppid=1179 vsize=581780 CPUtime=818.99
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 30068 0 0 0 81818 81 0 0 25 0 4 0 1107888449 595742720 134239 4294967295 134512640 135305190 3218905344 3082636208 134557163 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=581780 CPUtime=818.83
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 26710 0 0 0 81816 67 0 0 25 0 4 0 1107888449 595742720 134239 4294967295 134512640 135305190 3218905344 3074247872 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=581780 CPUtime=819.56
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 31783 0 0 0 81865 91 0 0 25 0 4 0 1107888449 595742720 134239 4294967295 134512640 135305190 3218905344 3065859264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3276.74
Current children cumulated vsize (KiB) 584200
[startup+882.305 s]
/proc/loadavg: 4.49 4.42 4.42 5/101 3876
/proc/meminfo: memFree=2303384/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=588992 CPUtime=3514.65
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 135874 0 0 0 351079 386 0 0 25 0 4 0 1107888424 603127808 135776 4294967295 134512640 135305190 3218905344 3218903520 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1182/statm: 147248 135776 79 194 0 147052 0
[pid=1182/tid=1183] ppid=1179 vsize=588992 CPUtime=878.77
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 30232 0 0 0 87791 86 0 0 25 0 4 0 1107888449 603127808 135776 4294967295 134512640 135305190 3218905344 3082636480 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=588992 CPUtime=878.35
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 27344 0 0 0 87752 83 0 0 25 0 4 0 1107888449 603127808 135776 4294967295 134512640 135305190 3218905344 3074247872 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=588992 CPUtime=879.53
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 32097 0 0 0 87860 93 0 0 25 0 4 0 1107888449 603127808 135776 4294967295 134512640 135305190 3218905344 3065859264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3515.91
Current children cumulated vsize (KiB) 591412
[startup+942.311 s]
/proc/loadavg: 4.45 4.43 4.43 5/101 4064
/proc/meminfo: memFree=2287512/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=605356 CPUtime=3754.14
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 139863 0 0 0 375011 403 0 0 25 0 4 0 1107888424 619884544 139744 4294967295 134512640 135305190 3218905344 3218903520 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1182/statm: 151339 139744 79 194 0 151143 0
[pid=1182/tid=1183] ppid=1179 vsize=605356 CPUtime=938.72
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 31017 0 0 0 93779 93 0 0 25 0 4 0 1107888449 619884544 139744 4294967295 134512640 135305190 3218905344 3082636480 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=605356 CPUtime=938.05
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 28853 0 0 0 93716 89 0 0 25 0 4 0 1107888449 619884544 139744 4294967295 134512640 135305190 3218905344 3074247872 134528402 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=605356 CPUtime=939.41
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 32901 0 0 0 93847 94 0 0 25 0 4 0 1107888449 619884544 139744 4294967295 134512640 135305190 3218905344 3065859264 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3755.4
Current children cumulated vsize (KiB) 607776
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.68 4.49 4.44 6/101 4252
/proc/meminfo: memFree=2281760/3368532 swapFree=1954076/1959888
[pid=1179] ppid=1177 vsize=2420 CPUtime=1.26
/proc/1179/stat : 1179 (manysat.sh) S 1177 1179 1628 0 -1 4194304 369 3780 0 0 0 0 121 5 18 0 1 0 1107888298 2478080 275 4294967295 134512640 135169312 3220034080 3220030296 3084947182 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/1179/statm: 605 275 231 161 0 44 0
[pid=1182] ppid=1179 vsize=611936 CPUtime=3984.58
/proc/1182/stat : 1182 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202496 140968 0 0 0 398032 426 0 0 25 0 4 0 1107888424 626622464 140849 4294967295 134512640 135305190 3218905344 3218903408 134538298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1182/statm: 152984 140849 79 194 0 152788 0
[pid=1182/tid=1183] ppid=1179 vsize=611936 CPUtime=996.27
/proc/1182/task/1183/stat : 1183 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 31390 0 0 0 99531 96 0 0 25 0 4 0 1107888449 626622464 140849 4294967295 134512640 135305190 3218905344 3082636480 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=611936 CPUtime=995.65
/proc/1182/task/1184/stat : 1184 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 29109 0 0 0 99467 98 0 0 25 0 4 0 1107888449 626622464 140849 4294967295 134512640 135305190 3218905344 3074247872 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=611936 CPUtime=997.11
/proc/1182/task/1185/stat : 1185 (manysat1.1_stat) R 1179 1179 1628 0 -1 4202560 32954 0 0 0 99614 97 0 0 25 0 4 0 1107888449 626622464 140849 4294967295 134512640 135305190 3218905344 3065859264 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3985.84
Current children cumulated vsize (KiB) 614356
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1179 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=210000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=50000
# CPU time returned by wait4() is 1.26
# while last known CPU time is 3985.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.06
CPU time (s): 3985.84
CPU user time (s): 3981.53
CPU system time (s): 4.31
CPU usage (%): 398.561
Max. virtual memory (cumulated for all children) (KiB): 614356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4149
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= 5
involuntary context switches= 3
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi44 at 2009-05-28 21:11:11
IDJOB=1780882
IDBENCH=71076
IDSOLVER=626
FILE ID=tipi44/1780882-1243537871
PBS_JOBID=
Free space on /tmp= 15891 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780882-1243537871/watcher-1780882-1243537871 -o /tmp/evaluation-result-1780882-1243537871/solver-1780882-1243537871 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780882-1243537871.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 372571432
Linux tipi44 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.116
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.116
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.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2850360 kB
Buffers: 144468 kB
Cached: 266196 kB
SwapCached: 2180 kB
Active: 118292 kB
Inactive: 302212 kB
HighTotal: 2489216 kB
HighFree: 2211104 kB
LowTotal: 879316 kB
LowFree: 639256 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 3840 kB
Writeback: 0 kB
AnonPages: 9064 kB
Mapped: 3432 kB
Slab: 88016 kB
SReclaimable: 77664 kB
SUnreclaim: 10352 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88088 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15888 MiB
End job on tipi44 at 2009-05-28 21:27:54