0.00/0.00 c Parsing...
0.51/0.55 c ==============================================================================
0.51/0.55 c | | ORIGINAL | LEARNT | |
0.51/0.55 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.51/0.55 c ==============================================================================
0.51/0.55 c | 0 | 717437 1645964 | 215231 0 0 nan | 0.000 % |
3.91/3.93 c | 0 | 408968 1113292 | -- 0 -- -- | -- | -134393/-137715
3.91/3.93 c ==============================================================================
3.91/3.93 c Result : #vars: 76968 #clauses: 408968 #literals: 1113292
3.91/3.93 c CPU time: 3.82 s
3.91/3.93 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775797-1243502795/watcher-1775797-1243502795 -o /tmp/evaluation-result-1775797-1243502795/solver-1775797-1243502795 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775797-1243502795.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.17 4.36 4.33 3/115 28058
/proc/meminfo: memFree=3112464/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) R 28056 28058 12261 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957756 3085166452 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=1912 CPUtime=0
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 1 0 1114959417 1957888 343 4294967295 134512640 135034092 3213427616 3213423728 134675816 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 478 348 49 128 0 348 0
[startup+0.097327 s]
/proc/loadavg: 4.17 4.36 4.33 3/115 28058
/proc/meminfo: memFree=3112464/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=28568 CPUtime=0.1
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 5932 0 0 0 9 1 0 0 19 0 1 0 1114959417 29253632 5868 4294967295 134512640 135034092 3213427616 3213423768 134695081 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 7142 5868 49 128 0 7012 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30984
[startup+0.107334 s]
/proc/loadavg: 4.17 4.36 4.33 3/115 28058
/proc/meminfo: memFree=3112464/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=36648 CPUtime=0.11
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 6509 0 0 0 9 2 0 0 20 0 1 0 1114959417 37527552 6445 4294967295 134512640 135034092 3213427616 3213423576 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 9162 6446 49 128 0 9032 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 39064
[startup+0.307319 s]
/proc/loadavg: 4.17 4.36 4.33 3/115 28058
/proc/meminfo: memFree=3112464/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=56928 CPUtime=0.31
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 11504 0 0 0 28 3 0 0 20 0 1 0 1114959417 58294272 11440 4294967295 134512640 135034092 3213427616 3213423960 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 14232 11441 49 128 0 14102 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 59344
[startup+0.707313 s]
/proc/loadavg: 4.17 4.36 4.33 3/115 28058
/proc/meminfo: memFree=3112464/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=84856 CPUtime=0.71
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 19125 0 0 0 64 7 0 0 21 0 1 0 1114959417 86892544 17679 4294967295 134512640 135034092 3213427616 3213422304 134562120 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 21214 17679 66 128 0 21084 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 87272
[startup+1.50727 s]
/proc/loadavg: 3.92 4.31 4.31 2/117 28060
/proc/meminfo: memFree=3036836/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=91540 CPUtime=1.51
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 21282 0 0 0 142 9 0 0 24 0 1 0 1114959417 93736960 19515 4294967295 134512640 135034092 3213427616 3213423856 134566279 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 22885 19515 67 128 0 22755 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 93956
[startup+3.10721 s]
/proc/loadavg: 3.92 4.31 4.31 2/117 28060
/proc/meminfo: memFree=3027868/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2416 CPUtime=0
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1114959417 2473984 274 4294967295 134512640 135169312 3216959280 3216957816 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 604 274 231 161 0 43 0
[pid=28059] ppid=28058 vsize=94000 CPUtime=3.11
/proc/28059/stat : 28059 (SatElite) R 28058 28058 12261 0 -1 4202496 24057 0 0 0 300 11 0 0 25 0 1 0 1114959417 96256000 19897 4294967295 134512640 135034092 3213427616 3213423856 134566212 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28059/statm: 23500 19897 67 128 0 23370 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 96416
[startup+6.32709 s]
/proc/loadavg: 3.92 4.31 4.31 5/120 28064
/proc/meminfo: memFree=2988576/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=148376 CPUtime=5.01
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 29139 0 0 0 484 17 0 0 15 0 4 0 1114959858 151937024 29040 4294967295 134512640 135305190 3219003680 3219001856 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28061/statm: 37094 29040 79 194 0 36898 0
[pid=28061/tid=28062] ppid=28058 vsize=148376 CPUtime=1.07
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 515 0 0 0 101 6 0 0 15 0 4 0 1114959939 151937024 29040 4294967295 134512640 135305190 3219003680 3050871924 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=148376 CPUtime=1.05
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 627 0 0 0 103 2 0 0 15 0 4 0 1114959939 151937024 29040 4294967295 134512640 135305190 3219003680 3042483392 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=148376 CPUtime=1.05
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 571 0 0 0 99 6 0 0 15 0 4 0 1114959939 151937024 29040 4294967295 134512640 135305190 3219003680 3034094784 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 150796
[startup+12.7062 s]
/proc/loadavg: 4.25 4.36 4.33 9/120 28065
/proc/meminfo: memFree=2976264/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=159056 CPUtime=30.44
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 31691 0 0 0 3015 29 0 0 17 0 4 0 1114959858 162873344 31592 4294967295 134512640 135305190 3219003680 3219001856 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28061/statm: 39764 31592 79 194 0 39568 0
[pid=28061/tid=28062] ppid=28058 vsize=159056 CPUtime=7.41
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 1080 0 0 0 730 11 0 0 18 0 4 0 1114959939 162873344 31592 4294967295 134512640 135305190 3219003680 3050872000 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=159056 CPUtime=7.41
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 1448 0 0 0 734 7 0 0 17 0 4 0 1114959939 162873344 31592 4294967295 134512640 135305190 3219003680 3042483336 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=159056 CPUtime=7.42
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 1060 0 0 0 735 7 0 0 17 0 4 0 1114959939 162873344 31592 4294967295 134512640 135305190 3219003680 3034094784 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 34.85
Current children cumulated vsize (KiB) 161476
[startup+25.5057 s]
/proc/loadavg: 4.28 4.37 4.33 6/120 28065
/proc/meminfo: memFree=2946020/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=188936 CPUtime=81.55
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 39170 0 0 0 8121 34 0 0 25 0 4 0 1114959858 193470464 39071 4294967295 134512640 135305190 3219003680 3219001520 134551709 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28061/statm: 47234 39071 79 194 0 47038 0
[pid=28061/tid=28062] ppid=28058 vsize=188936 CPUtime=20.15
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 2768 0 0 0 2003 12 0 0 25 0 4 0 1114959939 193470464 39071 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=188936 CPUtime=20.2
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 3507 0 0 0 2010 10 0 0 25 0 4 0 1114959939 193470464 39071 4294967295 134512640 135305190 3219003680 3042483336 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=188936 CPUtime=20.22
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 2543 0 0 0 2014 8 0 0 25 0 4 0 1114959939 193470464 39071 4294967295 134512640 135305190 3219003680 3034094728 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 85.96
Current children cumulated vsize (KiB) 191356
[startup+51.1147 s]
/proc/loadavg: 4.26 4.35 4.33 6/120 28253
/proc/meminfo: memFree=2888324/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=244836 CPUtime=183.36
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 53208 0 0 0 18276 60 0 0 25 0 4 0 1114959858 250712064 53109 4294967295 134512640 135305190 3219003680 3219001604 134837919 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28061/statm: 61209 53109 79 194 0 61013 0
[pid=28061/tid=28062] ppid=28058 vsize=244836 CPUtime=45.56
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 5928 0 0 0 4539 17 0 0 25 0 4 0 1114959939 250712064 53109 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=244836 CPUtime=45.75
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 7425 0 0 0 4561 14 0 0 25 0 4 0 1114959939 250712064 53109 4294967295 134512640 135305190 3219003680 3042483392 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=244836 CPUtime=45.67
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 5432 0 0 0 4553 14 0 0 25 0 4 0 1114959939 250712064 53109 4294967295 134512640 135305190 3219003680 3034094708 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 187.77
Current children cumulated vsize (KiB) 247256
[startup+102.313 s]
/proc/loadavg: 4.29 4.35 4.33 5/120 28438
/proc/meminfo: memFree=2805436/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=327680 CPUtime=387.75
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 74038 0 0 0 38676 99 0 0 25 0 4 0 1114959858 335544320 73939 4294967295 134512640 135305190 3219003680 3219001856 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28061/statm: 81920 73939 79 194 0 81724 0
[pid=28061/tid=28062] ppid=28058 vsize=327680 CPUtime=96.72
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 10322 0 0 0 9643 29 0 0 25 0 4 0 1114959939 335544320 73939 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=327680 CPUtime=96.81
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 12759 0 0 0 9655 26 0 0 25 0 4 0 1114959939 335544320 73939 4294967295 134512640 135305190 3219003680 3042483336 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=327680 CPUtime=96.78
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 10441 0 0 0 9656 22 0 0 25 0 4 0 1114959939 335544320 73939 4294967295 134512640 135305190 3219003680 3034094448 134551681 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 392.16
Current children cumulated vsize (KiB) 330100
[startup+162.31 s]
/proc/loadavg: 4.38 4.37 4.34 5/120 28626
/proc/meminfo: memFree=2755912/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=377456 CPUtime=627.29
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 86543 0 0 0 62604 125 0 0 25 0 4 0 1114959858 386514944 86444 4294967295 134512640 135305190 3219003680 3219001520 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28061/statm: 94364 86444 79 194 0 94168 0
[pid=28061/tid=28062] ppid=28058 vsize=377456 CPUtime=156.51
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 13018 0 0 0 15613 38 0 0 25 0 4 0 1114959939 386514944 86444 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=377456 CPUtime=156.75
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 16543 0 0 0 15638 37 0 0 25 0 4 0 1114959939 386514944 86444 4294967295 134512640 135305190 3219003680 3042483140 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=377456 CPUtime=156.71
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 13331 0 0 0 15646 25 0 0 25 0 4 0 1114959939 386514944 86444 4294967295 134512640 135305190 3219003680 3034094532 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 631.7
################
# More data... #
################
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 33383 0 0 0 51554 60 0 0 25 0 4 0 1114959939 721125376 167909 4294967295 134512640 135305190 3219003680 3034094784 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2068.31
Current children cumulated vsize (KiB) 706644
[startup+582.314 s]
/proc/loadavg: 4.29 4.31 4.31 7/121 29841
/proc/meminfo: memFree=2420976/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=711664 CPUtime=2303.69
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 169661 0 0 0 230067 302 0 0 25 0 4 0 1114959858 728743936 169562 4294967295 134512640 135305190 3219003680 3219001584 134557163 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28061/statm: 177916 169562 79 194 0 177720 0
[pid=28061/tid=28062] ppid=28058 vsize=711664 CPUtime=575.91
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 31404 0 0 0 57516 75 0 0 25 0 4 0 1114959939 728743936 169562 4294967295 134512640 135305190 3219003680 3050872000 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=711664 CPUtime=575.3
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 39206 0 0 0 57449 81 0 0 25 0 4 0 1114959939 728743936 169562 4294967295 134512640 135305190 3219003680 3042483392 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=711664 CPUtime=576.14
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 33798 0 0 0 57551 63 0 0 25 0 4 0 1114959939 728743936 169562 4294967295 134512640 135305190 3219003680 3034094784 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2308.1
Current children cumulated vsize (KiB) 714084
[startup+642.311 s]
/proc/loadavg: 4.36 4.31 4.30 6/121 30008
/proc/meminfo: memFree=2395868/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=737112 CPUtime=2543.29
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 176145 0 0 0 254003 326 0 0 25 0 4 0 1114959858 754802688 176046 4294967295 134512640 135305190 3219003680 3219001856 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28061/statm: 184278 176046 79 194 0 184082 0
[pid=28061/tid=28062] ppid=28058 vsize=737112 CPUtime=635.89
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 32747 0 0 0 63512 77 0 0 25 0 4 0 1114959939 754802688 176046 4294967295 134512640 135305190 3219003680 3050872000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=737112 CPUtime=635.15
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 40584 0 0 0 63422 93 0 0 25 0 4 0 1114959939 754802688 176046 4294967295 134512640 135305190 3219003680 3042483008 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=737112 CPUtime=636.07
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 35693 0 0 0 63541 66 0 0 25 0 4 0 1114959939 754802688 176046 4294967295 134512640 135305190 3219003680 3034094448 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2547.7
Current children cumulated vsize (KiB) 739532
[startup+702.309 s]
/proc/loadavg: 4.51 4.38 4.33 5/120 30142
/proc/meminfo: memFree=2353516/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=780248 CPUtime=2782.97
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 186840 0 0 0 277934 363 0 0 25 0 4 0 1114959858 798973952 186741 4294967295 134512640 135305190 3219003680 3219001856 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28061/statm: 195062 186741 79 194 0 194866 0
[pid=28061/tid=28062] ppid=28058 vsize=780248 CPUtime=695.89
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 35307 0 0 0 69503 86 0 0 25 0 4 0 1114959939 798973952 186741 4294967295 134512640 135305190 3219003680 3050872000 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=780248 CPUtime=694.99
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 43037 0 0 0 69398 101 0 0 25 0 4 0 1114959939 798973952 186741 4294967295 134512640 135305190 3219003680 3042483392 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=780248 CPUtime=696.06
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 38771 0 0 0 69530 76 0 0 25 0 4 0 1114959939 798973952 186741 4294967295 134512640 135305190 3219003680 3034094784 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2787.38
Current children cumulated vsize (KiB) 782668
[startup+762.316 s]
/proc/loadavg: 4.61 4.42 4.34 6/120 30331
/proc/meminfo: memFree=2293004/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=840136 CPUtime=3022.37
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 201986 0 0 0 301836 401 0 0 25 0 4 0 1114959858 860299264 201887 4294967295 134512640 135305190 3219003680 3219001856 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28061/statm: 210034 201887 79 194 0 209838 0
[pid=28061/tid=28062] ppid=28058 vsize=840136 CPUtime=755.85
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 38833 0 0 0 75494 91 0 0 25 0 4 0 1114959939 860299264 201887 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=840136 CPUtime=754.91
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 46386 0 0 0 75381 110 0 0 25 0 4 0 1114959939 860299264 201887 4294967295 134512640 135305190 3219003680 3042483392 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=840136 CPUtime=755.66
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 43023 0 0 0 75478 88 0 0 25 0 4 0 1114959939 860299264 201887 4294967295 134512640 135305190 3219003680 3034094784 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3026.78
Current children cumulated vsize (KiB) 842556
[startup+822.314 s]
/proc/loadavg: 4.50 4.42 4.35 5/120 30519
/proc/meminfo: memFree=2291268/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=840968 CPUtime=3261.83
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 202194 0 0 0 325768 415 0 0 25 0 4 0 1114959858 861151232 202095 4294967295 134512640 135305190 3219003680 3219001584 134556770 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28061/statm: 210242 202095 79 194 0 210046 0
[pid=28061/tid=28062] ppid=28058 vsize=840968 CPUtime=815.82
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 38833 0 0 0 81485 97 0 0 25 0 4 0 1114959939 861151232 202095 4294967295 134512640 135305190 3219003680 3050872000 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=840968 CPUtime=814.81
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 46593 0 0 0 81369 112 0 0 25 0 4 0 1114959939 861151232 202095 4294967295 134512640 135305190 3219003680 3042483392 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=840968 CPUtime=815.56
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 43023 0 0 0 81464 92 0 0 25 0 4 0 1114959939 861151232 202095 4294967295 134512640 135305190 3219003680 3034094448 134551962 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3266.24
Current children cumulated vsize (KiB) 843388
[startup+882.312 s]
/proc/loadavg: 4.36 4.41 4.35 6/120 30708
/proc/meminfo: memFree=2270064/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=862992 CPUtime=3501.27
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 207704 0 0 0 349699 428 0 0 25 0 4 0 1114959858 883703808 207605 4294967295 134512640 135305190 3219003680 3219001856 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28061/statm: 215748 207605 79 194 0 215552 0
[pid=28061/tid=28062] ppid=28058 vsize=862992 CPUtime=875.75
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 40140 0 0 0 87474 101 0 0 25 0 4 0 1114959939 883703808 207605 4294967295 134512640 135305190 3219003680 3050872000 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=862992 CPUtime=874.62
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 47821 0 0 0 87347 115 0 0 25 0 4 0 1114959939 883703808 207605 4294967295 134512640 135305190 3219003680 3042483008 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=862992 CPUtime=875.39
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 44350 0 0 0 87444 95 0 0 25 0 4 0 1114959939 883703808 207605 4294967295 134512640 135305190 3219003680 3034094784 134530638 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3505.68
Current children cumulated vsize (KiB) 865412
[startup+942.319 s]
/proc/loadavg: 4.70 4.51 4.39 5/120 30899
/proc/meminfo: memFree=2247092/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=888300 CPUtime=3740.56
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 213639 0 0 0 373612 444 0 0 25 0 4 0 1114959858 909619200 213540 4294967295 134512640 135305190 3219003680 3219001536 134843311 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28061/statm: 222075 213540 79 194 0 221879 0
[pid=28061/tid=28062] ppid=28058 vsize=888300 CPUtime=935.63
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 41327 0 0 0 93459 104 0 0 25 0 4 0 1114959939 909619200 213540 4294967295 134512640 135305190 3219003680 3050872000 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=888300 CPUtime=934.59
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 49582 0 0 0 93342 117 0 0 25 0 4 0 1114959939 909619200 213540 4294967295 134512640 135305190 3219003680 3042483008 134551726 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=888300 CPUtime=935.33
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 45785 0 0 0 93432 101 0 0 25 0 4 0 1114959939 909619200 213540 4294967295 134512640 135305190 3219003680 3034094784 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3744.97
Current children cumulated vsize (KiB) 890720
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.43 4.47 4.37 5/120 31085
/proc/meminfo: memFree=2156480/3368532 swapFree=1941392/1959888
[pid=28058] ppid=28056 vsize=2420 CPUtime=4.41
/proc/28058/stat : 28058 (manysat.sh) S 28056 28058 12261 0 -1 4194304 371 31165 0 0 0 0 427 14 17 0 1 0 1114959417 2478080 275 4294967295 134512640 135169312 3216959280 3216955496 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28058/statm: 605 275 231 161 0 44 0
[pid=28061] ppid=28058 vsize=979560 CPUtime=3970.91
/proc/28061/stat : 28061 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202496 236324 0 0 0 396610 481 0 0 25 0 4 0 1114959858 1003069440 236225 4294967295 134512640 135305190 3219003680 3219001856 134528215 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28061/statm: 244890 236225 79 194 0 244694 0
[pid=28061/tid=28062] ppid=28058 vsize=979560 CPUtime=993.07
/proc/28061/task/28062/stat : 28062 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 46472 0 0 0 99192 115 0 0 25 0 4 0 1114959939 1003069440 236225 4294967295 134512640 135305190 3219003680 3050872000 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28061/tid=28063] ppid=28058 vsize=979560 CPUtime=992.24
/proc/28061/task/28063/stat : 28063 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 55743 0 0 0 99098 126 0 0 25 0 4 0 1114959939 1003069440 236225 4294967295 134512640 135305190 3219003680 3042483336 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28061/tid=28064] ppid=28058 vsize=979560 CPUtime=993.01
/proc/28061/task/28064/stat : 28064 (manysat1.1_stat) R 28058 28058 12261 0 -1 4202560 51737 0 0 0 99194 107 0 0 25 0 4 0 1114959939 1003069440 236225 4294967295 134512640 135305190 3219003680 3034094784 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3975.32
Current children cumulated vsize (KiB) 981980
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 28058 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=270000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140000
# CPU time returned by wait4() is 4.41
# while last known CPU time is 3975.32
#
# 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): 3975.32
CPU user time (s): 3970.37
CPU system time (s): 4.95
CPU usage (%): 397.509
Max. virtual memory (cumulated for all children) (KiB): 981980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.27
system time used= 0.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31536
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= 5
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 11:26:35
IDJOB=1775797
IDBENCH=20386
IDSOLVER=626
FILE ID=/1775797-1243502795
PBS_JOBID=
Free space on /tmp= 15717 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775797-1243502795/watcher-1775797-1243502795 -o /tmp/evaluation-result-1775797-1243502795/solver-1775797-1243502795 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775797-1243502795.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED= 215358750
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: 3112908 kB
Buffers: 17028 kB
Cached: 163248 kB
SwapCached: 4320 kB
Active: 125652 kB
Inactive: 65572 kB
HighTotal: 2489216 kB
HighFree: 2312960 kB
LowTotal: 879316 kB
LowFree: 799948 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 14348 kB
Writeback: 0 kB
AnonPages: 9400 kB
Mapped: 4216 kB
Slab: 53504 kB
SReclaimable: 45152 kB
SUnreclaim: 8352 kB
PageTables: 776 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= 15705 MiB
End job on at 2009-05-28 11:43:18