0.00/0.00 c Parsing...
0.04/0.07 c ==============================================================================
0.04/0.07 c | | ORIGINAL | LEARNT | |
0.04/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.07 c ==============================================================================
0.04/0.07 c | 0 | 133055 396210 | 39916 0 0 nan | 0.000 % |
0.71/0.73 c | 0 | 132150 561686 | -- 0 -- -- | -- | -905/165476
0.71/0.73 c ==============================================================================
0.71/0.73 c Result : #vars: 1298 #clauses: 132150 #literals: 561686
0.71/0.73 c CPU time: 0.72 s
0.71/0.73 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781131-1243542983/watcher-1781131-1243542983 -o /tmp/evaluation-result-1781131-1243542983/solver-1781131-1243542983 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781131-1243542983.cnf aimd 0
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.20 4.59 4.58 3/115 25013
/proc/meminfo: memFree=2920624/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2416 CPUtime=0
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118978121 2473984 274 4294967295 134512640 135169312 3216940848 3216939384 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 604 274 231 161 0 43 0
[pid=25014] ppid=25013 vsize=1304 CPUtime=0.01
/proc/25014/stat : 25014 (SatElite) R 25013 25013 12261 0 -1 4202496 275 0 0 0 1 0 0 0 19 0 1 0 1118978121 1335296 212 4294967295 134512640 135034092 3216684720 3216680712 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 326 212 49 128 0 196 0
[startup+0.034581 s]
/proc/loadavg: 4.20 4.59 4.58 3/115 25013
/proc/meminfo: memFree=2920624/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2416 CPUtime=0
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118978121 2473984 274 4294967295 134512640 135169312 3216940848 3216939384 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 604 274 231 161 0 43 0
[pid=25014] ppid=25013 vsize=4468 CPUtime=0.04
/proc/25014/stat : 25014 (SatElite) R 25013 25013 12261 0 -1 4202496 960 0 0 0 4 0 0 0 19 0 1 0 1118978121 4575232 897 4294967295 134512640 135034092 3216684720 3216681064 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 1117 898 49 128 0 987 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6884
[startup+0.10458 s]
/proc/loadavg: 4.20 4.59 4.58 3/115 25013
/proc/meminfo: memFree=2920624/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2416 CPUtime=0
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118978121 2473984 274 4294967295 134512640 135169312 3216940848 3216939384 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 604 274 231 161 0 43 0
[pid=25014] ppid=25013 vsize=11184 CPUtime=0.11
/proc/25014/stat : 25014 (SatElite) R 25013 25013 12261 0 -1 4202496 2609 0 0 0 11 0 0 0 20 0 1 0 1118978121 11452416 2546 4294967295 134512640 135034092 3216684720 3216680716 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 2796 2546 67 128 0 2666 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13600
[startup+0.304571 s]
/proc/loadavg: 4.20 4.59 4.58 3/115 25013
/proc/meminfo: memFree=2920624/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2416 CPUtime=0
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118978121 2473984 274 4294967295 134512640 135169312 3216940848 3216939384 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 604 274 231 161 0 43 0
[pid=25014] ppid=25013 vsize=15744 CPUtime=0.31
/proc/25014/stat : 25014 (SatElite) R 25013 25013 12261 0 -1 4202496 3478 0 0 0 30 1 0 0 20 0 1 0 1118978121 16121856 3415 4294967295 134512640 135034092 3216684720 3216681024 134569574 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 3936 3415 67 128 0 3806 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 18160
[startup+0.704553 s]
/proc/loadavg: 4.20 4.59 4.58 3/115 25013
/proc/meminfo: memFree=2920624/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2416 CPUtime=0
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118978121 2473984 274 4294967295 134512640 135169312 3216940848 3216939384 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 604 274 231 161 0 43 0
[pid=25014] ppid=25013 vsize=15744 CPUtime=0.71
/proc/25014/stat : 25014 (SatElite) R 25013 25013 12261 0 -1 4202496 3478 0 0 0 70 1 0 0 21 0 1 0 1118978121 16121856 3415 4294967295 134512640 135034092 3216684720 3216681024 134569526 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 3936 3415 67 128 0 3806 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18160
[startup+1.50453 s]
/proc/loadavg: 4.20 4.59 4.58 2/117 25016
/proc/meminfo: memFree=2900940/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=67124 CPUtime=1.62
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 10145 0 0 0 153 9 0 0 18 0 4 0 1118978212 68734976 10080 4294967295 134512640 135305190 3216059984 3216058104 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 16781 10080 79 194 0 16585 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 69544
[startup+3.10447 s]
/proc/loadavg: 4.20 4.59 4.58 5/120 25019
/proc/meminfo: memFree=2871832/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=80688 CPUtime=8.02
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 13717 0 0 0 793 9 0 0 16 0 4 0 1118978212 82624512 13652 4294967295 134512640 135305190 3216059984 3216057952 134547978 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 20172 13652 79 194 0 19976 0
[pid=25016/tid=25017] ppid=25013 vsize=80688 CPUtime=1.95
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 1360 0 0 0 194 1 0 0 19 0 4 0 1118978235 82624512 13652 4294967295 134512640 135305190 3216059984 3082824896 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=80688 CPUtime=1.94
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 1363 0 0 0 194 0 0 0 21 0 4 0 1118978235 82624512 13652 4294967295 134512640 135305190 3216059984 3074436288 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=80688 CPUtime=1.94
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 1308 0 0 0 194 0 0 0 18 0 4 0 1118978235 82624512 13652 4294967295 134512640 135305190 3216059984 3066047680 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 83108
[startup+6.30434 s]
/proc/loadavg: 4.18 4.58 4.58 5/120 25019
/proc/meminfo: memFree=2848820/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=103244 CPUtime=20.79
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 19302 0 0 0 2066 13 0 0 17 0 4 0 1118978212 105721856 19237 4294967295 134512640 135305190 3216059984 3216058008 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 25811 19237 79 194 0 25615 0
[pid=25016/tid=25017] ppid=25013 vsize=103244 CPUtime=5.12
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 2671 0 0 0 509 3 0 0 24 0 4 0 1118978235 105721856 19237 4294967295 134512640 135305190 3216059984 3082824964 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=103244 CPUtime=5.14
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 2556 0 0 0 514 0 0 0 25 0 4 0 1118978235 105721856 19237 4294967295 134512640 135305190 3216059984 3074436288 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=103244 CPUtime=5.14
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 2750 0 0 0 514 0 0 0 19 0 4 0 1118978235 105721856 19237 4294967295 134512640 135305190 3216059984 3066047396 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (KiB) 105664
[startup+12.7041 s]
/proc/loadavg: 4.17 4.57 4.58 6/120 25019
/proc/meminfo: memFree=2829324/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=120196 CPUtime=46.39
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 23646 0 0 0 4622 17 0 0 23 0 4 0 1118978212 123080704 23581 4294967295 134512640 135305190 3216059984 3216058160 134528263 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 30049 23581 79 194 0 29853 0
[pid=25016/tid=25017] ppid=25013 vsize=120196 CPUtime=11.52
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 3906 0 0 0 1149 3 0 0 25 0 4 0 1118978235 123080704 23581 4294967295 134512640 135305190 3216059984 3082824896 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=120196 CPUtime=11.54
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 3529 0 0 0 1152 2 0 0 25 0 4 0 1118978235 123080704 23581 4294967295 134512640 135305190 3216059984 3074436288 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=120196 CPUtime=11.54
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 4121 0 0 0 1152 2 0 0 25 0 4 0 1118978235 123080704 23581 4294967295 134512640 135305190 3216059984 3066047680 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.3
Current children cumulated vsize (KiB) 122616
[startup+25.5036 s]
/proc/loadavg: 4.21 4.56 4.57 5/120 25019
/proc/meminfo: memFree=2795116/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=151600 CPUtime=97.48
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 31124 0 0 0 9725 23 0 0 25 0 4 0 1118978212 155238400 31059 4294967295 134512640 135305190 3216059984 3216058160 134528410 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 37900 31059 79 194 0 37704 0
[pid=25016/tid=25017] ppid=25013 vsize=151600 CPUtime=24.3
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 5554 0 0 0 2426 4 0 0 25 0 4 0 1118978235 155238400 31059 4294967295 134512640 135305190 3216059984 3082824896 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=151600 CPUtime=24.26
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 4869 0 0 0 2422 4 0 0 25 0 4 0 1118978235 155238400 31059 4294967295 134512640 135305190 3216059984 3074436288 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=151600 CPUtime=24.34
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 6020 0 0 0 2429 5 0 0 25 0 4 0 1118978235 155238400 31059 4294967295 134512640 135305190 3216059984 3066047680 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (KiB) 154020
[startup+51.1126 s]
/proc/loadavg: 4.37 4.56 4.57 5/120 25021
/proc/meminfo: memFree=2764384/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=184240 CPUtime=199.8
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 39088 0 0 0 19940 40 0 0 25 0 4 0 1118978212 188661760 39023 4294967295 134512640 135305190 3216059984 3216058160 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 46060 39023 79 194 0 45864 0
[pid=25016/tid=25017] ppid=25013 vsize=184240 CPUtime=49.9
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 7482 0 0 0 4980 10 0 0 25 0 4 0 1118978235 188661760 39023 4294967295 134512640 135305190 3216059984 3082824896 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=184240 CPUtime=49.79
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 6372 0 0 0 4969 10 0 0 25 0 4 0 1118978235 188661760 39023 4294967295 134512640 135305190 3216059984 3074436288 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=184240 CPUtime=49.93
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 7877 0 0 0 4987 6 0 0 25 0 4 0 1118978235 188661760 39023 4294967295 134512640 135305190 3216059984 3066047680 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.71
Current children cumulated vsize (KiB) 186660
[startup+102.321 s]
/proc/loadavg: 4.50 4.56 4.57 6/120 25209
/proc/meminfo: memFree=2713528/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=235124 CPUtime=404.15
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 51561 0 0 0 40359 56 0 0 25 0 4 0 1118978212 240766976 51496 4294967295 134512640 135305190 3216059984 3216058160 134528771 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 58781 51496 79 194 0 58585 0
[pid=25016/tid=25017] ppid=25013 vsize=235124 CPUtime=101.04
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 11240 0 0 0 10087 17 0 0 25 0 4 0 1118978235 240766976 51496 4294967295 134512640 135305190 3216059984 3082824896 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=235124 CPUtime=100.79
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 8505 0 0 0 10065 14 0 0 25 0 4 0 1118978235 240766976 51496 4294967295 134512640 135305190 3216059984 3074436288 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=235124 CPUtime=101.06
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 11085 0 0 0 10099 7 0 0 25 0 4 0 1118978235 240766976 51496 4294967295 134512640 135305190 3216059984 3066047680 134528557 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.06
Current children cumulated vsize (KiB) 237544
[startup+162.308 s]
/proc/loadavg: 4.38 4.53 4.56 5/120 25397
/proc/meminfo: memFree=2665696/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=284052 CPUtime=643.55
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 63368 0 0 0 64271 84 0 0 25 0 4 0 1118978212 290869248 63274 4294967295 134512640 135305190 3216059984 3216058160 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 71013 63274 79 194 0 70817 0
[pid=25016/tid=25017] ppid=25013 vsize=284052 CPUtime=160.9
################
# More data... #
################
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 27828 0 0 0 51938 62 0 0 25 0 4 0 1118978235 475541504 106717 4294967295 134512640 135305190 3216059984 3066047680 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2080.89
Current children cumulated vsize (KiB) 466816
[startup+582.311 s]
/proc/loadavg: 4.66 4.56 4.54 5/120 26716
/proc/meminfo: memFree=2476928/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=480108 CPUtime=2319.47
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 110337 0 0 0 231667 280 0 0 25 0 4 0 1118978212 491630592 110239 4294967295 134512640 135305190 3216059984 3216058160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25016/statm: 120027 110239 79 194 0 119831 0
[pid=25016/tid=25017] ppid=25013 vsize=480108 CPUtime=580.26
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 29309 0 0 0 57943 83 0 0 25 0 4 0 1118978235 491630592 110239 4294967295 134512640 135305190 3216059984 3082824896 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=480108 CPUtime=579.57
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 15432 0 0 0 57906 51 0 0 25 0 4 0 1118978235 491630592 110239 4294967295 134512640 135305190 3216059984 3074436288 134528630 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=480108 CPUtime=579.93
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 28234 0 0 0 57924 69 0 0 25 0 4 0 1118978235 491630592 110239 4294967295 134512640 135305190 3216059984 3066047680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2320.38
Current children cumulated vsize (KiB) 482528
[startup+642.309 s]
/proc/loadavg: 4.81 4.60 4.55 5/120 26908
/proc/meminfo: memFree=2466140/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=492672 CPUtime=2559.13
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 113154 0 0 0 255600 313 0 0 25 0 4 0 1118978212 504496128 113035 4294967295 134512640 135305190 3216059984 3216058160 134528376 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25016/statm: 123168 113035 79 194 0 122972 0
[pid=25016/tid=25017] ppid=25013 vsize=492672 CPUtime=640.24
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 30335 0 0 0 63932 92 0 0 25 0 4 0 1118978235 504496128 113035 4294967295 134512640 135305190 3216059984 3082824896 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=492672 CPUtime=639.55
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 15976 0 0 0 63901 54 0 0 25 0 4 0 1118978235 504496128 113035 4294967295 134512640 135305190 3216059984 3074436288 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=492672 CPUtime=639.87
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 28952 0 0 0 63902 85 0 0 25 0 4 0 1118978235 504496128 113035 4294967295 134512640 135305190 3216059984 3066047680 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2560.04
Current children cumulated vsize (KiB) 495092
[startup+702.307 s]
/proc/loadavg: 4.68 4.59 4.55 5/120 27097
/proc/meminfo: memFree=2460876/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=499476 CPUtime=2798.5
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 114617 0 0 0 279515 335 0 0 25 0 4 0 1118978212 511463424 114498 4294967295 134512640 135305190 3216059984 3216058160 134528406 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 124869 114498 79 194 0 124673 0
[pid=25016/tid=25017] ppid=25013 vsize=499476 CPUtime=700.2
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 30627 0 0 0 69925 95 0 0 25 0 4 0 1118978235 511463424 114498 4294967295 134512640 135305190 3216059984 3082824896 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=499476 CPUtime=699.36
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 16413 0 0 0 69877 59 0 0 25 0 4 0 1118978235 511463424 114498 4294967295 134512640 135305190 3216059984 3074436288 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=499476 CPUtime=699.86
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 29509 0 0 0 69898 88 0 0 25 0 4 0 1118978235 511463424 114498 4294967295 134512640 135305190 3216059984 3066047680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.41
Current children cumulated vsize (KiB) 501896
[startup+762.314 s]
/proc/loadavg: 4.83 4.65 4.57 6/120 27285
/proc/meminfo: memFree=2452452/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=507588 CPUtime=3037.97
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 116505 0 0 0 303438 359 0 0 25 0 4 0 1118978212 519770112 116386 4294967295 134512640 135305190 3216059984 3216058160 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 126897 116386 79 194 0 126701 0
[pid=25016/tid=25017] ppid=25013 vsize=507588 CPUtime=760.07
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 31180 0 0 0 75908 99 0 0 25 0 4 0 1118978235 519770112 116386 4294967295 134512640 135305190 3216059984 3082824896 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=507588 CPUtime=759.18
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 16825 0 0 0 75849 69 0 0 25 0 4 0 1118978235 519770112 116386 4294967295 134512640 135305190 3216059984 3074436288 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=507588 CPUtime=759.65
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 29991 0 0 0 75874 91 0 0 25 0 4 0 1118978235 519770112 116386 4294967295 134512640 135305190 3216059984 3066047680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.88
Current children cumulated vsize (KiB) 510008
[startup+822.312 s]
/proc/loadavg: 4.81 4.65 4.57 5/120 27474
/proc/meminfo: memFree=2450996/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=509568 CPUtime=3277.34
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 116956 0 0 0 327348 386 0 0 25 0 4 0 1118978212 521797632 116837 4294967295 134512640 135305190 3216059984 3216058160 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 127392 116837 79 194 0 127196 0
[pid=25016/tid=25017] ppid=25013 vsize=509568 CPUtime=819.93
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 31234 0 0 0 81888 105 0 0 25 0 4 0 1118978235 521797632 116837 4294967295 134512640 135305190 3216059984 3082824896 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=509568 CPUtime=818.81
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 17089 0 0 0 81802 79 0 0 25 0 4 0 1118978235 521797632 116837 4294967295 134512640 135305190 3216059984 3074436288 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=509568 CPUtime=819.54
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 29995 0 0 0 81856 98 0 0 25 0 4 0 1118978235 521797632 116837 4294967295 134512640 135305190 3216059984 3066047680 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.25
Current children cumulated vsize (KiB) 511988
[startup+882.309 s]
/proc/loadavg: 4.70 4.63 4.56 6/121 27633
/proc/meminfo: memFree=2437356/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=524212 CPUtime=3517.01
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 120271 0 0 0 351297 404 0 0 25 0 4 0 1118978212 536793088 120152 4294967295 134512640 135305190 3216059984 3216058160 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 131053 120152 79 194 0 130857 0
[pid=25016/tid=25017] ppid=25013 vsize=524212 CPUtime=879.89
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 31888 0 0 0 87882 107 0 0 25 0 4 0 1118978235 536793088 120152 4294967295 134512640 135305190 3216059984 3082824896 134530952 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=524212 CPUtime=878.6
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 18035 0 0 0 87778 82 0 0 25 0 4 0 1118978235 536793088 120152 4294967295 134512640 135305190 3216059984 3074436288 134528181 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=524212 CPUtime=879.47
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 30892 0 0 0 87839 108 0 0 25 0 4 0 1118978235 536793088 120152 4294967295 134512640 135305190 3216059984 3066047680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.92
Current children cumulated vsize (KiB) 526632
[startup+942.307 s]
/proc/loadavg: 4.83 4.66 4.57 6/121 27752
/proc/meminfo: memFree=2402300/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=562148 CPUtime=3756.72
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 129338 0 0 0 375243 429 0 0 25 0 4 0 1118978212 575639552 129149 4294967295 134512640 135305190 3216059984 3216058160 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 140537 129149 79 194 0 140341 0
[pid=25016/tid=25017] ppid=25013 vsize=562148 CPUtime=939.81
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 32997 0 0 0 93867 114 0 0 25 0 4 0 1118978235 575639552 129149 4294967295 134512640 135305190 3216059984 3082824896 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=562148 CPUtime=938.59
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 19607 0 0 0 93773 86 0 0 25 0 4 0 1118978235 575639552 129149 4294967295 134512640 135305190 3216059984 3074436288 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=562148 CPUtime=939.31
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 34073 0 0 0 93814 117 0 0 25 0 4 0 1118978235 575639552 129149 4294967295 134512640 135305190 3216059984 3066047680 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.63
Current children cumulated vsize (KiB) 564568
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.71 4.67 4.58 5/120 27856
/proc/meminfo: memFree=2367724/3368532 swapFree=1941392/1959888
[pid=25013] ppid=25011 vsize=2420 CPUtime=0.91
/proc/25013/stat : 25013 (manysat.sh) S 25011 25013 12261 0 -1 4194304 372 3484 0 0 0 0 89 2 18 0 1 0 1118978121 2478080 276 4294967295 134512640 135169312 3216940848 3216937064 3085287150 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25013/statm: 605 276 231 161 0 44 0
[pid=25016] ppid=25013 vsize=598544 CPUtime=3987.31
/proc/25016/stat : 25016 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202496 138072 0 0 0 398275 456 0 0 25 0 4 0 1118978212 612909056 137883 4294967295 134512640 135305190 3216059984 3216058160 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25016/statm: 149636 137883 79 194 0 149440 0
[pid=25016/tid=25017] ppid=25013 vsize=598544 CPUtime=997.43
/proc/25016/task/25017/stat : 25017 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 35702 0 0 0 99622 121 0 0 25 0 4 0 1118978235 612909056 137883 4294967295 134512640 135305190 3216059984 3082824896 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25016/tid=25018] ppid=25013 vsize=598544 CPUtime=996.3
/proc/25016/task/25018/stat : 25018 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 20771 0 0 0 99536 94 0 0 25 0 4 0 1118978235 612909056 137883 4294967295 134512640 135305190 3216059984 3074436288 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25016/tid=25019] ppid=25013 vsize=598544 CPUtime=997.02
/proc/25016/task/25019/stat : 25019 (manysat1.1_stat) R 25013 25013 12261 0 -1 4202560 37838 0 0 0 99576 126 0 0 25 0 4 0 1118978235 612909056 137883 4294967295 134512640 135305190 3216059984 3066047680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3988.22
Current children cumulated vsize (KiB) 600964
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 25013 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=890000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 0.91
# while last known CPU time is 3988.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 3988.22
CPU user time (s): 3983.64
CPU system time (s): 4.58
CPU usage (%): 398.8
Max. virtual memory (cumulated for all children) (KiB): 600964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.89
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856
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= 11
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 22:36:23
IDJOB=1781131
IDBENCH=71100
IDSOLVER=620
FILE ID=/1781131-1243542983
PBS_JOBID=
Free space on /tmp= 15727 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781131-1243542983/watcher-1781131-1243542983 -o /tmp/evaluation-result-1781131-1243542983/solver-1781131-1243542983 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781131-1243542983.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED= 586122133
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: 2920624 kB
Buffers: 39428 kB
Cached: 326056 kB
SwapCached: 4320 kB
Active: 144180 kB
Inactive: 232248 kB
HighTotal: 2489216 kB
HighFree: 2149456 kB
LowTotal: 879316 kB
LowFree: 771168 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 3592 kB
Writeback: 0 kB
AnonPages: 9536 kB
Mapped: 4296 kB
Slab: 60288 kB
SReclaimable: 51220 kB
SUnreclaim: 9068 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127452 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15724 MiB
End job on at 2009-05-28 22:53:05