0.00/0.02 c Parsing...
1.02/1.04 c ==============================================================================
1.02/1.04 c | | ORIGINAL | LEARNT | |
1.02/1.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.02/1.04 c ==============================================================================
1.02/1.04 c | 0 | 1254005 3044653 | 376201 0 0 nan | 0.000 % |
14.52/15.25 c | 0 | 600262 2684082 | -- 0 -- -- | -- | -653743/-360571
14.52/15.25 c ==============================================================================
14.52/15.25 c Result : #vars: 43082 #clauses: 600262 #literals: 2684082
14.52/15.25 c CPU time: 14.26 s
14.52/15.25 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776004-1243506399/watcher-1776004-1243506399 -o /tmp/evaluation-result-1776004-1243506399/solver-1776004-1243506399 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776004-1243506399.cnf aimd 1
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: 5.17 5.59 5.64 5/125 17171
/proc/meminfo: memFree=2029460/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) R 17168 17170 21334 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697276 3085612916 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=4388 CPUtime=0.02
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 910 0 0 0 2 0 0 0 18 0 1 0 1115304069 4493312 847 4294967295 134512640 135034092 3220365888 3220361848 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 1097 848 51 128 0 967 0
[startup+0.078014 s]
/proc/loadavg: 5.17 5.59 5.64 5/125 17171
/proc/meminfo: memFree=2029460/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=11776 CPUtime=0.07
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 2842 0 0 0 7 0 0 0 21 0 1 0 1115304069 12058624 2780 4294967295 134512640 135034092 3220365888 3220362176 134545332 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 2944 2781 51 128 0 2814 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14192
[startup+0.117982 s]
/proc/loadavg: 5.17 5.59 5.64 5/125 17171
/proc/meminfo: memFree=2029460/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=19284 CPUtime=0.11
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 4313 0 0 0 11 0 0 0 21 0 1 0 1115304069 19746816 4250 4294967295 134512640 135034092 3220365888 3220362232 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 4821 4252 51 128 0 4691 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21700
[startup+0.317965 s]
/proc/loadavg: 5.17 5.59 5.64 5/125 17171
/proc/meminfo: memFree=2029460/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=45852 CPUtime=0.31
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 11220 0 0 0 28 3 0 0 22 0 1 0 1115304069 46952448 11157 4294967295 134512640 135034092 3220365888 3220361848 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 11463 11157 51 128 0 11333 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 48268
[startup+0.717932 s]
/proc/loadavg: 5.17 5.59 5.64 5/125 17171
/proc/meminfo: memFree=2029460/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=123316 CPUtime=0.71
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 25330 0 0 0 60 11 0 0 24 0 1 0 1115304069 126275584 25267 4294967295 134512640 135034092 3220365888 3220362232 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 30829 25270 51 128 0 30699 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 125732
[startup+1.51786 s]
/proc/loadavg: 5.17 5.59 5.64 3/126 17172
/proc/meminfo: memFree=1809548/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=178204 CPUtime=1.49
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 39385 0 0 0 135 14 0 0 25 0 1 0 1115304069 182480896 38439 4294967295 134512640 135034092 3220365888 3220361884 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 44551 38439 67 128 0 44421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180620
[startup+3.11754 s]
/proc/loadavg: 5.17 5.59 5.64 3/126 17172
/proc/meminfo: memFree=1864012/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=188564 CPUtime=2.92
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 41808 0 0 0 273 19 0 0 25 0 1 0 1115304069 193089536 40862 4294967295 134512640 135034092 3220365888 3220362160 134536786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 47141 40862 67 128 0 47011 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 190980
[startup+6.31728 s]
/proc/loadavg: 4.92 5.53 5.62 6/126 17172
/proc/meminfo: memFree=1768068/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=205556 CPUtime=5.91
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 45116 0 0 0 566 25 0 0 25 0 1 0 1115304069 210489344 44170 4294967295 134512640 135034092 3220365888 3220361884 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17171/statm: 51389 44170 67 128 0 51259 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 207972
[startup+12.7167 s]
/proc/loadavg: 4.68 5.47 5.60 4/126 17355
/proc/meminfo: memFree=1808680/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2416 CPUtime=0
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115304069 2473984 273 4294967295 134512640 135169312 3217698800 3217697336 3085610734 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/17170/statm: 604 273 231 161 0 43 0
[pid=17171] ppid=17170 vsize=212344 CPUtime=12.02
/proc/17171/stat : 17171 (SatElite) R 17170 17170 21334 0 -1 4202496 47366 0 0 0 1172 30 0 0 25 0 1 0 1115304069 217440256 45704 4294967295 134512640 135034092 3220365888 3220362192 134569242 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17171/statm: 53086 45704 67 128 0 52956 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 214760
[startup+25.5156 s]
/proc/loadavg: 4.65 5.41 5.58 7/129 17360
/proc/meminfo: memFree=1771652/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=219596 CPUtime=24.58
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 47196 0 0 0 2407 51 0 0 17 0 4 0 1115305706 224866304 47129 4294967295 134512640 135305190 3220214336 3220212512 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17356/statm: 54899 47129 79 194 0 54703 0
[pid=17356/tid=17357] ppid=17170 vsize=219596 CPUtime=4.83
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2194 0 0 0 478 5 0 0 17 0 4 0 1115305851 224866304 47129 4294967295 134512640 135305190 3220214336 3059637364 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=219596 CPUtime=5.36
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2142 0 0 0 528 8 0 0 17 0 4 0 1115305851 224866304 47129 4294967295 134512640 135305190 3220214336 3051248832 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=219596 CPUtime=5.58
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2077 0 0 0 544 14 0 0 17 0 4 0 1115305851 224866304 47129 4294967295 134512640 135305190 3220214336 3042860016 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40.16
Current children cumulated vsize (KiB) 222016
[startup+51.1134 s]
/proc/loadavg: 5.02 5.44 5.58 6/129 17363
/proc/meminfo: memFree=1697860/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=230356 CPUtime=101.1
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 49877 0 0 0 10053 57 0 0 25 0 4 0 1115305706 235884544 49810 4294967295 134512640 135305190 3220214336 3220212512 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17356/statm: 57589 49810 79 194 0 57393 0
[pid=17356/tid=17357] ppid=17170 vsize=230356 CPUtime=17.77
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2738 0 0 0 1770 7 0 0 25 0 4 0 1115305851 235884544 49810 4294967295 134512640 135305190 3220214336 3059637440 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=230356 CPUtime=18.02
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2611 0 0 0 1794 8 0 0 25 0 4 0 1115305851 235884544 49810 4294967295 134512640 135305190 3220214336 3051248832 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=230356 CPUtime=30.9
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 2827 0 0 0 3073 17 0 0 25 0 4 0 1115305851 235884544 49810 4294967295 134512640 135305190 3220214336 3042860224 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 116.68
Current children cumulated vsize (KiB) 232776
[startup+102.319 s]
/proc/loadavg: 5.61 5.54 5.61 6/129 17553
/proc/meminfo: memFree=1656124/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=242228 CPUtime=254.23
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 52942 0 0 0 25343 80 0 0 25 0 4 0 1115305706 248041472 52875 4294967295 134512640 135305190 3220214336 3220212512 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17356/statm: 60557 52875 79 194 0 60361 0
[pid=17356/tid=17357] ppid=17170 vsize=242228 CPUtime=42.84
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 3355 0 0 0 4272 12 0 0 25 0 4 0 1115305851 248041472 52875 4294967295 134512640 135305190 3220214336 3059637440 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=242228 CPUtime=44.16
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 3304 0 0 0 4406 10 0 0 25 0 4 0 1115305851 248041472 52875 4294967295 134512640 135305190 3220214336 3051248832 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=242228 CPUtime=81.72
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 3715 0 0 0 8152 20 0 0 25 0 4 0 1115305851 248041472 52875 4294967295 134512640 135305190 3220214336 3042860224 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 269.81
Current children cumulated vsize (KiB) 244648
[startup+162.304 s]
/proc/loadavg: 5.60 5.55 5.60 6/129 17741
/proc/meminfo: memFree=1653592/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=249212 CPUtime=433.78
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 54587 0 0 0 43284 94 0 0 25 0 4 0 1115305706 255193088 54520 4294967295 134512640 135305190 3220214336 3220212512 134528181 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17356/statm: 62303 54520 79 194 0 62107 0
[pid=17356/tid=17357] ppid=17170 vsize=249212 CPUtime=88
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 3539 0 0 0 8786 14 0 0 25 0 4 0 1115305851 255193088 54520 4294967295 134512640 135305190 3220214336 3059637440 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=249212 CPUtime=83.85
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 3876 0 0 0 8371 14 0 0 25 0 4 0 1115305851 255193088 54520 4294967295 134512640 135305190 3220214336 3051248832 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=249212 CPUtime=132.79
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 4110 0 0 0 13254 25 0 0 25 0 4 0 1115305851 255193088 54520 4294967295 134512640 135305190 3220214336 3042860192 134570418 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 449.36
Current children cumulated vsize (KiB) 251632
[startup+222.309 s]
/proc/loadavg: 5.73 5.60 5.62 6/129 17930
/proc/meminfo: memFree=1725676/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=258660 CPUtime=613.3
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 56909 0 0 0 61214 116 0 0 25 0 4 0 1115305706 264867840 56842 4294967295 134512640 135305190 3220214336 3220212304 134547909 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17356/statm: 64665 56842 79 194 0 64469 0
[pid=17356/tid=17357] ppid=17170 vsize=258660 CPUtime=147.8
################
# More data... #
################
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7299 0 0 0 43153 54 0 0 25 0 4 0 1115305851 308506624 67496 4294967295 134512640 135305190 3220214336 3042860224 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1546.83
Current children cumulated vsize (KiB) 303696
[startup+582.318 s]
/proc/loadavg: 5.79 5.68 5.64 8/129 19063
/proc/meminfo: memFree=1646256/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=309488 CPUtime=1710.9
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 69501 0 0 0 170891 199 0 0 25 0 4 0 1115305706 316915712 69434 4294967295 134512640 135305190 3220214336 3220212512 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17356/statm: 77372 69434 79 194 0 77176 0
[pid=17356/tid=17357] ppid=17170 vsize=309488 CPUtime=411.69
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 5699 0 0 0 41133 36 0 0 25 0 4 0 1115305851 316915712 69434 4294967295 134512640 135305190 3220214336 3059637440 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=309488 CPUtime=412.68
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 9305 0 0 0 41225 43 0 0 25 0 4 0 1115305851 316915712 69434 4294967295 134512640 135305190 3220214336 3051248832 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=309488 CPUtime=484.59
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7852 0 0 0 48404 55 0 0 25 0 4 0 1115305851 316915712 69434 4294967295 134512640 135305190 3220214336 3042860224 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.48
Current children cumulated vsize (KiB) 311908
[startup+642.312 s]
/proc/loadavg: 5.65 5.65 5.63 6/129 19249
/proc/meminfo: memFree=1661800/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=311336 CPUtime=1896.4
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 69983 0 0 0 189433 207 0 0 25 0 4 0 1115305706 318808064 69916 4294967295 134512640 135305190 3220214336 3220212512 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17356/statm: 77834 69916 79 194 0 77638 0
[pid=17356/tid=17357] ppid=17170 vsize=311336 CPUtime=471.65
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 5864 0 0 0 47126 39 0 0 25 0 4 0 1115305851 318808064 69916 4294967295 134512640 135305190 3220214336 3059637408 134570397 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=311336 CPUtime=472.42
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 9599 0 0 0 47197 45 0 0 25 0 4 0 1115305851 318808064 69916 4294967295 134512640 135305190 3220214336 3051248832 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=311336 CPUtime=514.51
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7856 0 0 0 51396 55 0 0 25 0 4 0 1115305851 318808064 69916 4294967295 134512640 135305190 3220214336 3042860224 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1911.98
Current children cumulated vsize (KiB) 313756
[startup+702.307 s]
/proc/loadavg: 5.72 5.65 5.63 6/129 19437
/proc/meminfo: memFree=1641524/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=322000 CPUtime=2079.53
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 72675 0 0 0 207724 229 0 0 25 0 4 0 1115305706 329728000 72608 4294967295 134512640 135305190 3220214336 3220212176 134551757 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17356/statm: 80500 72608 79 194 0 80304 0
[pid=17356/tid=17357] ppid=17170 vsize=322000 CPUtime=521.83
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 6336 0 0 0 52141 42 0 0 25 0 4 0 1115305851 329728000 72608 4294967295 134512640 135305190 3220214336 3059637168 134557370 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=322000 CPUtime=515.92
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 10565 0 0 0 51535 57 0 0 25 0 4 0 1115305851 329728000 72608 4294967295 134512640 135305190 3220214336 3051248832 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=322000 CPUtime=553.71
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 8422 0 0 0 55312 59 0 0 25 0 4 0 1115305851 329728000 72608 4294967295 134512640 135305190 3220214336 3042860224 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2095.11
Current children cumulated vsize (KiB) 324420
[startup+762.312 s]
/proc/loadavg: 5.73 5.65 5.63 6/129 19625
/proc/meminfo: memFree=1581424/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=338140 CPUtime=2261.21
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 76438 0 0 0 225872 249 0 0 25 0 4 0 1115305706 346255360 76371 4294967295 134512640 135305190 3220214336 3220212512 134530561 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17356/statm: 84535 76371 79 194 0 84339 0
[pid=17356/tid=17357] ppid=17170 vsize=338140 CPUtime=578.34
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7170 0 0 0 57788 46 0 0 25 0 4 0 1115305851 346255360 76371 4294967295 134512640 135305190 3220214336 3059637440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=338140 CPUtime=575.77
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 12047 0 0 0 57510 67 0 0 25 0 4 0 1115305851 346255360 76371 4294967295 134512640 135305190 3220214336 3051248832 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=338140 CPUtime=585.83
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 9156 0 0 0 58522 61 0 0 25 0 4 0 1115305851 346255360 76371 4294967295 134512640 135305190 3220214336 3042860224 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2276.79
Current children cumulated vsize (KiB) 340560
[startup+822.317 s]
/proc/loadavg: 5.56 5.60 5.61 7/130 19772
/proc/meminfo: memFree=1578832/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=340844 CPUtime=2458.73
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 77168 0 0 0 245606 267 0 0 25 0 4 0 1115305706 349024256 77101 4294967295 134512640 135305190 3220214336 3220212512 134528240 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17356/statm: 85211 77101 79 194 0 85015 0
[pid=17356/tid=17357] ppid=17170 vsize=340844 CPUtime=629.4
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7201 0 0 0 62891 49 0 0 25 0 4 0 1115305851 349024256 77101 4294967295 134512640 135305190 3220214336 3059637440 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=340844 CPUtime=635.62
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 12509 0 0 0 63484 78 0 0 25 0 4 0 1115305851 349024256 77101 4294967295 134512640 135305190 3220214336 3051248832 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=340844 CPUtime=633.84
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 9326 0 0 0 63322 62 0 0 25 0 4 0 1115305851 349024256 77101 4294967295 134512640 135305190 3220214336 3042860224 134528332 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2474.31
Current children cumulated vsize (KiB) 343264
[startup+882.312 s]
/proc/loadavg: 5.52 5.58 5.60 7/130 19953
/proc/meminfo: memFree=1572768/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=345612 CPUtime=2665.94
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 78256 0 0 0 266306 288 0 0 25 0 4 0 1115305706 353906688 78189 4294967295 134512640 135305190 3220214336 3220212512 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17356/statm: 86403 78189 79 194 0 86207 0
[pid=17356/tid=17357] ppid=17170 vsize=345612 CPUtime=688.37
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7349 0 0 0 68778 59 0 0 25 0 4 0 1115305851 353906688 78189 4294967295 134512640 135305190 3220214336 3059637168 134558354 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=345612 CPUtime=695.55
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 13188 0 0 0 69474 81 0 0 25 0 4 0 1115305851 353906688 78189 4294967295 134512640 135305190 3220214336 3051248832 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=345612 CPUtime=692.17
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 9476 0 0 0 69147 70 0 0 25 0 4 0 1115305851 353906688 78189 4294967295 134512640 135305190 3220214336 3042860224 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2681.52
Current children cumulated vsize (KiB) 348032
[startup+942.307 s]
/proc/loadavg: 5.72 5.61 5.61 7/130 20112
/proc/meminfo: memFree=1673316/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=355128 CPUtime=2850.8
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 80662 0 0 0 284775 305 0 0 25 0 4 0 1115305706 363651072 80595 4294967295 134512640 135305190 3220214336 3220212180 134694990 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17356/statm: 88782 80595 79 194 0 88586 0
[pid=17356/tid=17357] ppid=17170 vsize=355128 CPUtime=727.9
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 7706 0 0 0 72729 61 0 0 25 0 4 0 1115305851 363651072 80595 4294967295 134512640 135305190 3220214336 3059637440 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=355128 CPUtime=753.54
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 14241 0 0 0 75263 91 0 0 25 0 4 0 1115305851 363651072 80595 4294967295 134512640 135305190 3220214336 3051248832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=355128 CPUtime=750.11
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 10084 0 0 0 74940 71 0 0 25 0 4 0 1115305851 363651072 80595 4294967295 134512640 135305190 3220214336 3042860224 134528235 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2866.38
Current children cumulated vsize (KiB) 357548
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.99 5.71 5.64 9/130 20253
/proc/meminfo: memFree=1436540/3368532 swapFree=1957708/1959888
[pid=17170] ppid=17168 vsize=2420 CPUtime=15.58
/proc/17170/stat : 17170 (manysat.sh) S 17168 17170 21334 0 -1 4194304 371 54525 0 0 0 0 1520 38 18 0 1 0 1115304069 2478080 275 4294967295 134512640 135169312 3217698800 3217695016 3085610734 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17170/statm: 605 275 231 161 0 44 0
[pid=17356] ppid=17170 vsize=369564 CPUtime=3021.59
/proc/17356/stat : 17356 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202496 84237 0 0 0 301832 327 0 0 25 0 4 0 1115305706 378433536 84170 4294967295 134512640 135305190 3220214336 3220212512 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17356/statm: 92391 84170 79 194 0 92195 0
[pid=17356/tid=17357] ppid=17170 vsize=369564 CPUtime=757.19
/proc/17356/task/17357/stat : 17357 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 8231 0 0 0 75654 65 0 0 25 0 4 0 1115305851 378433536 84170 4294967295 134512640 135305190 3220214336 3059637440 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17356/tid=17358] ppid=17170 vsize=369564 CPUtime=809.11
/proc/17356/task/17358/stat : 17358 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 15740 0 0 0 80811 100 0 0 25 0 4 0 1115305851 378433536 84170 4294967295 134512640 135305190 3220214336 3051248832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17356/tid=17359] ppid=17170 vsize=369564 CPUtime=807.65
/proc/17356/task/17359/stat : 17359 (manysat1.1_stat) R 17170 17170 21334 0 -1 4202560 10917 0 0 0 80687 78 0 0 25 0 4 0 1115305851 378433536 84170 4294967295 134512640 135305190 3220214336 3042860224 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3037.17
Current children cumulated vsize (KiB) 371984
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 17170 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=200000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=380000
# CPU time returned by wait4() is 15.58
# while last known CPU time is 3037.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3037.17
CPU user time (s): 3033.52
CPU system time (s): 3.65
CPU usage (%): 303.704
Max. virtual memory (cumulated for all children) (KiB): 371984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54896
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= 8
involuntary context switches= 101
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 12:26:39
IDJOB=1776004
IDBENCH=20410
IDSOLVER=623
FILE ID=/1776004-1243506399
PBS_JOBID=
Free space on /tmp= 15863 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776004-1243506399/watcher-1776004-1243506399 -o /tmp/evaluation-result-1776004-1243506399/solver-1776004-1243506399 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776004-1243506399.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED= 1610640962
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.105
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.43
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.105
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.105
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.16
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.105
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: 2050772 kB
Buffers: 14788 kB
Cached: 643860 kB
SwapCached: 16 kB
Active: 677736 kB
Inactive: 580020 kB
HighTotal: 2489216 kB
HighFree: 1243912 kB
LowTotal: 879316 kB
LowFree: 806860 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 24656 kB
Writeback: 0 kB
AnonPages: 598908 kB
Mapped: 35512 kB
Slab: 50388 kB
SReclaimable: 41672 kB
SUnreclaim: 8716 kB
PageTables: 1304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 901736 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15809 MiB
End job on at 2009-05-28 12:43:23